Единица (алгебра)

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Единица в теории колец — двусторонний нейтральный элемент операции умножения. Кольцо, содержащее единицу, называется кольцом с единицей. Обозначается единица, как правило, цифрой «1» (что отражает таковые свойства одноимённого числа) или иногда (например, в матричной алгебре), латинской буквой I или E.

Разные определения алгебраических объектов могут как требовать наличие единицы, так и оставлять её необязательным элементом. Односторонний нейтральный элемент единицей не называется. Единица единственна по общему свойству двустороннего нейтрального элемента.

Иногда единицами кольца называют его обратимые элементы, что может вносить путаницу.

Единица, нуль и теория категорий[править | править код]

В зависимости от алгебраической структуры и её точного определения равенство 1 = 0 может быть как запрещено, так и разрешено, однако там, где такое равенство имеет место, объект тривиален. Поле имеет единицу по определению и требуется 1 ≠ 0, так что всякое поле содержит как минимум два различных элемента. В категории Ring колец с единицей тривиальное кольцо является терминальным объектом.

Единица является единственным элементом кольца как идемпотентным, так и обратимым.

Обратимость[править | править код]

Обратимым называется всякий элемент u кольца с единицей, являющийся двусторонним делителем единицы, то есть:

Из ассоциативности умножения следует, что в таком случае v1 = v2, откуда опять-таки следует, что выбор единственен.

Обратимые элементы иногда называют алгебраическими единицами (англ. unity, фр. unité), но это понятие шире, нежели конкретный нейтральный элемент 1. Например, в поле обратим всякий элемент, отличный от нуля.

Идемпотентность[править | править код]

Если — идемпотент в кольце, и идеалы и совпадают, то e является там (в подкольце) единицей.

Добавление единицы[править | править код]

Любую алгебру над коммутативным кольцом, даже не обязательно ассоциативную, можно расширить на одну размерность, добавив элемент 1 и определив умножение на линейных комбинациях как:

с сохранением таких свойств как ассоциативность и коммутативность умножения. Элемент 1 будет являться единицей расширенной алгебры. Если в алгебре уже была единица, то после расширения она превратится в необратимый идемпотент.

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

В градуированных алгебрах[править | править код]

В градуированной алгебре, единица (если существует) обязана иметь степень 0.

Примеры[править | править код]