Homotopy Type Theory algebra (module theory) > history (Rev #5, changes)

Showing changes from revision #4 to #5: Added | Removed | Changed

Definition

Given a ring $R$, a $R$-algebra is a $R$-$R$module - with abimodule with a bilinear function $(-)\cdot(-): A \times A \to A$.

See also

• module
• Z-algebra
• unital algebra?
• associative algebra?
• commutative algebra (module theory)?
• algebra (ring theory) (which are associative unital algebras)
• commutative algebra (ring theory) (which are commutative associative unital algebras)
• cancellation algebra?
• reciprocal algebra?
• division algebra?