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

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

${\displaystyle x\circ y=y\circ x}$ для любых элементов ${\displaystyle x,\;y}$.

Первое известное использование термина коммутативность: фрагмент французского журнала «Annales de Gergonne», выпускавшегося с 1810 по 1832 годы, выпуск 1814—15

Пример, показывающий коммутативность сложения (3 + 2 = 2 + 3)

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

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

Примеры:

• сумма и произведение действительных чисел коммутативны:

  ${\displaystyle a+b=b+a;\quad a\cdot b=b\cdot a;\quad a,\;b\in \mathbb {R} }$.

• конъюнкция и дизъюнкция коммутативны:

  ${\displaystyle a\land b\equiv b\land a;\quad a\lor b\equiv b\lor a}$.

• объединение, пересечение и симметрическая разность множеств коммутативны:

  ${\displaystyle A\cup B=B\cup A;\quad A\cap B=B\cap A;\quad A\bigtriangleup B=B\bigtriangleup A.}$

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

${\displaystyle {\tbinom {5\ 4}{8\ 0}}{\tbinom {2\ 9}{6\ 1}}={\tbinom {34\ 49}{16\ 72}}}$, но ${\displaystyle {\tbinom {2\ 9}{6\ 1}}{\tbinom {5\ 4}{8\ 0}}={\tbinom {82\ \,8\,}{38\ 24}}}$

и возведение в степень действительных чисел:

${\displaystyle 2^{4}=4^{2}=16}$, но ${\displaystyle 2^{5}=32\neq 5^{2}=25}$.

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

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

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