Homotopy Type Theory
halving group > history (Rev #3)
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 15, 2022 at 22:53:02 by
Anonymous?.
See the history of this page for a list of all contributions to it.