Homotopy Type Theory halving group > history (Rev #2, changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

Definition

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

Properties

  • Just as every abelian group is a \mathbb{Z}-bimodule , every torsion-free 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 6, 2022 at 14:53:41 by Anonymous?. See the history of this page for a list of all contributions to it.