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

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

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

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

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

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

Примеры:

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

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

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

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

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

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

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

Ссылки