Un álgebra asociativa unitaria sobre "R" se basa en un morfismo "A" x "A"→ "A" que tiene 2 entradas (multiplicador y multiplicando) y una salida (el producto), así como un morfismo "R"→"A" que identificaba los múltiplos escalares de la identidad multiplicativa.