Kommutativitet

Inom matematiken, speciellt inom abstrakt algebra, är kommutativitet en egenskap hos en binär operator.

En operation ${\textstyle \circ }$är kommutativ om och endast om ${\textstyle x\circ y=y\circ x}$för varje ${\textstyle x}$ och ${\textstyle y}$. Bilden illustrerar detta med en räknemaskin som är kommutativ, där man ser att oavsett vilken som stoppas in först blir resultatet likadant.

Operatorn $\star$ på en mängd $S$ är kommutativ om och endast om det för alla element $x$ och $y$ i $S$ gäller att

$x\star y=y\star x$.

Operatorn är alltså kommutativ om operandernas ($x$ och $y$ ovan) ordning saknar betydelse. De mest kända exemplen på kommutativa operatorer är addition och multiplikation av naturliga tal, till exempel

4 5 = 5 4 (båda uttrycken ger 9)

2 · 3 = 3 · 2 (båda uttrycken ger 6)

Exempel på icke kommutativa operationer är

subtraktion: 5 - 4 = 1 men 4 - 5 = -1

exponentiering: 2⁵ = 32 men 5² = 25

Subtraktion är dock antikommutativ, se nedan.

Ytterligare exempel på kommutativa binära operatorer är addition och multiplikation av reella tal och komplexa tal, addition av vektorer, samt snitt och unioner av mängder.

Som en direkt följd av att multiplikation av reella tal är kommutativt, gäller det samma även för uttryck på formen x % av y.

Viktiga operatorer som generellt är icke-kommutativa är multiplikation av matriser, sammansättning av funktioner och kvaternionmultiplikation.

Kommutativitet och algebraiska strukturer

En abelsk grupp definieras som en grupp (en mängd där (endast) en operation, till exempel addition eller multiplikation, behöver vara definierad) vars operator är kommutativ. Abelsk grupp och kommutativ grupp är alltså synonymer.

En ring (en mängd där likt de reella talen två sammanhängande operationer, motsvarande addition och multiplikation) kallas kommutativ om dess multiplikation är kommutativ, eftersom addition alltid är kommutativ, genom hur ringen är definierad. Slutligen definieras en kropp (engelska field), som en kommutativ ring, där varje element skilt från det additiva identitetselementet har multiplikativ invers.

Antikommutativitet

En antikommutativ binär operator $\star$ på en ring uppfyller $x\star y=-y\star x$ för alla $x$ och $y$. Förutom subtraktion är även kryssprodukt, $\times$ en sådan operator.

Antikommutativa operatorer används också inom kvantmekaniken för att beskriva elektroner och andra så kallade fermioniska partiklar som lyder under Paulis uteslutningsprincip.

Kommutator

En kommutator i en grupp är ett element som kan skrivas på formen

$a\star b\star a^{-1}\star b^{-1}$

för några element $a$ och $b$ i gruppen. Enhetselementet $e$ kan alltid skrivas som

$e=e\star e\star e^{-1}\star e^{-1}$

och därför är alltid $e$ en kommutator i varje grupp, abelsk såväl som icke-abelsk. Man kan därför säga att intressanta egenskaper hos grupper uppstår först när man har andra kommutatorer än enhetselementet $e$.

Observera att om operatorn $\star$ är kommutativ, så reduceras varje kommutator till enhetselementet $e$. Det beror på att man kan då skriva

$a\star b\star a^{-1}\star b^{-1}=a\star a^{-1}\star b\star b^{-1}=e\star e=e$.

eftersom det bara är att byta ordningen på operanderna i en kommutativ grupp. Därför kan man säga att det är ointressant studera kommutatorer i kommutativa grupper, man vet ju redan precis hur de ser ut: de är alla enheten $e$.

Kommutator-undergruppen $K$ till en grupp $G$ är mängden av alla kommutatorer till gruppen. Den bildar en normal undergrupp till ursprungsgruppen $G$ och då blir kvotgruppen $G/K$ också kommutativ.

Löst uttryckt kan man därför säga att kvotgruppen $G/K$ (men även kommutatorundergruppen $K$) ger värdefull information om ursprungsgruppen $G$, till exempel vilken struktur den har, trots att kvotgruppen oftast bara utgör en liten del av ursprungsgruppen. Det beror på att man reducerat problemet att finna egenskaper hos en icke-kommutativ grupp till en som är kommutativ. På köpet brukar kvotgruppen bli betydligt mindre och inte så oöverskådlig som ursprungsgruppen möjligen var, vilket kan vara fördelaktigt. Matematiken förstår generellt sett kommutativa grupper bättre än icke-kommutativa, se struktursatsen för abelska grupper, och mindre grupper bättre än större.

Kommutatorn i en ring definieras för två element $A$ och $B$ via så kallade Poisson-hakar genom relationen:

$[A,B]=A\star B-B\star A$

och är därmed en antikommutativ binär operator. Man ser att om vi kan kasta om ordningen hos operatorn $\star$ kommer kommutatorn bli noll. Den används i fysik till exempel för att studera kvantmekaniska invarianter. Den är närbesläktat med abstrakt algebraiska begrepp som centre och centralizer.

På liknande sätt definieras antikommutatorn $\{A,B\}=A$$\star$$B B$$\star$$A$

Se även

• Abelsk grupp
• Associativitet
• Distributivitet

Externa länkar

• Wikimedia Commons har media som rör Kommutativitet.
  Bilder & media