Studieguide

Oversikt

En gruppe $(G, \cdot)$ er en mengde med en binær operasjon som tilfredsstiller assosiativitet, eksistens av identitetselement $e$, og eksistens av inverse. Ordenen $|G|$ er antall elementer i $G$. Ordenen til et element $g \in G$ er det minste positive heltallet $k$ slik at $g^k = e$.

Undergrupper

En delmengde $H \subseteq G$ er en undergruppe dersom den er lukket under operasjonen og inversjon. Undergruppekriteriet: $H \le G$ hvis og bare hvis $H \neq \emptyset$ og $ab^{-1} \in H$ for alle $a, b \in H$.

Lagranges teorem: Dersom $H \le G$ og $G$ er endelig, sa deler $|H|$ tallet $|G|$. Spesielt deler ordenen til ethvert element $g$ tallet $|G|$, og vi har $g^{|G|} = e$.

Sykliske grupper

En gruppe $G = \langle g \rangle$ er syklisk dersom den er generert av ett element. Enhver syklisk gruppe av orden $n$ er isomorf med $\mathbb{Z}_n$. Antall elementer av orden $d$ i $\mathbb{Z}_n$ (der $d \mid n$) er $\varphi(d)$, Eulers phi-funksjon. Viktig identitet: $$n = \sum_{d \mid n} \varphi(d)$$

Klassifisering av endelige abelske grupper

Enhver endelig abelsk gruppe er isomorf med et direkte produkt av sykliske grupper: $$G \cong \mathbb{Z}_{n_1} \times \mathbb{Z}_{n_2} \times \cdots \times \mathbb{Z}_{n_k}$$ der $n_1 \mid n_2 \mid \cdots \mid n_k$ (invariantfaktorformen), eller ekvivalent som et produkt av primarpotens-sykliske grupper (elementérdivisorformen).

For eksempel: Abelske grupper av orden 18 (opp til isomorfi). Primfaktorisering: $18 = 2 \cdot 3^2$. Mulighetene er: $$\mathbb{Z}_2 \times \mathbb{Z}_9 \cong \mathbb{Z}_{18}, \quad \mathbb{Z}_2 \times \mathbb{Z}_3 \times \mathbb{Z}_3 \cong \mathbb{Z}_6 \times \mathbb{Z}_3$$

Eksponenten til en gruppe er LCM av ordenene til alle elementene. For abelske grupper av orden $p^n$ med eksponent $p$ ma alle sykliske faktorer ha orden $p$, sa gruppen er $\mathbb{Z}_p^n$.