Пусть
K — произвольное
коммутативно-
ассоциативное кольцо с единицей. Кольцо
A (не обязательно ассоциативное) называется
алгеброй над K или
K-алгеброй, если для любых элементов
,
однозначно определено произведение
, причем для всех
и
справедливы соотношения