Неассоциативное кольцо


Неассоциативное кольцо (не обязательно ассоциативное кольцо) — общеалгебраическая структура, обобщение понятия кольца, определяется сходным с кольцом образом, но при этом не требуется ассоциативность умножения. Иногда под «кольцом» понимается это его обобщение, но большинство источников по алгебре включают в определение термина «кольцо» условие ассоциативности умножения.

Неассоциативное кольцо — множество , на котором заданы две бинарные операции: и (называемые сложением и умножением), со следующими свойствами, выполняющимися для любых :

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

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

Даже если кольцо имеет единицу, не работает привычное понятие обратимого элемента: обратный может существовать с одной стороны и отсутствовать с другой, могут существовать с обеих сторон но быть разными, или существовать различные односторонние обратные к одному элементу. Также, наличие каких-либо обратных не гарантирует, что элемент не делит нуль, и не сохраняется при перемножении.

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