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

Parents

Subset of

Algebra over a commutative ring