Associated Lie ring of a group
- As an additive group, it is a direct sum of the successive quotients in the lower central series of . If and , the associated Lie ring of is, as an additive group, the following unrestricted direct product:
Note that the direct sum has finitely many factors if and only if is a nilpotent group.
- The Lie bracket is defined component-wise as follows. The Lie bracket of and is the commutator as an element of (modulo , where are representatives of and .
Dependence on quotient by nilpotent residual
The associated Lie ring of a group is the same as the associated Lie ring of the quotient group of the group by its nilpotent residual. Thus, the notion is generally studied only for residually nilpotent groups. Typically, we first replace a group by its quotient by its nilpotent residual before we commence study of the associated Lie ring.
- Explicit description of lower central series of associated Lie ring of a group
- Nilpotency class of associated Lie ring equals nilpotency class of quotient of group by nilpotent residual
- Order of associated Lie ring equals order of group for nilpotent group
- Exponent of associated Lie ring divides exponent of group
- Minimum size of generating set of associated Lie ring equals minimum size of generating set of quotient of group by nilpotent residual
There is a more general notion of the associated Lie ring for a strongly central series. The lower central series is a strongly central series, and the associated Lie ring for the lower central series is the associated Lie ring as defined here.
There is a natural action of on the associated Lie ring of , as Lie ring automorphisms. The action is well-defined because all the terms of the lower central series are characteristic subgroups of . Further, under this action, every element of acts trivially. Thus, we get an action of on the associated Lie ring, as Lie ring automorphisms.