Hoofdmenu openen

Een abelse groep, ook wel commutatieve groep genoemd, is een groep die aan de additionele eis voldoet dat het product van twee elementen niet van de volgorde afhangt waarin de groepsoperatie wordt uitgevoerd (het axioma van commutativiteit). Abelse groepen zijn genoemd naar de Noorse wiskundige Niels Henrik Abel.

Het concept van een abelse groep is een van de eerste concepten die men tegenkomt in de abstracte algebra. Modules en vectorruimtes kunnen als verfijningen van abelse groepen worden gezien. De theorie van de abelse groepen is in het algemeen eenvoudiger dan die van de niet-abelse groepen. Eindige abelse groepen worden goed begrepen. De theorie van de oneindige abelse groepen is echter een gebied waarnaar ook nu nog veel onderzoek wordt verricht.

DefinitieBewerken

Een groep   heet abels of commutatief als voor alle elementen   geldt:

 .

VoorbeeldenBewerken

Abelse groepenBewerken

In elementaire wiskunde zijn veel voorbeelden van abelse groepen te vinden, zoals:

  • De additieve groep van de gehele getallen  , evenals de additieve groepen  ,   en  .
  • De multiplicatieve groep   van de rationale getallen zonder nul, is abels. Hetzelfde geldt voor de groepen  ,  .
  • De eindige groepen  , de cyclische groepen van orde n, zijn abels.

Niet-abelse groepenBewerken

De volgende groepen zijn niet abels:

  • De permutatiegroep op drie elementen is een groep die uit zes elementen bestaat. Deze groep is niet abels, evenals de permutatiegroepen op meer dan drie elementen.
  • De groep van de euclidische transformaties van het vlak, is niet abels; in het algemeen commuteren bijvoorbeeld de translaties (verschuivingen) niet met de rotaties (draaiingen). Merk hierbij op dat de groep van de rotaties en de groep van de translaties wel abels zijn.

Bijzondere eigenschappen van abelse groepenBewerken

  • Deelgroepen van een abelse groep zijn ook abels.
  • Deelgroepen van een abelse groep zijn altijd een normaaldeler van die groep.
  • Alle factorgroepen van een abelse groep zijn ook abels. In het bijzonder is het homomorfe beeld van een abelse groep ook abels.
  • De directe som van abelse groepen is ook abels.
  • Stelling: Alle eindige abelse groepen zijn een cyclische groep of de directe som van een aantal cyclische groepen.

De eindig voortgebrachte abelse groepenBewerken

Een algemenere klasse van abelse groepen is die van de eindig voortgebrachte abelse groepen, kort af e.v. abelse groepen, de abelse groepen die door eindig veel elementen, de generatoren, worden voortgebracht.

  • De cyclische groepen zijn de e.v. groepen die door een enkel element kunnen worden voortgebracht.
  • De Viergroep van Klein is een e.v. groep die kan worden voortgebracht door twee elementen, maar niet door minder.
  • De groepen  ,   en   zijn echter niet eindig voortgebracht.

Net zoals in het geval van de cyclische groepen zijn er dus aftelbaar veel e.v. abelse groepen, zijn ze alle gekend en hebben ze een relatief eenvoudige structuur.

TranslatieBewerken

Een translatie   van een element   van een abelse groep wordt gegeven door  .

Een translatie   van een deelverzameling van een abelse groep wordt gegeven door de betreffende beeldverzameling.

Zie ookBewerken