Komutativnost , komutativní zákon ( pozdně latinsky commutativus - měnící se) - vlastnost binární operace " ", která spočívá v možnosti přeskupování argumentů:
pro jakékoli prvky .Zejména, pokud je skupinová operace komutativní, pak se o skupině říká, že je abelovská . Pokud je operace násobení v kruhu komutativní, pak se o kruhu říká, že je komutativní.
Termín „komutativnost“ zavedl v roce 1815 francouzský matematik François Joseph Servois .
Příklady:
Mnoho binárních operací je asociativních , ale obecně nekomutativních, jako je například násobení matic :
, alea zřetězení řetězců :
"a" + "b" = "ab", ale "b" + "a" = "ba".Navíc ne každá komutativní operace je asociativní (existují komutativní magmata s neasociativní operací).
Existuje řada zobecnění konceptu komutativnosti pro operace s více než dvěma argumenty (různé varianty symetrie).
Komutativní operace tvoří rozsáhlou vrstvu algebraických struktur , které mají mnoho „dobrých“ vlastností, které nejsou vlastní nekomutativním strukturám (například komutativní grupy ve srovnání s neabelovskými ), v mnoha odvětvích matematiky se používá technika tzv. redukce problémů na komutativní struktury se používá jako pro studovanější a pohodlnější vlastnosti. Komutativní algebra je obecný algebraický směr, který studuje vlastnosti komutativních kruhů a souvisejících komutativních objektů ( moduly , ideály , dělitele , pole ).