Generalized Baer correspondence
The term generalized Baer correspondence can be used for any of a number of possible generalizations of the Baer correspondence, some of which are more general than others.
The Baer correspondence (which we will call the Baer correspondence proper to distinguish it from generalizations) is a correspondence:
Uniquely 2-divisible class (at most) two Lie rings (called Baer Lie rings) Uniquely 2-divisible class (at most) two groups (called Baer Lie groups)
All our generalizations share the following features:
- Each generalization has some class (at most) two Lie rings on one side and some class (at most) two groups on the other side.
- In each generalization, the Lie ring and the group have the same order, and their structure is roughly similar. In most of the generalizations discussed below, the additive group of the Lie ring is 1-isomorphic to the group, but this 1-isomorphism is not given by a unique formula as is the case with the Baer correspondence proper. Rather, there is some degree of choice which ends up not mattering.
In order to understand each generalization, we recall that for the Baer correspondence proper, the formulas are as follows:
- Group multiplication in terms of Lie ring addition:
where
denotes the commutator.
- Lie ring addition in terms of group multiplication:
where
denotes the Lie bracket.
The elements and
lie in the respective centers because center of uniquely p-divisible Lie ring is uniquely p-divisible and center of uniquely p-divisible group is uniquely p-divisible. Hence, in the latter case, it is okay to divide by this element without specifying whether the division is on the left or on the right.
Each generalization has to tackle the fundamental problem:
How do we make sense of(respectively
) in the absence of unique 2-divisibility? Or, what do we replace these by?
Contents
Summary of generalizations
In general, the generalizations below are in increasing order of generality: each one generalizes all its predecessors. However, the second and third generalization (UCS-Baer and LUCS-Baer) are not more general than the first (LCS-Baer).
Name of generalized correspondence | Eligible Lie rings | Eligible groups | Intermediate structure with extra information | Key idea of generalization | Rough description of extra generality offered | Group(s) of smallest order covered at this level of generality but at no preceding level | Order of these groups |
---|---|---|---|---|---|---|---|
LCS-Baer correspondence | LCS-Baer Lie rings | LCS-Baer Lie groups | -- | can do unique halving within the derived subring or derived subgroup, not necessarily in the whole group | allows us to consider direct products of abelian groups (respectively, abelian Lie rings) and Baer Lie groups (respectively, Baer Lie rings). In particular, this slight generalization covers all finite nilpotent groups whose 2-Sylow subgroup is abelian and all other Sylow subgroups have class at most two. | cyclic group:Z2 | 2 |
UCS-Baer correspondence | UCS-Baer Lie rings | UCS-Baer Lie groups | -- | can do unique halving within the center, not necessarily in the whole group | allows us to consider central products where we fill in halves. | Nothing finite. Smallest example is central product of UT(3,Z) and Q | -- |
LUCS-Baer correspondence | LUCS-Baer Lie rings | LUCS-Baer Lie groups | -- | every element of the derived subring or subgroup has a unique half in the whole Lie ring or group (which per force must land inside the center). | can halve derived subgroup/subring stuff within center, but not necessarily do "repeated halving" | Nothing finite. Smallest example is central product of UT(3,Z) and Z identifying center with 2Z | -- |
CS-Baer correspondence | CS-Baer Lie rings | CS-Baer Lie groups | -- | can do unique halving of elements of derived subring/subgroup within some intermediate subring/subgroup that is still central | it allows things like central products that introduce halves in groups or Lie rings that have class two, and lack both 2-torsion and 2-divisibility | Nothing finite. Smallest example is the direct product of cyclic group:Z2 and central product of UT(3,Z) and Z identifying center with 2Z | -- |
linear halving generalization of Baer correspondence | Lie ring whose bracket is the double of a Lie bracket giving nilpotency class two | Group of nilpotency class two whose commutator map is the double of an alternating bihomomorphism giving class two | Lie ring of nilpotency class two | can find a linear half, not necessarily a unique or natural choice | covers some finite and infinite non-abelian 2-groups of nilpotency class two. The smallest example is of order ![]() |
SmallGroup(64,57) | 64 |
cocycle halving generalization of Baer correspondence | Lie ring arising as the double of a class two Lie cring | group of nilpotency class two whose commutator map is the double of a skew-symmetric cyclicity-preserving 2-cocycle | class two Lie cring | can find a skew-symmetric cyclicity-preserving 2-cocycle that functions as the half, not necessarily unique or natural choice | covers some finite and infinite non-abelian 2-groups of nilpotency class two | M16 and central product of D8 and Z4 | 16 |
cocycle skew reversal generalization of Baer correspondence | Lie ring arising as the skew of a class two near-Lie cring | group of nilpotency class two whose commutator map is the skew of a cyclicity-preserving 2-cocycle | class two near-Lie cring | can find a cyclicity-preserving 2-cocycle with the Lie bracket/commutator as skew, not necessarily skew-symmetric | covers some finite and infinite non-abelian 2-groups of nilpotency class two not covered by the previous examples | SmallGroup(32,2) | 32 |
Division unique if starting within the derived subgroup/subring
Derived subgroup/subring is uniquely 2-divisible
Further information: LCS-Baer correspondence
This is a slight generalization of the Baer correspondence:
LCS-Baer Lie rings LCS-Baer Lie groups
Here:
- A LCS-Baer Lie ring is a Lie ring of nilpotency class two whose derived subring is uniquely 2-divisible.
- A LCS-Baer Lie group is a group of nilpotency class two whose derived subgroup is uniquely 2-divisible.
Elements in the derived subgroup/subring can be uniquely divided by 2 in a slightly bigger central subgroup/subring
Further information: CS-Baer correspondence
This is a further slight generalization:
CS-Baer Lie rings CS-Baer Lie groups
Here:
- A CS-Baer Lie ring is a Lie ring of nilpotency class two
such that there exists a Lie subring
such that
, and every element of
has a unique half in
.
- A CS-Baer Lie group is a group of nilpotency class two
such that there exists a subgroup
such that
, and every element of
has a unique square root within
.
- The LUCS-Baer correspondence is one where every element of the derived subgroup (or subring) can be halved uniquely in the whole group, and hence uniquely within the center (since center is local powering-invariant). This is a special case of the CS-Baer correspondence but incomparable with the LCS-Baer correspondence.
- The UCS-Baer correspondence is one where unique halving is possible within the whole center, for all elements in the center. This is stronger than the LUCS-Baer correspondence but incomparable with the LCS-Baer correspondence.
Linear halving generalization
Further information: linear halving generalization of Baer correspondence
The key idea behind this generalization is to find a new candidate for the commutator (or Lie bracket) which still gives a class two structure, and whose square (or double) is the original commutator (or Lie bracket). The correspondence is thus:
Lie rings whose brackets arise as the double of a Lie bracket giving nilpotency class two Groups whose commutator arises as the square of an alternating bihomomorphism of class two
From Lie ring to group
Suppose is a Lie ring of class at most two. Suppose we find a function:
satisfying the following conditions:
-
for all
.
-
whenever
and
.
-
is biadditive, i.e., it is
-bilinear. In other words,
and
for all
.
-
is alternating, i.e.,
for all
. This also implies that
is skew symmetric, i.e.,
for all
.
-
for all
.
Equivalently, we can state the above as: is a Lie bracket on
that gives
the structure of a Lie ring of class at most two, and such that
.
Then, we can define the Lie group corresponding to by the multiplication
:
From group to Lie ring
Similar to the above. PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]Cocycle halving generalization
Further information: cocycle halving generalization of Baer correspondence
From Lie ring to group
Suppose is a Lie ring of class at most two. Suppose we find a function:
satisfying the following conditions:
-
for all
.
-
whenever
and
.
-
is a 2-cocycle for trivial group action of
on itself. (Along with the previous two conditions, this would imply that it descends to a 2-cocycle for trivial group action of
on
).
-
whenever
additively generate a cyclic subgroup of
.
-
for all
.
-
for all
.
Then, we define the group operation by:
Cocycle skew reversal generalization
Further information: cocycle skew reversal generalization of Baer correspondence
From Lie ring to group
Suppose is a Lie ring of class at most two. Suppose we find a function:
satisfying the following conditions:
-
for all
.
-
whenever
and
.
-
is a 2-cocycle for trivial group action of
on itself. (Along with the previous two conditions, this would imply that it descends to a 2-cocycle for trivial group action of
on
).
-
whenever
additively generate a cyclic subgroup of
.
-
for all
.
Then, we define the group operation by: