Homotopy Type Theory halving group > history (changes)

Showing changes from revision #3 to #4: Added | Removed | Changed


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

Last revised on June 17, 2022 at 23:29:07. See the history of this page for a list of all contributions to it.