# Twisted multiplication of a 2-powered group

## Contents

## Definition

Suppose is a 2-powered group, i.e., a group that is powered over the prime number 2, i.e., every element of has a unique square root. There are two somewhat different but isomorphic definitions of the twisted multiplication.

### The definition that uses square roots on the inside

With the definition:

where denotes the unique element of whose square is .

### The definition that uses square roots on the outside

With this definition:

where denotes the unique element of whose square is .

We can think of this as the "mean" between and . It is the unique solution to:

### The equivalence of definitions

For any , we have:

Thus, the square map establishes an isomorphism between the two magma structures.

### Gyrogroup structure

With the twisted multiplication, acquires the structure of a gyrogroup, in fact, it acquires the structure of a gyrocommutative gyrogroup:

- The identity element is the same as the identity element for (regardless of whether we are using or .
- The inverse operation is the same as the inverse operation of (regardless of whether we are using or .
- In terms of , the gyroautomorphism is defined to be conjugation in by . Note that the conjugating element can be thought of as the
*mean deviation*, i.e., it is the distance between either of and and the*mean*between them.

## Particular cases

In the case that is a Baer Lie group (i.e., it is a 2-powered group of nilpotency class two) the twisted multiplication gives rise to an abelian group, and this is the underlying additive group of the Baer Lie ring of via the Baer correspondence. Another way of formulating this is that the gyroautomorphisms are all identity maps in this case. Note in particular that in this case *both* the twisted multiplications agree with each other, and both have a nicer alternative description: