|This article does not cite any references or sources. (September 2009)|
Lie rings need not be Lie groups under addition. Any Lie algebra is an example of a Lie ring. Any associative ring can be made into a Lie ring by defining a bracket operator . Conversely to any Lie algebra there is a corresponding ring, called the universal enveloping algebra.
Lie rings are used in the study of finite p-groups through the Lazard correspondence. The lower central factors of a p-group are finite abelian p-groups, so modules over Z/pZ. The direct sum of the lower central factors is given the structure of a Lie ring by defining the bracket to be the commutator of two coset representatives. The Lie ring structure is enriched with another module homomorphism, then pth power map, making the associated Lie ring a so-called restricted Lie ring.
Lie rings are also useful in the definition of a p-adic analytic groups and their endomorphisms by studying Lie algebras over rings of integers such as the p-adic integers. The definition of finite groups of Lie type due to Chevalley involves restricting from a Lie algebra over the complex numbers to a Lie algebra over the integers, and the reducing modulo p to get a Lie algebra over a finite field.
A Lie ring is defined as a nonassociative ring with multiplication that is anticommutative and satisfies the Jacobi identity. More specifically we can define a Lie ring to be an abelian group with an operation that has the following properties:
- for all x, y, z ∈ L.
- The Jacobi identity:
- for all x, y, z in L.
- For all x in L:
- Any Lie algebra over a general ring instead of a field is an example of a Lie ring. Lie rings are not Lie groups under addition, despite the name.
- Any associative ring can be made into a Lie ring by defining a bracket operator .
- For an example of a Lie ring arising from the study of groups, let be a group with the commutator operation, and let be a central series in — that is the commutator subgroup is contained in for any . Then
- is a Lie ring with addition supplied by the group operation (which will be commutative in each homogeneous part), and the bracket operation given by
- extended linearly. Note that the centrality of the series ensures the commutator gives the bracket operation the appropriate Lie theoretic properties.