Showing changes from revision #11 to #12:
Added | Removed | Changed
< ring
A ring is an abelian group with an element and a abelian group homomorphism such that
for all ,
for all , , and ,
We define the bilinear function as
Every contractible type is a ring.
The integers are a ring.
The rational numbers are a ring.
Last revised on June 17, 2022 at 20:33:17. See the history of this page for a list of all contributions to it.