Homotopy Type Theory algebra (module theory) > history (changes)

Showing changes from revision #5 to #6: Added | ~~Removed~~ | ~~Chan~~ged

~~Definition~~

~~Given a~~

~~ring~~ ~~$R$~~ ~~, a~~ ~~$R$ -algebra~~ ~~is a~~ ~~$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)

Last revised on June 13, 2022 at 20:08:08. See the history of this page for a list of all contributions to it.