Gruppe (matematik)

Fra Wikipedia, den frie encyklopædi
For alternative betydninger, se Gruppe. (Se også artikler, som begynder med Gruppe)

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[redigér | rediger kildetekst]

En gruppe er en ikke-tom mængde hvorpå der er defineret en binær operator , der opfylder aksiomerne:

  1. Lukket mængde: (Elementet efter operationen er også i gruppen)
  2. Associativitet: (det er ligegyldigt om man starter x og y, eller y og z).
  3. Neutralt element: (der er et element der gør "ingenting").
  4. 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[redigér | rediger kildetekst]

En delmængde kaldes en undergruppe af , hvis er en gruppe i sig selv. Altså skal

  1. indeholde det neutrale element: ,
  2. indeholde alle inverse elementer: ,
  3. 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[redigér | rediger kildetekst]

Et typisk eksempel på en gruppe er (Z, +), mængden af hele tal med operatoren plus:

  1. Summen af to heltal vil altid være lig et heltal.
  2. Plus er associativt, da (x + y) + z = x + (y + z) for alle heltal x, y og z.
  3. Det neutrale element er heltallet 0, da x + 0 = 0 + x = x for alle heltal x.
  4. 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[redigér | rediger kildetekst]

Lad nu X være en endelig mængde, og lad G = { f: XX | 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:

  1. Alle funktionerne er per definition selv medlem af gruppen.
  2. Funktionssammensætning er altid associativt, så (fg) • h = f • (gh) for alle f, g, h i G.
  3. Det neutrale element i G er identitetsfunktionen på X. Dvs. funktionen idX: XX, hvor idX(x) = x. Nu er det klart, at f • idX = idXf = f for alle f i G.
  4. 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 ff -1 = f -1f = 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å[redigér | rediger kildetekst]