Homotopy Type Theory commutative algebra (ring theory) > history (Rev #2, changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

Definition

Given a commutative ring $R$, an commutative $R$-algebra is a commutative ring $A$ with acommutative ring homomorphism? $f:R \to A$

Properties

An commutative algebra in ring theory is an commutative? associative? unital? algebra in module theory.

See also

• commutative ring
• polynomial ring
• algebra (ring theory)
• algebra (module theory)