Если группа мультипликативна, вводится обратный элемент
, если аддитивна - противоположный
.
Нет такого свойства у группы "мультипликативна" или "аддитивна". Есть просто две системы обозначений, которые обе могут применяться к одной и той же группе, только не одновременно:
- обозначение операции:
или
;
- нейтральный (единичный) элемент: для
используются обозначения
и
; для
используются обозначения
(редко) и
;
- обратный (в смысле групповой операции) элемент: для
используется обозначение
; для
используется обозначение
(есть и вариант
с разными символами операции, причём символ
обычно "работает" так же как
а все остальные - как умножение).
Обычно "аддитивные" обозначения используются, и то не всегда, для абелевых (коммутативных) групп, а "мультипликативные" - для групп, о которых не известно, что они абелевы. Это помогает интуиции при работе с формулами: все привыкли, что переставлять слагаемые можно свободно, а вот множители - не всегда (нельзя, например, в алгебре матриц или операторов).
-- 24.01.2015 17:41:59 --Такие алгебраические системы, как кольцо и поле, включают в себя две группы, так что символы операций для них специально разведены: одна группа (аддитивная группа кольца или поля) обозначается "аддитивным стилем", а другая (мультипликативная группа кольца или поля) - "мультипликативным стилем".
Аналогично поступают и с другими схожими алгебраическими системами. Например,
алгебры Ли включают в себя две операции: одна из них групповая, а другая нет. Принято одну из них обозначать "в аддитивном стиле", а другую - скобкой
В частности, для них выполняется дистрибутивность, запись которой вполне интуитивна:
и