Associative algebra
Set
context | $A$…R-module |
definiendum | $\langle A,[\cdot,\cdot]\rangle \in \mathrm{AssociativeAlgebra}(A)$ |
postulate | $\langle A,[\cdot,\cdot]\rangle$ … algebra over $A$ |
postulate | $[\cdot,\cdot]$ … associative |
Discussion
Reference
Wikipedia: Associative algebra