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

Первое известное использование термина коммутативность: фрагмент французского журнала «Annales de Gergonne», выпускавшегося с 1810 по 1832 годы, выпуск 1814—15
Пример, показывающий коммутативность сложения (3 + 2 = 2 + 3)
для любых элементов .

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

Термин «коммутативность» ввёл в 1815 году французский математик Франсуа Жозеф Сервуа[fr].

Примеры:

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

, но

и конкатенация строк:

«a» + «b» = «ab», но «b» + «a» = «ba».

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

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

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

Ссылки править