# Difference between revisions of "Proof of Baer construction of Lie ring for Baer Lie group"

(→Statement) |
|||

(8 intermediate revisions by the same user not shown) | |||

Line 5: | Line 5: | ||

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

− | Suppose <math>G</math> is a [[fact about::Baer Lie group]], i.e., a uniquely 2-divisible [[fact about::group of nilpotency class two|class two]] group. Let <math>[ , ]</math> 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 <math>\sqrt{}</math> the function that takes an element and returns the unique element whose square is that element. In particular, if an element <math>g</math> has finite order <math>m</math>, then <math>\sqrt{g} = g^{(m+1)/2}</math> (<math>m</math> must be odd). | + | Suppose <math>G</math> is a [[fact about::Baer Lie group]], i.e., a [[fact about::uniquely 2-divisible|uniquely 2-divisible]] [[fact about::group of nilpotency class two|class two]] group. Let <math>[ , ]</math> 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 <math>\sqrt{}</math> the function that takes an element and returns the unique element whose square is that element. In particular, if an element <math>g</math> has finite order <math>m</math>, then <math>\sqrt{g} = g^{(m+1)/2}</math> (<math>m</math> must be odd). |

<math>G</math> gets the structure of a Lie ring as follows: | <math>G</math> gets the structure of a Lie ring as follows: | ||

Line 12: | Line 12: | ||

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

|- | |- | ||

