# Proof of Baer construction of Lie ring for Baer Lie group

This article states and (possibly) proves a fact that is true for odd-order p-groups: groups of prime power order where the underlying prime is odd. The statement is false, in general, for groups whose order is a power of two.

View other such facts for p-groups|View other such facts for finite groups

## Contents

- 1 Statement
- 2 Related facts
- 3 Facts used
- 4 Proof
- 4.1 Addition is associative
- 4.2 Addition is commutative
- 4.3 Agreement of identity and inverses
- 4.4 The Lie bracket is additive in the first variable
- 4.5 The Lie bracket is additive in the second variable
- 4.6 The Lie bracket is alternating
- 4.7 The Lie bracket satisfies the Jacobi condition and gives a class two Lie ring

## Statement

This statement is part of the Baer correspondence, which in turn is a special case of the Lazard correspondence.

Suppose is a Baer Lie group (?), i.e., a uniquely 2-divisible class two group. Let denote the commutator of two elements. Note that we can adopt either the left or the right convention -- the two definitions are equal because the group has class two. Denote by the function that takes an element and returns the unique element whose square is that element. In particular, if an element has finite order , then ( must be odd).

gets the structure of a Lie ring as follows:

Lie ring operation that we need to define | Definition in terms of the group operations | Further comments |
---|---|---|

Addition, i.e., define for | Since has class two, is central. Since center of uniquely p-divisible group is uniquely p-divisible, applied to the prime 2, we get that is central. Thus, it makes sense to divide by this element without specifying whether the division occurs on the left or on the right.
| |

Identity element for addition, denoted . | Same as identity element for group multiplication, denoted or . | This automatically follows from the way addition is defined. |

Additive inverse, i.e., define for . | Same as , i.e., the multiplicative inverse in the group. | This automatically follows from the way addition is defined. |

Lie bracket, i.e., the map in the Lie ring. | Same as the group commutator . |

Further, this Lie ring is a Baer Lie ring (?): it is uniquely 2-divisible and has class at most two.

## Related facts

### Other parts of the Baer correspondence

- Baer correspondence -- the full statement.
- Proof of Baer construction of Lie group for Baer Lie ring
- Proof of mutual inverse nature of the Baer constructions between group and Lie ring

### Other generalizations

## Facts used

## Proof

Please see the comment, along with the definition of addition, about division by the square root being well defined.

### Addition is associative

**Key proof ingredient**: Fact (1).

**To prove**:

**Proof**: The left side becomes:

We know that for central, . Since the reciprocal of is central, it can be dropped from inside commutator expressions, and we simplify to:

The operation is a homomorphism on the center, and we can thus rewrite this as:

Similarly, the right side of theassociativity expression we need to prove becomes:

Thus, to prove associativity, it suffices to show that the right sides of and are equal, which in turn reduces to proving that:

Now, by fact (1), the left side is , and the right side is also , and both are equal by associativity in the group, completing the proof.

### Addition is commutative

**Key proof ingredient**: The fact that .

**To prove**:

**Proof**: We have:

and

It thus suffices to prove that:

which is equivalent to proving that:

The left side is . The right side is also , which follows from the meaning of squareroot and the fact that .

### Agreement of identity and inverses

**Key proof ingredient**: The commutator vanishes when one of the elements is the identity or when the two elements are inverses of each other.

**To prove**: The identity element of the group is an identity element for , and inverses in the group are inverses for the operation.

**Proof**: For this, note that if commute in the group, then . Now:

- Since the identity element of the group commutes with every element of the group, we have, for all in the group that , and similarly . Thus, is an identity for addition.
- Since every element commutes with its multiplicative inverse in the group, we have, for any in the group, that , which is the identity element for the group and hence also for . Similarly, is the identity element for the group, and hence also for .

### The Lie bracket is additive in the first variable

**To prove**:

**Proof**: We have:

Also:

Thus, we obtain .

### The Lie bracket is additive in the second variable

This is analogous to additivity in the first variable, as shown above.

### The Lie bracket is alternating

This follows from the fact that the commutator of any element with itself is the identity element.

### The Lie bracket satisfies the Jacobi condition and gives a class two Lie ring

Since the Lie bracket coincides with the commutator, and the commutator satisfies that is trivial for all , the Lie bracket also satisfies the same condition. Thus, it satisfies Jacobi's identity and also the condition for class two.