Definition:Associative Algebra

From ProofWiki
Jump to navigation Jump to search

This page is about Associative Algebra. For other uses, see Associative.

Definition

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}$


Also see

  • Results about associative algebras can be found here.


Sources