Homotopy Type Theory halving group > history (Rev #3)


A halving group is an abelian group G with a function ()/2:GG(-)/2:G \to G called halving and a dependent function

p: g:Gg/2+g/2=gp:\prod_{g:G} g/2 + g/2 = g


  • Just as every abelian group is a \mathbb{Z}-bimodule, every halving group is a 𝔻\mathbb{D}-bimodule, where 𝔻\mathbb{D} are the dyadic rational numbers?.

  • No halving group has characteristic 22.

See also

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.