Gruppe (matematik)

En gruppe er inden for matematikken en algebraisk struktur. Gruppen er en abstrakt struktur, der tillader undersøgelse af systemer på et mere generelt niveau, end hvis man definerede et konkret system.

Definition 
En gruppe  er en ikke-tom mængde  hvorpå der er defineret en binær operator , der opfylder aksiomerne:
 Lukket mængde:  (Elementet efter operationen er også i gruppen)
 Associativitet:  (det er ligegyldigt om man starter x og y, eller y og z).
 Neutralt element:  (der er et element der gør "ingenting").
 Inverst element: , hvor  er det neutrale element (for hvert element er der et andet element der "virker modsat").

Som oftest, når man har med binære operatorer at gøre, skriver man  eller blot  i stedet for den sædvanlige notation . 

Er operatoren  også kommutativ, dvs.  (dvs. "rækkefølgen er ligegyldig"), kaldes gruppen  for en abelsk gruppe (eller kommutativ gruppe) efter den norske matematiker Niels Henrik Abel.

Det kan vises, at for alle  er det tilhørende inverse element entydigt bestemt. Det betegnes normalt . Desuden er det neutrale element  også unikt; alle grupper har præcist et sådant element.

Undergrupper 

En delmængde  kaldes en undergruppe af , hvis  er en gruppe i sig selv. Altså skal 
 indeholde det neutrale element: ,
 indeholde alle inverse elementer: ,
 være lukket under :  (dvs. alle operationer med  skal give et element inden for mængden).
Det kan dog vises, at  er en undergruppe af  hvis, og kun hvis
.

Lad  og  være to grupper. En afbildning  kaldes en gruppehomomorfi, hvis  respekterer sammensætning i de to grupper; dvs. hvis afbildningen af sammensætningen i  er lig sammensætningen af elementernes afbildninger i : . Hvis en homomorfi også er bijektiv kaldes det en isomorfi. To grupper kaldes isomorfe, hvis der findes en isomorfi mellem dem.

Eksempler 
Et typisk eksempel på en gruppe er (Z, +), mængden af hele tal med operatoren plus:
Summen af to heltal vil altid være lig et heltal.
Plus er associativt, da (x + y) + z = x + (y + z) for alle heltal x, y og z.
Det neutrale element er heltallet 0, da x + 0 = 0 + x = x for alle heltal x.
For alle hele tal x er -x igen et heltal, og x + (-x) = (-x) + x = 0, så alle hele tal har et inverst element mht. plus.
Denne gruppe er også abelsk, da x + y = y + x for alle hele tal x og y.

På samme måde er (Q, +), (R, +) og (C, +) (hhv. rationale tal, reelle tal og komplekse tal) også abelske grupper, men ikke (N, +) (naturlige tal, dvs. de positive heltal). Selv (N0, +) er ikke en gruppe, da der ikke findes inverse elementer i de naturlige tal mht. plus. F.eks. kan man ikke finde et naturligt tal at lægge til 2 for at få 0.

Permutationsgrupper 
Lad nu X være en endelig mængde, og lad G = { f: X → X | f bijektiv } være mængden af alle bijektive funktioner fra X ind i sig selv. Disse funktioner i G kaldes også permutationer (af X). Nu bliver (G, •), hvor • betyder funktionssammensætning, til en gruppe:
Alle funktionerne er per definition selv medlem af gruppen.
Funktionssammensætning er altid associativt, så (f • g) • h = f • (g • h) for alle f, g, h i G.
Det neutrale element i G er identitetsfunktionen på X. Dvs. funktionen idX: X → X, hvor idX(x) = x. Nu er det klart, at f • idX = idX • f = f for alle f i G.
Da alle funktioner f i G er bijektive, har de også en invers funktion f -1, der også er bijektiv og dermed også et element i G. Dette er også f 's inverse element i gruppen, da f • f -1 = f -1 • f = idX.
Dette kaldes den symmetriske gruppe over X og betegnes Sym(X). Er X mængden {1, 2, ..., n} betegnes Sym(X) blot Sn. Hvis |X| = n, så er Sym(X) isomorf til Sn. 

I modsætning til de forrige eksempler er disse grupper hverken abelske (for n > 2) eller uendelige (|Sn| = n!). Der findes dog både uendelige ikke-abelske grupper og endelige abelske grupper.

Alle de symmetriske grupper og deres undergrupper kaldes under et for permutationsgrupper. Dette er en meget vigtig klasse af grupper, da den i en vis forstand indeholder alle endelige grupper.

Se også 
Gruppe – for andre betydninger.
Gruppeteori
Små grupper

Gruppeteori