Homotopy Type Theory
halving group > history (Rev #2)
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
Revision on June 6, 2022 at 14:53:41 by
Anonymous?.
See the history of this page for a list of all contributions to it.