Homotopy Type Theory algebra (ring theory) > history (Rev #1)

Definition

Given a commutative ring RR, an RR-algebra is a ring AA with

  • a ring homomorphism? f:RAf:R \to A
  • a commutative ring homomorphism? g:RZ(A)g:R \to Z(A) into the center Z(A)AZ(A) \subseteq A of AA.
  • a term a:ig=fa: i \circ g = f, where i:Z(A)Ai:Z(A) \subseteq A is the associated monic function for subtype Z(A)Z(A) of AA.

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.