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

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

Definition

Given a commutative ring $R$, a $R$-algebra is a $R$-$R$-bimodule 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?