Homotopy Type Theory
halving group > history (changes)
Showing changes from revision #3 to #4:
Added | Removed | Changed
Definition
A halving group is an abelian group G with a function called halving and a dependent function
Properties
-
Just as every abelian group is a -bimodule, every halving group is a -bimodule, where are the dyadic rational numbers?.
-
No halving group has characteristic .
See also
External links
Last revised on June 17, 2022 at 23:29:07.
See the history of this page for a list of all contributions to it.