WikiDer > Антигомоморфизм

Antihomomorphism

В математика, антигомоморфизм это тип функция определены на множествах с умножением, которое меняет порядок умножения. An антиавтоморфизм это биективный антигомоморфизм, т.е. антиизоморфизм, из набора к себе. Из биективности следует, что у антиавтоморфизмов есть обратные, и что обратное к антиавтоморфизму также является антиавтоморфизмом.

Определение

Неформально антигомоморфизм - это отображение, меняющее порядок умножения. Формально антигомоморфизм структур ${ displaystyle X}$ и ${ displaystyle Y}$ является гомоморфизмом ${ displaystyle phi двоеточие X to Y ^ { text {op}}}$ , куда ${ displaystyle Y ^ { text {op}}}$ равно ${ displaystyle Y}$ как набор, но имеет обратное умножение к определенному на ${ displaystyle Y}$ . Обозначая (обычно некоммутативный) умножение на ${ displaystyle Y}$ к ${ displaystyle cdot}$ , умножение на ${ displaystyle Y ^ { text {op}}}$ , обозначаемый ${ displaystyle *}$ , определяется ${ displaystyle x * y: = y cdot x}$ . Предмет ${ displaystyle Y ^ { text {op}}}$ называется противоположный объект к ${ displaystyle Y}$ (соответственно, противоположная группа, противоположная алгебра, противоположная категория так далее.).

Это определение эквивалентно определению гомоморфизма ${ displaystyle phi двоеточие X ^ { text {op}} to Y}$ (обращение операции до или после применения карты эквивалентно). Формально отправка ${ displaystyle X}$ к ${ displaystyle X ^ { text {op}}}$ и действуя как тождество на картах, является функтор (действительно, инволюция).

Примеры

В теория групп, антигомоморфизм - это отображение между двумя группами, которое меняет порядок умножения на противоположный. Так что если φ : Икс → Y - групповой антигомоморфизм,

φ(ху) = φ(у)φ(Икс)

для всех Икс, у в Икс.

Карта, которая отправляет Икс к Икс⁻¹ является примером группового антиавтоморфизма. Другой важный пример - это транспонировать операция в линейная алгебра который берет векторы-строки к вектор-столбец. Любое векторно-матричное уравнение может быть преобразовано в эквивалентное уравнение, в котором порядок факторов обратный.

В случае с матрицами примером антиавтоморфизма является транспонированная карта. Поскольку и инверсия, и транспонирование дают антиавтоморфизмы, их композиция является автоморфизмом. Эту инволюцию часто называют контрагредиентным отображением, и она дает пример внешнего автоморфизма общей линейной группы GL (п, F), куда F это поле, кроме случаев, когда |F| = 2 и п = 1 или 2 или же |F| = 3 и п = 1 (т.е. для групп GL (1, 2), GL (2, 2), и GL (1, 3)).

В теория колец, антигомоморфизм - это отображение между двумя кольцами, которое сохраняет сложение, но меняет порядок умножения на обратный. Так φ : Икс → Y является кольцевым антигомоморфизмом тогда и только тогда, когда:

φ(1) = 1

φ(Икс + у) = φ(Икс) + φ(у)

φ(ху) = φ(у)φ(Икс)

для всех Икс, у в Икс.^[1]

За алгебры над полем K, φ должен быть K-линейная карта лежащих в основе векторное пространство. Если базовое поле имеет инволюцию, вместо этого можно спросить φ быть сопряженно-линейный, как в сопряженном транспонировании, ниже.

Инволюции

Часто антиавтоморфизмы инволюции, т.е. квадрат антиавтоморфизма есть карта идентичности; их также называют инволютивный антиавтоморфизмs. Например, в любой группе карта, отправляющая Икс к его обратный Икс⁻¹ - инволютивный антиавтоморфизм.

Кольцо с инволютивным антиавтоморфизмом называется *-звенеть, и они образуют важный класс примеров.

Характеристики

Если цель Y коммутативен, то антигомоморфизм - это то же самое, что гомоморфизм а антиавтоморфизм - то же самое, что автоморфизм.

В сочинение двух антигомоморфизмов всегда является гомоморфизмом, так как изменение порядка дважды сохраняет порядок. Композиция антигомоморфизма с гомоморфизмом дает другой антигомоморфизм.

Смотрите также

Полугруппа с инволюцией

Navigation