− | | Addition, i.e., define <math>x + y</math> for <math>x,y \in G</math> || <math>x + y := \frac{xy}{\sqrt{[x,y]}}</math> || Since <math>G</math> has class two, <math>[x,y]</math> is central. Since [[center | + | | Addition, i.e., define <math>x + y</math> for <math>x,y \in G</math> || <math>x + y := \frac{xy}{\sqrt{[x,y]}} = \sqrt{x}y\sqrt{x} = \sqrt{xy^2x}</math> || Since <math>G</math> has class two, <math>[x,y]</math> is central. Since [[center is local powering-invariant]], applied to the prime 2, we get that <math>\sqrt{[x,y]}</math> is central. Thus, it makes sense to ''divide'' by this element without specifying whether the division occurs on the left or on the right.<br>The other two definitions are equivalent, but this requires some algebraic manipulation to show. These definitions are significant because they show that the additive group operation is the same as the [[twisted multiplication of a 2-powered group|twisted multiplication defined for generic 2-powered groups]]. |

|- | |- | ||

| Identity element for addition, denoted <math>0</math>. || Same as identity element for group multiplication, denoted <math>e</math> or <math>1</math>. || This automatically follows from the way addition is defined. | | Identity element for addition, denoted <math>0</math>. || Same as identity element for group multiplication, denoted <math>e</math> or <math>1</math>. || This automatically follows from the way addition is defined. | ||

Line 28: | Line 28: | ||

* [[Baer correspondence]] -- the full statement. | * [[Baer correspondence]] -- the full statement. | ||

− | * [[Proof of Baer construction of Lie group for | + | * [[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]] | * [[Proof of mutual inverse nature of the Baer constructions between group and Lie ring]] | ||

Line 47: | Line 47: | ||

'''To prove''': <math>\! (x + y) + z = x + (y + z)</math> | '''To prove''': <math>\! (x + y) + z = x + (y + z)</math> | ||

− | '''Proof''': | + | '''Proof''': The left side becomes: |

<math>\! (x + y) + z = \frac{\frac{xy}{\sqrt{[x,y]}} \cdot z}{\sqrt{\left[\frac{xy}{\sqrt{[x,y]}},z\right]}}</math> | <math>\! (x + y) + z = \frac{\frac{xy}{\sqrt{[x,y]}} \cdot z}{\sqrt{\left[\frac{xy}{\sqrt{[x,y]}},z\right]}}</math> | ||

Line 55: | Line 55: | ||

<math>(x + y) + z = \frac{xyz}{\sqrt{[x,y]}\sqrt{[xy,z]}}</math> | <math>(x + y) + z = \frac{xyz}{\sqrt{[x,y]}\sqrt{[xy,z]}}</math> | ||

− | + | The <math>\sqrt{}</math> operation is a homomorphism on the center, and we can thus rewrite this as: | |

<math>\! (x + y) + z = \frac{xyz}{\sqrt{[x,y][xy,z]}} \qquad (\dagger)</math> | <math>\! (x + y) + z = \frac{xyz}{\sqrt{[x,y][xy,z]}} \qquad (\dagger)</math> | ||

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

<math>\! x + (y + z) = \frac{xyz}{\sqrt{[x,yz][y,z]}} \qquad (\dagger\dagger)</math> | <math>\! x + (y + z) = \frac{xyz}{\sqrt{[x,yz][y,z]}} \qquad (\dagger\dagger)</math> | ||

− | Thus, to prove | + | Thus, to prove associativity, it suffices to show that the right sides of <math>(\dagger)</math> and <math>(\dagger\dagger)</math> are equal, which in turn reduces to proving that: |

<math>\! [x,y][xy,z] = [x,yz][y,z]</math> | <math>\! [x,y][xy,z] = [x,yz][y,z]</math> | ||

− | Now, by fact (1), the left side is <math>[x,y]([x,z][y,z])</math>, and the right side is also <math>([x,y][x,z])[y,z]</math>, and both are equal by associativity in the group, completing the proof. | + | Now, by fact (1), the left side is <math>[x,y]([x,z][y,z])</math>, and the right side is also <math>([x,y][x,z])[y,z]</math>, and both are equal by associativity in the group, completing the proof. |

===Addition is commutative=== | ===Addition is commutative=== | ||

Line 75: | Line 75: | ||

'''To prove''': <math>\! x + y = y + x</math> | '''To prove''': <math>\! x + y = y + x</math> | ||

− | '''Proof''': | + | '''Proof''': We have: |

<math>\! x + y = \frac{xy}{\sqrt{[x,y]}}</math> | <math>\! x + y = \frac{xy}{\sqrt{[x,y]}}</math> | ||

Line 91: | Line 91: | ||

<math>\frac{xy}{yx} = \frac{\sqrt{[x,y]}}{\sqrt{[y,x]}}</math> | <math>\frac{xy}{yx} = \frac{\sqrt{[x,y]}}{\sqrt{[y,x]}}</math> | ||

− | The left side is <math>[x,y]</math>. The right side is also <math>[x,y]</math>, which follows from the meaning of squareroot and the fact that <math>[y,x] = [x,y]^{-1}</math>. | + | The left side is <math>[x,y]</math>. The right side is also <math>[x,y]</math>, which follows from the meaning of squareroot and the fact that <math>[y,x] = [x,y]^{-1}</math>. |

===Agreement of identity and inverses=== | ===Agreement of identity and inverses=== | ||

Line 99: | Line 99: | ||

'''To prove''': The identity element of the group is an identity element for <math>+</math>, and inverses in the group are inverses for the <math>+</math> operation. | '''To prove''': The identity element of the group is an identity element for <math>+</math>, and inverses in the group are inverses for the <math>+</math> operation. | ||

− | '''Proof''': | + | '''Proof''': For this, note that if <math>x,y</math> commute in the group, then <math>x + y = xy</math>. Now: |

* Since the identity element <math>e</math> of the group commutes with every element of the group, we have, for all <math>x</math> in the group that <math>x + e = xe = x</math>, and similarly <math>e + x = ex = x</math>. Thus, <math>e</math> is an identity for addition. | * Since the identity element <math>e</math> of the group commutes with every element of the group, we have, for all <math>x</math> in the group that <math>x + e = xe = x</math>, and similarly <math>e + x = ex = x</math>. Thus, <math>e</math> is an identity for addition. | ||

− | * Since every element commutes with its multiplicative inverse in the group, we have, for any <math>x</math> in the group, that <math>x + x^{-1} = xx^{-1} = e</math>, which is the identity element for the group and hence also for <math>+</math>. Similarly, <math>x^{-1} + x</math> is the identity element for the group, and hence also for <math>+</math>. | + | * Since every element commutes with its multiplicative inverse in the group, we have, for any <math>x</math> in the group, that <math>x + x^{-1} = xx^{-1} = e</math>, which is the identity element for the group and hence also for <math>+</math>. Similarly, <math>x^{-1} + x</math> is the identity element for the group, and hence also for <math>+</math>. |

− | |||

===The Lie bracket is additive in the first variable=== | ===The Lie bracket is additive in the first variable=== | ||

'''To prove''': <math>[x+y,z] = [x,z] + [y,z]</math> | '''To prove''': <math>[x+y,z] = [x,z] + [y,z]</math> | ||

− | '''Proof''': | + | '''Proof''': We have: |

<math>\! [x+y,z] = [\frac{xy}{\sqrt{[x,y]}},z] = [xy,z] = [x,z][y,z]</math> | <math>\! [x+y,z] = [\frac{xy}{\sqrt{[x,y]}},z] = [xy,z] = [x,z][y,z]</math> | ||

Line 116: | Line 115: | ||

<math>\! [x,z] + [y,z] = \frac{[x,z][y,z]}{\sqrt{[[x,z],[y,z]]}} = [x,z][y,z]</math> | <math>\! [x,z] + [y,z] = \frac{[x,z][y,z]}{\sqrt{[[x,z],[y,z]]}} = [x,z][y,z]</math> | ||

− | Thus, we obtain <math>[x+y,z] = [x,z] + [y,z]</math>. | + | Thus, we obtain <math>[x+y,z] = [x,z] + [y,z]</math>. |

===The Lie bracket is additive in the second variable=== | ===The Lie bracket is additive in the second variable=== |

## Latest revision as of 19:18, 30 July 2013

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 is local powering-invariant, 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.The other two definitions are equivalent, but this requires some algebraic manipulation to show. These definitions are significant because they show that the additive group operation is the same as the twisted multiplication defined for generic 2-powered groups. | |

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.