Definition:Unital Associative Commutative Algebra
Jump to navigation
Jump to search
Definition
Let $R$ be a commutative ring with unity.
Definition 1
A unital associative commutative algebra over $R$ is an algebra $\struct {A, *}$ over $R$ that is unital, associative and commutative and whose underlying module is unitary.
Definition 2
A unital associative commutative algebra over $R$ is a ring under $A$, that is, an ordered pair $\struct {A, f}$ where:
- $A$ is a commutative ring with unity
- $f : R \to A$ is a unital ring homomorphism.
Also known as
A unital associative commutative algebra over $R$ is also known as an $R$-algebra, as is a general algebra over $R$.
Equivalence of Definitions
This page or section has statements made on it that ought to be extracted and proved in a Theorem page. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by creating any appropriate Theorem pages that may be needed. To discuss this page in more detail, feel free to use the talk page. |
While, strictly speaking, the above definitions do define different objects, they are equivalent in the following sense:
- An algebra $\struct {A, *}$ over $R$ that is unital, associative and commutative and whose underlying module is unitary, is identified with the ring under $R$ equal to its underlying ring together with its canonical mapping $R \to A$.
The algebra is viewed as a ring.
- A ring under $R$, $\struct {A, f}$, is identified with the algebra defined by $f$. The algebra is viewed as an algebra.
For the detailed statements, see Equivalence of Definitions of Unital Associative Commutative Algebra.
Also see
- Equivalence of Definitions of Unital Associative Commutative Algebra
- Definition:Unital Associative Commutative Algebra Homomorphism
- Results about unital associative commutative algebras can be found here.