Kommutativitet

Kommutativitet , kommutativ lag  ( sent latin  commutativus  - förändras) - en egenskap hos den binära operationen " ", som består i möjligheten att ordna om argument:

för alla element .

I synnerhet, om gruppoperationen är kommutativ, sägs gruppen vara abelisk . Om operationen av multiplikation i en ring är kommutativ, sägs ringen vara kommutativ.

Termen "kommutativitet" introducerades 1815 av den franske matematikern François Joseph Servois .

Exempel:

Många binära operationer är associativa , men i allmänhet icke-kommutativa, som till exempel matrismultiplikation :

, men

och strängsammansättning :

"a" + "b" = "ab", men "b" + "a" = "ba".

Dessutom är inte varje kommutativ operation associativ (det finns kommutativa magmas med en icke-associativ operation).

Det finns ett antal generaliseringar av begreppet kommutativitet för operationer med fler än två argument (olika varianter av symmetri).

Kommutativa operationer bildar ett omfattande lager av algebraiska strukturer , som har många "bra" egenskaper som inte är inneboende i icke-kommutativa strukturer (till exempel kommutativa grupper i jämförelse med icke- abelia ), inom många grenar av matematiken, tekniken för reducering av problem till kommutativa strukturer används för mer studerade och mer bekväma egenskaper. Kommutativ algebra  är en allmän algebraisk riktning som studerar egenskaperna hos kommutativa ringar och relaterade kommutativa objekt ( moduler , ideal , divisorer , fält ).

Länkar