Коммутативность


Коммутативность, переместительный закон (позднелат. commutativus — меняющийся) — свойство бинарной операции «», заключающееся в возможности перестановки аргументов:

В частности, если групповая операция является коммутативной, то группа называется абелевой. Если операция умножения в кольце является коммутативной, то кольцо называется коммутативным.

Многие бинарные операции ассоциативны, но в общем случае некоммутативны, таково, например, умножение матриц:

При этом не всякая коммутативная операция ассоциативна (существуют коммутативные магмы[en] с неассоциативной операцией).

Существует ряд обобщений понятия коммутативности на операции более двух аргументов (различные варианты симметричности).

Коммутативные операции формируют обширный пласт алгебраических структур, обладающих многими «хорошими» свойствами, не присущими некоммутативным структурам (например, коммутативные группы в сравнении неабелевыми), во многих разделах математики применяется техника сведения задач к коммутативным структурам как к более изученным и обладающим более удобными свойствами. Коммутативная алгебра — общеалгебраическое направление, изучающее свойства коммутативных колец и связанных с ними коммутативных объектов (модулей, идеалов, дивизоров, полей).