Definition:Underlying Ring of Associative Algebra

From ProofWiki
Jump to navigation Jump to search

Definition

Let $R$ be a commutative ring.

Let $(A, *)$ be an associative algebra over $R$.

Let $A = (M, +, \circ)$ be the underlying module of $(A, *)$.


The underlying ring of $(A, *)$ is the ring $(A, +, *)$.


Also see