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

Showing changes from revision #2 to #3: Added | ~~Removed~~ | ~~Chan~~ged

Definition

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

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

See also

~~algebra (module theory)~~

Revision on June 13, 2022 at 20:08:55 by Anonymous?. See the history of this page for a list of all contributions to it.