# Commutator (wiskunde)

In de algebra geeft een commutator aan, in welke mate de volgorde van twee elementen een rol speelt in het resultaat van een bewerking.

## Motivering

De algebra onderscheidt verschillende structuren om op een abstract niveau bewerkingen te bestuderen, naar analogie met bijvoorbeeld de optelling van getallen of de vermenigvuldiging van matrices. Een groep bestaat uit een verzameling met een binaire operatie, een bewerking op telkens twee elementen, die aan vier axioma's voldoet. Een ring is een verzameling met twee binaire operaties die samen aan een iets ingewikkelder stel voorwaarden voldoen.
Een binaire operatie heet commutatief als ze symmetrisch is, dus als het resultaat niet afhangt van de volgorde waarin de twee elementen worden uitgevoerd:
    $a*b=b*a$
Optellen van gehele getallen is commutatief, aftrekken van gehele getallen en de vermenigvuldiging van vierkante matrices zijn dat niet.

## Definitie

De commutator $[g,h]$ van twee elementen $g$ en $h$ van een groep $G$ is gedefinieerd als:
    $[g,h]=g^{-1}h^{-1}gh$
$ghg^{-1}h^{-1}$ wordt soms ook als commutator gedefinieerd.
Als $G$ een abelse groep is, dat wil zeggen als de groepsbewerking commutatief is, mogen in bovenstaande formule het derde en het vierde element van plaats verwisseld worden, en zijn alle commutatoren gelijk aan het neutrale element.

### Voorbeeld

Beschouw de groep $S_{3}$, de symmetrische groep, alle mogelijke permutaties, op drie elementen. De commutator van de verwisselingen $(12)$ en $(13)$ is
    $(1\ 2)(1\ 3)(1\ 2)(1\ 3)=(1\ 3\ 2)(1\ 3\ 2)=(1\ 2\ 3)$

## Commutatorgroep

De commutatorogroep of commutatorondergroep van een groep $G$ is de ondergroep die wordt voortgebracht door alle commutatoren:
    $[G,G]=\langle \{[g,h]|g,h\in G\}\rangle$
De commutatorogroep wordt ook afgeleide ondergroep van $G$ genoemd.
De commutatorgroep is een normaaldeler van $G$. De bijhorende factorgroep $G/[G,G]$ is commutatief of abels en wordt de geabelianeerde of de abelianisering van $G$ genoemd. De commutatorgroep is de kleinst mogelijke normaaldeler van $G$ waarvoor de factorgroep nog abels is.

### Voorbeeld

De commutatordeelgroep van $S_{3}$ is de alternerende groep $A_{3}$, die bestaat uit de even permutaties. De factorgroep is $C_{2}$, de cyclische groep met twee elementen.

## Definitie (ring)

Bij een ring is de eerste binaire operatie, de abstracte optelling, per definitie commutatief. Het onderscheid tussen een commutatieve en een niet-commutatieve ring ligt bij de tweede binaire operatie, de abstracte vermenigvuldiging. Voor deze tweede bewerking heeft niet ieder element een invers element. De definitie van een ringcommutator is dan ook iets anders:
    $[g,h]=gh-hg\,$
In een commutatieve ring zijn alle commutatoren gelijk aan het neutraal element voor de optelling, meestal 0 genoteerd.

### Onderscheid tussen de twee commutatorbegrippen

Een groepscommutator en een ringcommutator mogen dan wel uitdrukking geven aan dezelfde intuïtie van de mate waarin de bewerking niet altijd commutatief is, het zijn wel degelijk verschillende wiskundige begrippen. Ze staan vaak naast elkaar beschreven en is het belangrijk het onderscheid duidelijk aan te geven. Een voorbeeld hiervan treedt op bij matrices. Inverteerbare vierkante $n\times n$-matrices met elementen in een lichaam of veld $k$ vormen de groep $GL(n,k)$ voor de matrixvermenigvuldiging, maar ze horen ook tot de ring $k^{n\times n}$ met de bewerkingen optellen van matrices en de matrixvermenigvuldiging.
De groepscommutator van de matrices $\left({\begin{matrix}0&1\\1&0\end{matrix}}\right)$ en $\left({\begin{matrix}1&2\\3&4\end{matrix}}\right)$ is
    $\left({\begin{matrix}0&1\\1&0\end{matrix}}\right)\left({\begin{matrix}-2&1\\{\frac {3}{2}}&-{\frac {1}{2}}\end{matrix}}\right)\left({\begin{matrix}0&1\\1&0\end{matrix}}\right)\left({\begin{matrix}1&2\\3&4\end{matrix}}\right)=\left({\begin{matrix}{\frac {3}{2}}&-{\frac {1}{2}}\\-2&1\end{matrix}}\right)\left({\begin{matrix}3&4\\1&2\end{matrix}}\right)=\left({\begin{matrix}4&5\\-5&6\end{matrix}}\right)$
Hun ringcommutator is daarentegen
    $\left({\begin{matrix}0&1\\1&0\end{matrix}}\right)\left({\begin{matrix}1&2\\3&4\end{matrix}}\right)-\left({\begin{matrix}1&2\\3&4\end{matrix}}\right)\left({\begin{matrix}0&1\\1&0\end{matrix}}\right)=\left({\begin{matrix}3&4\\1&2\end{matrix}}\right)-\left({\begin{matrix}2&1\\4&3\end{matrix}}\right)=\left({\begin{matrix}1&3\\-3&-1\end{matrix}}\right)$

### Verband tussen de twee commutatorbegrippen

In de theorie van lie-groepen zijn beide commutatorbegrippen nauw met elkaar verweven. Met elke lie-groep is een abstracte lie-algebra geassocieerd. De elementen van de lie-algebra zijn de generatoren van alle eenparametrische deelgroepen van de lie-groep. Men noteert een dergelijke deelgroep met de exponentiële afbeelding:
    $\mathbb {R} \to G:t\mapsto \exp(tA)$
Nu blijkt dat de groepscommutator van twee dergelijke eenparameter-deelgroepen tot in tweede orde wordt benaderd door de exponentiële van de lie-haak van de twee afzonderlijke generatoren:
    $\lim _{t\to 0}{\frac {1}{t^{2}}}\left(\exp(-tA)\exp(-tB)\exp(tA)\exp(tB)-\exp(t^{2}[A,B])\right)=0$
Dit volgt onder meer uit de Baker-Campbell-Hausdorff-formule:
    $\ln \left(e^{-tA}e^{-tB}e^{tA}e^{tB}\right)=t^{2}[A,B]-{\frac {t^{3}}{2!}}[(A+B),[A,B]]+{\frac {t^{2}}{3!}}\left([A,[B,[B,A]]]/2+[(A+B),[(A+B),[A,B]]]\right)+\cdots .$
Als $G$ een reële matrixgroep is, een deel-liegroep van de algemene lineaire groep $GL(n,\mathbb {R} )$, dan is ${\text{exp}}$ de gebruikelijke exponentiële functie op vierkante matrices, gedefinieerd door bijvoorbeeld een machtreeks, en $[A,B]$ de ringcommutator in de ring $\mathbb {R} ^{n\times n}$ van de reële vierkante matrices.