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

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

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

для любых элементов .

В частности, если

кольце
является коммутативной, то кольцо называется коммутативным.

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

Примеры:

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

Многие бинарные операции

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

, но

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

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

При этом не всякая коммутативная операция

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

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

Коммутативные операции формируют обширный пласт

).

Ссылки