Subnormale undergrupper

Subnormale undergrupper er et matematisk begreb som hører til under Gruppeteori. Lad $G$ være en gruppe (matematik), en undergruppe $N$ i $G$ siges at være normal hvis den opfylder en af følgende tre ækvivalente betingelser:

1. For alle $g\in G$ gælder $gN=Ng$
2. For alle $g\in G$ gælder $gN{g}^{-1}=N$
3. For alle $g\in G$ gælder $gN{g}^{-1}\subseteq N$

Således er alle undergrupper i en abelsk gruppe normale undergrupper. En undergruppe N af index 2 i $G$ er altid normal. Hvis en undergruppe N i $G$ er normal skrives det som $N⊴G$.

Normale undergrupper opfylder generelt ikke den transitive lov. Således gælder IKKE $A⊴B,B⊴C\Rightarrow A⊴C$.

Eksempel

Dette motiverer til at definere Subnormale undergrupper.

$H\subseteq G$ kaldes en subnormal undergruppe, hvis der findes en række af normale undergrupper fra H til $G$. 
Dvs. $H=G_0⊴G_1⊴\cdots ⊴G_r=G$
hvor $G_i⊴G_{i+1}$. Vi skriver $H⊴⊴G$ når H er subnormal i G. Vi kalder r for længden af rækken.

Der findes nødvendigvis ikke kun en række af normale undergrupper fra H til G. En række fra H til G kaldes en minimalrække, hvis den har længde r og ingen række har længde $\le r-1$. Vi skriver længden af en minimalrække fra H til G som $|G-H|$. Har vi givet længden af en minimalrække gælder følgende:

• $r=0\Rightarrow H=G$
• $r=1\Rightarrow H⊴G$
• $r<1\Rightarrow H⊴⊴G$

Hvis alle undergrupper i en endelig gruppe G er subnormale så er gruppen nilpotent og omvendt. Denne sammenhæng er vist nederst på siden.

Lad $G=S_4$, den symmetriske gruppe bestående af permutationer af 4 elementer. $S_4$ har orden 4! = 24. $S_4$ er ikke abelsk da eksempelvis $(12)(13)\ne (13)(12)$. Lad K være Klein's Vierer-gruppe, $K=\{(1),(12)(34),(13)(24),(14)(23)\}$, så $K\subset G$. K er abelsk, og der findes en undergruppe $H=\{(1),(12)(34)\}$ af orden 2 i K så $H⊴K$. Vi kan nu tage alle $g\in S_4$ og se at $gK=Kg$. Vi har altså fundet $H⊴K\wedge K⊴G$, men da H ikke er normal i G, har vi her et eksempel på, at den transitive lov ikke generelt gælder for normale undergrupper.

Hvis $A⊴⊴B⊴⊴G$ så er $A⊴⊴G$ og $|G-A|\le |G-B|+|B-A|$.

Bevis Antag $A⊴⊴B⊴⊴G$, dvs. at der �findes $A=H_0⊴H_1⊴\cdots ⊴H_n=B=K_0⊴K_1⊴\cdots ⊴K_m=G$ Det ses altså, at der er en kæde af normale undergrupper fra A og op til G og idet $H_n=K_0$ er $A⊴⊴G$. Fra antagelsen er $A⊴⊴B$ og $B⊴⊴G$, kan vi finde minimalrækker. Sæt $|G-B|=m$ og $|B-A|=n$. Som vist ovenfor findes der en kæde af normale undergrupper fra A til G af længde m + n, som ikke nødvendigvis er en minimalrække. En minimalrække fra A til G har derfor længde $\le m+n$. Alstå $|G-A|\le |G-B|+|B-A|$.

Nilpotent

Vi definere en serie af undergrupper af en vilkårlig gruppe G ved: Den aftagende centralrække for G

$G=L_1(G)\ge L_2(G)\ge \cdots \ge L_c(G)\ge \cdots$

er fastlagt ved at

$L_1(G)=G,L_i(G)=[L_{i-1}(G),G]fori\ge 2$

Den voksende centralrække for G

$1=Z^0(G)\le Z^1(G)\le \cdots \le Z^c(G)\le \cdots$

er fastlagt ved

$Z^0(G)=1,Z^i(G)/Z^{i-1}(G)=Z(G/Z^{i-1}(G))fori\ge 2$

Definition En gruppe G kaldes nilpotent hvis der findes et $m\ge 0$ så $Z^m(G)=G$. Det mindste tal m med $Z^m(G)=G$ kaldes nilpotensklassen af G. Man siger så, at G er nilpotent af klasse m.

Sætning: For en endelig gruppe G er følgende betingelser ækvivalente:

1. G er nilpotent.
2. For enhver undergruppe $H\ne G$ er $N_G(H)\ne H$.
3. For alle primtal p har G en normal p-Sylow gruppe.
4. G er et direktet produkt af sine Sylow grupper.

Egenskaber

Her følger et par resultater som viser nogle af de egenskaber der findes omkring subnormale undergrupper.

Lemma Lad $S⊴⊴G$, hvor G er en gruppe, og antag $K\subseteq G$ er en vilkårlig undergruppe, så er $S\cap K⊴⊴K$.

Korollar Lad S og T være subnormale undergrupper i G, så er $S\cap T⊴⊴G$.

Sætning Lad G være en endelig gruppe og antag at $S,T⊴⊴G$. Så er $⟨S,T⟩⊴⊴G$.

Sætning Lad G være endelig. G er nilpotent hvis og kun hvis enhver undergruppe af G er subnormal.

Bevis: " $\Leftarrow$ " Antag at alle undergrupper af G er subnormale. Lad H være en vilkårlig ægte undergruppe i G, hvor H er subnormal i G. Så findes der række af normale undergrupper $H=H_0⊴H_1⊴\cdots ⊴H_r=G$ hvor $r>0$, da ellers H=G. Så der findes $H\in H_1$. Da $H◃H_1$ gælder at $H_1\subseteq N_G(H)$ (normalisatoren), så da $H\ne G$ er $H\ne N_G(H)$. Dette er ækvivalent til at G er nilpotent. " $\Rightarrow$ " Antag nu at G er nilpotent, så $H\subset N_G(H)$, hvor $H\subset G$. Givet et H vises ved induktion (matematik) efter index $|G:H|$ at $H⊴⊴G$. Hvis index er 1 må H=G, og der er ikke noget at vise. Antag derfor nu at $|G:H|>1$. Så er $H\subset G$ og $H\subset N_G(H)$, dette betyder at $|G:N_G(H)|<|G:H|$. Fra vores induktionsantagelse vil det sige, at $N_G(H)$ er subnormal i G. Dvs. at $H⊴N_G(H)⊴⊴G\Rightarrow H⊴⊴G$