Definition:Underlying Ring of Associative Algebra

From ProofWiki
Jump to navigation Jump to search

Definition

Let $R$ be a commutative ring.

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

Let $A = \struct {M, +, \circ}$ be the underlying module of $\struct {A, *}$.


The underlying ring of $\struct {A, *}$ is the ring $\struct {A, +, *}$.


Also see


Sources