Editing Root system (section)

==Properties of the irreducible root systems==
{|border=1 cellpadding=4  align="right" style="margin: 1em; text-align: center; border-collapse: collapse;" class="wikitable"
!{{math|&Phi;}} || {{math|{{abs|&Phi;}}}} || {{math|{{abs|Φ<sup>&lt;</sup>}}}} || {{mvar|I}} || {{mvar|D}} || {{math|{{abs|W}}}}
|-
|{{math|A<sub>''n''</sub> (''n'' ≥ 1)}} || {{math|''n''(''n'' + 1)}} ||   ||  || {{math|''n'' + 1}} || {{math|(''n'' + 1)!}}
|-
|{{math|B<sub>''n''</sub> (''n'' ≥ 2)}} || 2''n''<sup>2</sup> || 2''n''||  2  || 2 || 2<sup>''n''</sup> ''n''!
|-
|{{math|C<sub>''n''</sub> (''n'' ≥ 3)}} || 2''n''<sup>2</sup> || {{math|2''n''(''n'' − 1)}} ||  2<sup>''n''−1</sup>  || 2 || 2<sup>''n''</sup> ''n''!
|-
|{{math|D<sub>''n''</sub> (''n'' ≥ 4)}} || {{math|2''n''(''n'' − 1)}} ||  ||  || 4 || 2<sup>''n''−1</sup> ''n''!
|-
|[[E6 (mathematics)|E<sub>6</sub>]] || 72 ||   || || 3 || 51840	
|-
|[[E7 (mathematics)|E<sub>7</sub>]] || 126 ||   || || 2 || 2903040	
|-
|[[E8 (mathematics)|E<sub>8</sub>]] || 240 ||  ||  || 1 || 696729600
|-
|[[F4 (mathematics)|F<sub>4</sub>]] || 48 || 24||  4  || 1 || 1152
|-
|[[G2 (mathematics)|G<sub>2</sub>]] || 12 || 6 ||  3  || 1 || 12
|}

Irreducible root systems are named according to their corresponding connected Dynkin diagrams. There are four infinite families (A<sub>''n''</sub>, B<sub>''n''</sub>, C<sub>''n''</sub>, and D<sub>''n''</sub>, called the '''classical root systems''') and five exceptional cases (the '''exceptional root systems'''). The subscript indicates the rank of the root system.

In an irreducible root system there can be at most two values for the length {{math|(''α'', ''α'')<sup>1/2</sup>}}, corresponding to '''short''' and '''long''' roots. If all roots have the same length they are taken to be long by definition and the root system is said to be '''simply laced'''; this occurs in the cases A, D and E. Any two roots of the same length lie in the same orbit of the Weyl group. In the non-simply laced cases B, C, G and F, the root lattice is spanned by the short roots and the long roots span a sublattice, invariant under the Weyl group, equal to ''r''<sup>2</sup>/2 times the coroot lattice, where ''r'' is the length of a long root.

In the adjacent table, {{math|{{abs|Φ<sup>&lt;</sup>}}}} denotes the number of short roots, {{mvar|I}} denotes the index in the root lattice of the sublattice generated by long roots, ''D'' denotes the determinant of the [[Cartan matrix]], and |''W''| denotes the order of the [[Weyl group]].
{{Clear}}