Единица в теории колец — двусторонний нейтральный элемент операции умножения. Кольцо, содержащее единицу, называется кольцом с единицей. Обозначается единица, как правило, цифрой «1» (что отражает таковые свойства одноимённого числа) или иногда (например, в матричной алгебре), латинской буквой I или E.
Разные определения алгебраических объектов могут как требовать наличие единицы, так и оставлять её необязательным элементом. Односторонний нейтральный элемент единицей не называется. Единица единственна по общему свойству двустороннего нейтрального элемента.
В зависимости от алгебраической структуры и её точного определения равенство 1 = 0 может быть как запрещено, так и разрешено, однако там, где такое равенство имеет место, объект тривиален. Поле имеет единицу по определению и требуется 1 ≠ 0, так что всякое поле содержит как минимум два различных элемента. В категории Ring колец с единицей тривиальное кольцо является терминальным объектом.
Обратимым называется всякий элемент u кольца с единицей, являющийся двусторонним делителем единицы, то есть:
Из ассоциативности умножения следует, что в таком случае v1 = v2, откуда опять-таки следует, что выбор единственен.
Обратимые элементы иногда называют алгебраическими единицами (англ. unity, фр. unité), но это понятие шире, нежели конкретный нейтральный элемент 1. Например, в поле обратим всякий элемент, отличный от нуля.