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

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

Definition

Given a commutative ring $R$, a left $R$$R$-algebra is a left$R$-module$R$ - with abimodule with a bilinear function $(-)\cdot(-): A \times A \to A$, and a right $R$-algebra is a right $R$-module 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?