Category:Associative Algebras

From ProofWiki
Jump to navigation Jump to search

This category contains results about Associative Algebras.
Definitions specific to this category can be found in Definitions/Associative Algebras.

Let $R$ be a commutative ring.

Let $\struct {A_R, *}$ be an algebra over $R$.


Then $\struct {A_R, *}$ is an associative algebra if and only if $*$ is an associative operation.

That is:

$\forall a, b, c \in A_R: \paren {a * b} * c = a * \paren {b * c}$