Undergruppe

Gruppeteori

Gruppeteori Grundlæggende begreber Undergruppe Normal undergruppe Kvotientgruppe Gruppehomomorfi (semi-)direkte produkt Endelige grupper og klassifikation af endelige simple grupper Cyklisk gruppe Zn Symmetrisk gruppe, Sn Diedergruppe, Dn Alternerende gruppe An Mathieugrupper M11, M12, M22, M23, M24 Conwaygrupper Co1, Co2, Co3 Jankogrupper J1, J2, J3, J4 Fischergrupper F22, F23, F24 Babymonstergruppen B Monstergruppen M Diskrete grupper og gitre Heltallene, Z Gitter (gruppe) Modulære grupper, PSL(2,Z) og SL(2,Z) Topologiske grupper og Liegrupper Solenoide (matematik) Cirkelgruppen Den generelle lineære gruppe GL(n) Den specielle lineære gruppe SL(n) Den ortogonale gruppe O(n) Den specielle ortogonale gruppe SO(n) Den unitære gruppe U(n) Den specielle unitære gruppe SU(n) Den symplektiske gruppe Sp(n) G2 F4 E6 E7 E8 Lorentzgruppen Poincarégruppen Konform gruppe Diffeomorfigruppe Løkkegruppen

Givet en gruppe G med binær operator *, siges en delmængde H i gruppeteori at være en undergruppe af G, hvis H også danner en gruppe med operatoren *. Mere præcist er H en undergruppe af G, hvis restriktionen af * på H er en gruppeoperator på H.

En ægte undergruppe af en gruppe G er en undergruppe H, der er en ægte delmængde af G (dvs. H ≠ G.) Den trivielle undergruppe af en gruppe er undergruppen {e}, der kun består af det neutrale element. Hvis H er en undergruppe af G, kaldes G af og til en overgruppe af H.

De samme definitioner gælder mere generelt, når G er en arbitrær semigruppe, men denne artikel vil kun omhandle undergrupper af grupper. Gruppen G betegnes undertiden ved det ordnede par (G,*) for at lægge vægt på operatoren *, når G har flere algebraiske eller andre strukturer.

I det følgende benyttes den almindelige konvention med at droppe * og skrive produktet a*b som ab.