Homotopy Type Theory
algebra (ring theory) > history (Rev #1)
Definition
Given a commutative ring , an -algebra is a ring with
- a ring homomorphism?
- a commutative ring homomorphism? into the center of .
- a term , where is the associated monic function for subtype of .
Properties
An algebra in ring theory is an associative? unital? algebra in module theory.
See also
Revision on March 14, 2022 at 23:10:32 by
Anonymous?.
See the history of this page for a list of all contributions to it.