Showing changes from revision #4 to #5:
Added | Removed | Changed
A unital -algebra is an $\mathbb{Z}$-algebra with
A unital -algebra is an H-space in abelian groups.
Every untial -algebra where has a two-sided inverse is contractible.
Every contractible type is a unital -algebra.
The integers are a unital -algebra.
The rational numbers are a unital -algebra.