Editing Lie algebra (section)

=== Examples ===
* Here is a construction of Lie rings arising from the study of abstract groups. For elements <math>x,y</math> of a group, define the commutator <math>[x,y]= x^{-1}y^{-1}xy</math>. Let <math>G = G_1 \supseteq G_2 \supseteq G_3 \supseteq \cdots \supseteq G_n \supseteq \cdots</math> be a ''filtration'' of a group <math>G</math>, that is, a chain of subgroups such that <math>[G_i,G_j]</math> is contained in <math>G_{i+j}</math> for all <math>i,j</math>. (For the Lazard correspondence, one takes the filtration to be the lower central series of ''G''.) Then
:: <math>L = \bigoplus_{i\geq 1} G_i/G_{i+1}</math>
:is a Lie ring, with addition given by the group multiplication (which is abelian on each quotient group <math>G_i/G_{i+1}</math>), and with Lie bracket <math>G_i/G_{i+1} \times G_j/G_{j+1} \to G_{i+j}/G_{i+j+1}</math> given by commutators in the group:<ref>{{harvnb|Serre|2006|loc=Part I, Chapter II.}}</ref>
:: <math>[xG_{i+1}, yG_{j+1}] := [x,y]G_{i+j+1}. </math>

:For example, the Lie ring associated to the lower central series on the [[dihedral group]] of order 8 is the Heisenberg Lie algebra of dimension 3 over the field <math>\mathbb{Z}/2\mathbb{Z}</math>.