Showing changes from revision #11 to #12:
Added | Removed | Changed
< ring
A
$\alpha(1) = \mathrm{id}_R$
for all $a:R$, $\alpha(a)(1) = a$
for all $a:R$, $b:R$, and $c:R$, $(\alpha(a) \circ \alpha(b))(c) = \alpha(a)(\alpha(b)(c))$
We define the bilinear function $(-)\cdot(-):M \times M \to M$ 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.