The Lie rings in question are LCS-Baer Lie rings. A LCS-Baer Lie ring is a Lie ring of class at most two with the property that its derived subring is 2-powered, i.e., every element has a unique half. In particular, this includes both abelian Lie rings (where the derived subring is the zero subring) and Baer Lie rings (groups of class at most two where the whole Lie ring is uniquely 2-divisible).
The groups in question are LCS-Baer Lie groups. A LCS-Baer Lie group is a group of class at most two with the property that its derived subgroup is 2-powered, i.e., every element of the derived subgroup has a unique square root in the derived subgroup. In particular, this includes both abelian groups (where the derived subgroup is trivial) and Baer Lie groups (groups of class at most two where the whole group is uniquely 2-divisible)
From group to Lie ring
Suppose is a LCS-Baer Lie group. In particular, this means that the derived subgroup of is contained in the center of and that every element in the derived subgroup has a unique square root in the derived subgroup. Denote by the function from to itself that sends an element in the derived subgroup to its unique square root in the derived subgroup.
|Lie ring operation that we need to define||Definition in terms of the group operations||Further comments|
|Addition, i.e., define for||By definition, as well, and is hence also in the center. Thus, to divide by it, we do not need to specify whether we are dividing 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 .|
From Lie ring to group
Suppose is a LCS-Baer Lie ring, with addition denoted and Lie bracket denoted . Denote by the operation from to itself sending each element to its unique half. We give the structure of a class two group as follows:
|Group operation that we need to define||Definition in terms of the Lie ring operations||Further comments|
|Group multiplication||By definition, so makes sense.|
|Identity element for multiplication||Same as the zero element of the Lie ring.|
|Multiplicative inverse .||Same as the additive inverse .|
|Group commutator||Same as the Lie bracket .|
A finite nilpotent group is a LCS-Baer Lie group if its 2-Sylow subgroup is abelian and all other Sylow subgroups have class at most two.
- CS-Baer correspondence is a further generalization.