Kommutativitás , kommutatív törvény ( késő latin commutativus - változó) - a " " bináris művelet tulajdonsága , amely az argumentumok átrendezésének lehetőségéből áll:
bármely elemhez .Különösen, ha a csoport művelet kommutatív, akkor a csoportot Abel -nek mondjuk . Ha egy gyűrűben a szorzás művelete kommutatív, akkor a gyűrűt kommutatívnak mondjuk.
A kommutativitás kifejezést François Joseph Servois francia matematikus vezette be 1815 -ben .
Példák:
Sok bináris művelet asszociatív , de általában nem kommutatív, mint például a mátrixszorzás :
, deés karakterlánc összefűzés :
"a" + "b" = "ab", de "b" + "a" = "ba".Ráadásul nem minden kommutatív művelet asszociatív (vannak kommutatív magmák nem asszociatív művelettel).
A kommutativitás fogalmának számos általánosítása létezik kettőnél több argumentummal rendelkező műveletekre (a szimmetria különböző változatai).
A kommutatív műveletek az algebrai struktúrák kiterjedt rétegét alkotják , amelyek számos „jó” tulajdonsággal rendelkeznek, amelyek nem rejlenek a nem kommutatív struktúrákban (például kommutatív csoportok a nem Abel -féleekkel összehasonlítva ), a matematika számos ágában, a a problémák kommutatív struktúrákra való redukálását használják jobban tanulmányozott és kényelmesebb tulajdonságok tekintetében. A kommutatív algebra egy általános algebrai irány, amely a kommutatív gyűrűk és a kapcsolódó kommutatív objektumok ( modulok , ideálok , osztók , mezők ) tulajdonságait vizsgálja .