设
V
{\displaystyle V}
向量空间 ，并赋予标准的内积
(
,
)
{\displaystyle (,)}
V
{\displaystyle V}
根系 是有限个向量（称为根 ）构成的集合
Φ
{\displaystyle \Phi }
<α, β> 的整性条件使得 β 必然落在所示各条垂直线上。再配合 <β, α> 的整性条件，在每条线上，其间交角只有两种可能。
Φ
{\displaystyle \Phi }
V
{\displaystyle V}
对任一
α
∈
Φ
{\displaystyle \alpha \in \Phi }
Φ
{\displaystyle \Phi }
±
α
{\displaystyle \pm \alpha }
对任意
α
∈
Φ
{\displaystyle \alpha \in \Phi }
Φ
{\displaystyle \Phi }
α
{\displaystyle \alpha }
σ
α
(
β
)
=
β
−
2
(
α
,
β
)
(
α
,
α
)
α
∈
Φ
.
{\displaystyle \sigma _{\alpha }(\beta )=\beta -2{\frac {(\alpha ,\beta )}{(\alpha ,\alpha )}}\alpha \in \Phi .}
（整性）若
α
,
β
∈
Φ
{\displaystyle \alpha ,\beta \in \Phi }
β
{\displaystyle \beta }
α
{\displaystyle \alpha }
α
{\displaystyle \alpha }
⟨
β
,
α
⟩
:=
2
(
α
,
β
)
(
α
,
α
)
∈
Z
,
{\displaystyle \langle \beta ,\alpha \rangle :=2{\frac {(\alpha ,\beta )}{(\alpha ,\alpha )}}\in \mathbb {Z} ,}
根据性质三，整性等价于：对任意
α
,
β
∈
Φ
{\displaystyle \alpha ,\beta \in \Phi }
σ
α
(
β
)
{\displaystyle \sigma _{\alpha }(\beta )}
β
{\displaystyle \beta }
α
{\displaystyle \alpha }
尖积
⟨
⋅
,
⋅
⟩
:
Φ
×
Φ
→
Z
{\displaystyle \langle \cdot ,\cdot \rangle \colon \Phi \times \Phi \to \mathbb {Z} }
并非一个内积，它未必对称，而且只对第一个参数是线性的。
根系
Φ
{\displaystyle \Phi }
秩 定义为
V
{\displaystyle V}
给定两个根系
(
V
,
Φ
)
,
(
W
,
Ψ
)
{\displaystyle (V,\Phi ),(W,\Psi )}
V
⊕
W
{\displaystyle V\oplus W}
Φ
⊔
Ψ
{\displaystyle \Phi \sqcup \Psi }
V
,
W
≠
{
0
}
{\displaystyle V,W\neq \{0\}}
不可约 的。
对两个根系
(
E
1
,
Φ
1
)
,
(
E
2
,
Φ
2
)
{\displaystyle (E_{1},\Phi _{1}),(E_{2},\Phi _{2})}
Φ
1
{\displaystyle \Phi _{1}}
Φ
2
{\displaystyle \Phi _{2}}
对于根系
(
V
,
Φ
)
{\displaystyle (V,\Phi )}
外尔群 。可证明此群在
Φ
{\displaystyle \Phi }
在同构的意义下，秩一的根系仅有一种，由两个非零向量
{
α
,
−
α
}
{\displaystyle \{\alpha ,-\alpha \}}
A
1
{\displaystyle A_{1}}
秩二的根系有四种可能，对应于
σ
α
(
β
)
=
β
+
n
α
{\displaystyle \sigma _{\alpha }(\beta )=\beta +n\alpha }
n
=
0
,
1
,
2
,
3
{\displaystyle n=0,1,2,3}
[ 1]
A
1
×
A
1
{\displaystyle A_{1}\times A_{1}}
B
2
{\displaystyle B_{2}}
正方形格 ，而
A
2
{\displaystyle A_{2}}
G
2
{\displaystyle G_{2}}
六边形格 。这仅仅是五种可能的二维格 中的两种。
图解如下：
根系 A1 ×A1
根系 A2
根系 B2
根系 G2
秩二之根系
当
Φ
{\displaystyle \Phi }
V
{\displaystyle V}
W
{\displaystyle W}
Ψ
=
Φ
∩
W
{\displaystyle \Psi =\Phi \cap W}
W
{\displaystyle W}
Ψ
{\displaystyle \Psi }
W
{\displaystyle W}
0
,
30
,
45
,
60
,
90
,
120
,
135
,
150
{\displaystyle 0,30,45,60,90,120,135,150}
180
{\displaystyle 180}
不可约根系与某类被称为邓肯图的图 间有一一对应关系。邓肯图的分类是简单的组合学问题，由此可导出不可约根系的分类定理。其构造方式如下：
给定一个不可约根系，选取一组单根。相应的邓肯图以这些单根为顶点。两个单根
α
,
β
{\displaystyle \alpha ,\beta }
⟨
α
,
β
⟩
⋅
⟨
β
,
α
⟩
{\displaystyle \langle \alpha ,\beta \rangle \cdot \langle \beta ,\alpha \rangle }
(
α
,
α
)
{\displaystyle (\alpha ,\alpha )}
长根 ）指向短者（称为短根 ）的有向边。
一个根系可以取多种不同的单根。然而，由于外尔群在这些选取上的作用是传递的，邓肯图的构造与单根的选取无关，它是根系内在的不变量。反之，给定具有相同邓肯图的两个不可约根系，可以按图配对单根及其间的内积，从而得到根系的同构。邓肯图给出的内积未必唯一，但至多差一个正常数倍，因而得到的根系是同构的 。
借此，可将不可约根系的分类问题化约到连通邓肯图的分类。若某个邓肯图来自于根系，则从其顶点与边定义的双线性形式必然是邓肯的；配上这个条件后，即可解决根系的分类。
邓肯图的分类列表详如下图。下标表示图中的顶点数，亦即相应根系的秩。
连通邓肯图一览
Φ
{\displaystyle \Phi }
|
Φ
|
{\displaystyle |\Phi |}
|
Φ
<
|
{\displaystyle |\Phi ^{<}|}
I
|
W
|
{\displaystyle |W|}
An n ≥1)
n (n +1)
n +1(n +1)!
Bn n ≥2)
2n 2
2n
2
2n n !
Cn n ≥3)
2n 2
2n (n −1)
2
2n n !
Dn n ≥4)
2n (n −1)
4
2n −1n !
E6
72
3
51840
E7
126
2
2903040
E8
240
1
696729600
F4
48
24
1
1152
G2
12
6
1
12
不可约根系依其邓肯图的种类命名。有四族根系：
A
n
,
B
n
,
C
n
,
D
n
{\displaystyle A_{n},B_{n},C_{n},D_{n}}
n
≥
1
,
2
,
3
,
4
{\displaystyle n\geq 1,2,3,4}
典型根系 ；剩下五种情形称为例外根系 。下标表示根系之秩。在上表中，
|
Φ
<
|
{\displaystyle |\Phi ^{<}|}
I
{\displaystyle I}
嘉当矩阵 的行列式 ，而
|
W
|
{\displaystyle |W|}
取
V
{\displaystyle V}
R
n
+
1
{\displaystyle \mathbb {R} ^{n+1}}
∑
i
=
1
n
+
1
x
i
=
0
{\displaystyle \sum _{i=1}^{n+1}x_{i}=0}
(
x
1
,
…
,
x
n
+
1
)
{\displaystyle (x_{1},\ldots ,x_{n+1})}
Φ
{\displaystyle \Phi }
V
{\displaystyle V}
2
{\displaystyle {\sqrt {2}}}
R
n
+
1
{\displaystyle \mathbb {R} ^{n+1}}
e
1
,
…
,
e
n
+
1
{\displaystyle e_{1},\ldots ,e_{n+1}}
e
i
−
e
j
(
i
≠
j
)
{\displaystyle e_{i}-e_{j}\;(i\neq j)}
n
(
n
+
1
)
{\displaystyle n(n+1)}
α
i
:=
e
i
−
e
i
+
1
{\displaystyle \alpha _{i}:=e_{i}-e_{i+1}}
对垂直于
α
i
{\displaystyle \alpha _{i}}
超平面 的镜射在
Φ
{\displaystyle \Phi }
i
,
i
+
1
{\displaystyle i,i+1}
A
n
{\displaystyle A_{n}}
S
n
+
1
{\displaystyle S_{n+1}}
A
n
{\displaystyle A_{n}}
s
l
(
n
+
1
,
C
)
{\displaystyle {\mathfrak {sl}}(n+1,\mathbb {C} )}
B 4
1
-1
0
0
0
1
-1
0
0
0
1
-1
0
0
0
1
取
V
=
R
n
{\displaystyle V=\mathbb {R} ^{n}}
Φ
{\displaystyle \Phi }
V
{\displaystyle V}
1
,
2
{\displaystyle 1,{\sqrt {2}}}
2
n
2
{\displaystyle 2n^{2}}
α
i
=
e
i
−
e
i
+
1
(
1
≤
i
<
n
)
{\displaystyle \alpha _{i}=e_{i}-e_{i+1}\;(1\leq i<n)}
α
n
:=
e
n
{\displaystyle \alpha _{n}:=e_{n}}
对短根
α
n
{\displaystyle \alpha _{n}}
(
x
1
,
…
,
x
n
)
↦
(
x
1
,
…
,
−
x
n
)
{\displaystyle (x_{1},\ldots ,x_{n})\mapsto (x_{1},\ldots ,-x_{n})}
B
1
{\displaystyle B_{1}}
A
1
{\displaystyle A_{1}}
n
≥
2
{\displaystyle n\geq 2}
B
n
{\displaystyle B_{n}}
s
o
(
2
n
+
1
,
C
)
{\displaystyle {\mathfrak {so}}(2n+1,\mathbb {C} )}
C 4
1
-1
0
0
0
1
-1
0
0
0
1
-1
0
0
0
2
取
V
=
R
n
{\displaystyle V=\mathbb {R} ^{n}}
Φ
{\displaystyle \Phi }
V
{\displaystyle V}
2
{\displaystyle {\sqrt {2}}}
2
λ
{\displaystyle 2\lambda }
λ
{\displaystyle \lambda }
2
n
2
{\displaystyle 2n^{2}}
α
i
:=
e
i
−
e
i
+
1
(
1
≤
i
<
n
)
{\displaystyle \alpha _{i}:=e_{i}-e_{i+1}\;(1\leq i<n)}
α
n
:=
2
e
n
{\displaystyle \alpha _{n}:=2e_{n}}
C
2
{\displaystyle C_{2}}
B
2
{\displaystyle B_{2}}
n
≥
3
{\displaystyle n\geq 3}
C
n
{\displaystyle C_{n}}
s
p
(
2
n
,
C
)
{\displaystyle {\mathfrak {sp}}(2n,\mathbb {C} )}
D 4
1
-1
0
0
0
1
-1
0
0
0
1
-1
0
0
1
1
取
V
:=
R
n
{\displaystyle V:=\mathbb {R} ^{n}}
Φ
{\displaystyle \Phi }
V
{\displaystyle V}
2
{\displaystyle {\sqrt {2}}}
2
n
(
n
−
1
)
{\displaystyle 2n(n-1)}
α
i
=
e
i
−
e
i
+
1
,
(
1
≤
i
<
n
)
{\displaystyle \alpha _{i}=e_{i}-e_{i+1},\;(1\leq i<n)}
α
n
=
e
n
+
e
n
−
1
{\displaystyle \alpha _{n}=e_{n}+e_{n-1}}
D
3
{\displaystyle D_{3}}
A
3
{\displaystyle A_{3}}
n
≥
4
{\displaystyle n\geq 4}
D
n
{\displaystyle D_{n}}
s
o
(
2
n
,
C
)
{\displaystyle {\mathfrak {so}}(2n,\mathbb {C} )}
E
8
{\displaystyle E_{8}}
R
8
{\displaystyle \mathbb {R} ^{8}}
Γ
8
{\displaystyle \Gamma _{8}}
各座标均为整数，或均为半整数（不容相混）。
八个座标的和为偶数。 定义
E
8
{\displaystyle E_{8}}
Γ
8
{\displaystyle \Gamma _{8}}
2
{\displaystyle {\sqrt {2}}}
{
α
∈
Z
8
⊔
(
Z
+
1
2
)
8
:
|
α
|
2
=
2
,
∑
α
i
∈
2
Z
}
{\displaystyle \left\{\alpha \in \mathbb {Z} ^{8}\sqcup \left(\mathbb {Z} +{\frac {1}{2}}\right)^{8}:|\alpha |^{2}=2,\;\sum \alpha _{i}\in 2\mathbb {Z} \right\}}
定义
E
7
{\displaystyle E_{7}}
E
8
{\displaystyle E_{8}}
{
x
:
(
x
,
α
)
=
0
}
{\displaystyle \{x:(x,\alpha )=0\}}
α
∈
E
8
{\displaystyle \alpha \in E_{8}}
E
7
{\displaystyle E_{7}}
E
6
{\displaystyle E_{6}}
E
6
,
E
7
,
E
8
{\displaystyle E_{6},E_{7},E_{8}}
D
5
,
A
4
{\displaystyle D_{5},A_{4}}
E 8
1
-1
0
0
0
0
0
0
0
1
-1
0
0
0
0
0
0
0
1
-1
0
0
0
0
0
0
0
1
-1
0
0
0
0
0
0
0
1
-1
0
0
0
0
0
0
0
1
-1
0
0
0
0
0
0
1
1
0
½
½
½
½
½
½
½
½
另一种等价的描述是取
Γ
8
′
{\displaystyle \Gamma '_{8}}
各坐标均为整数，而且其和为偶数；或
各坐标均为半整数，而且其和为奇数。
Γ
8
{\displaystyle \Gamma _{8}}
Γ
8
′
{\displaystyle \Gamma '_{8}}
Γ
8
{\displaystyle \Gamma _{8}}
E
8
{\displaystyle E_{8}}
Γ
8
′
{\displaystyle \Gamma '_{8}}
在偶坐标下，通常取单根为
α
i
:=
e
i
−
e
i
+
1
(
1
≤
i
≤
6
)
{\displaystyle \alpha _{i}:=e_{i}-e_{i+1}\quad (1\leq i\leq 6)}
α
7
:=
e
7
+
e
6
{\displaystyle \alpha _{7}:=e_{7}+e_{6}}
α
8
=
β
0
=
∑
i
=
1
8
e
i
2
{\displaystyle \alpha _{8}=\beta _{0}={\frac {\sum _{i=1}^{8}e_{i}}{2}}}
E 8
1
-1
0
0
0
0
0
0
0
1
-1
0
0
0
0
0
0
0
1
-1
0
0
0
0
0
0
0
1
-1
0
0
0
0
0
0
0
1
-1
0
0
0
0
0
0
0
1
-1
0
0
0
0
0
0
0
1
-1
-½
-½
-½
-½
-½
½
½
½
在奇坐标下，通常取单根为
α
i
:=
e
i
−
e
i
+
1
(
1
≤
i
≤
7
)
{\displaystyle \alpha _{i}:=e_{i}-e_{i+1}\quad (1\leq i\leq 7)}
α
8
:=
β
5
{\displaystyle \alpha _{8}:=\beta _{5}}
β
j
:=
−
∑
i
=
1
j
e
i
+
∑
i
=
j
+
1
8
e
i
2
{\displaystyle \beta _{j}:={\frac {-\sum _{i=1}^{j}e_{i}+\sum _{i=j+1}^{8}e_{i}}{2}}}
（在上述定义中，若改取
β
3
{\displaystyle \beta _{3}}
β
1
,
β
7
,
β
2
,
β
6
{\displaystyle \beta _{1},\beta _{7},\beta _{2},\beta _{6}}
A
8
{\displaystyle A_{8}}
D
8
{\displaystyle D_{8}}
β
4
{\displaystyle \beta _{4}}
α
1
,
…
,
α
7
{\displaystyle \alpha _{1},\ldots ,\alpha _{7}}
删去
α
1
{\displaystyle \alpha _{1}}
E
7
{\displaystyle E_{7}}
α
2
{\displaystyle \alpha _{2}}
E
6
{\displaystyle E_{6}}
由于对
α
1
{\displaystyle \alpha _{1}}
α
1
,
α
2
{\displaystyle \alpha _{1},\alpha _{2}}
E
7
,
E
6
{\displaystyle E_{7},E_{6}}
E7 α ∈ Z 7 ∪ (Z +½)7 : ∑α i 2 + α 1 2 = 2，∑α i + α 1 ∈ 2Z ),
E6 α ∈ Z 6 ∪ (Z +½)6 : ∑α i 2 + 2α 1 2 = 2，∑α i + 2α 1 ∈ 2Z )
F 4
1
-1
0
0
0
1
-1
0
0
0
1
0
-½
-½
-½
-½
对于
F
4
{\displaystyle F_{4}}
V
=
R
4
{\displaystyle V=\mathbb {R} ^{4}}
Φ
{\displaystyle \Phi }
|
α
|
=
1
,
2
{\displaystyle |\alpha |=1,{\sqrt {2}}}
2
α
{\displaystyle 2\alpha }
此根系有
48
{\displaystyle 48}
B
3
{\displaystyle B_{3}}
α
4
=
−
(
∑
i
=
1
4
e
i
)
/
2
{\displaystyle \alpha _{4}=-\left(\sum _{i=1}^{4}e_{i}\right)/2}
G
2
{\displaystyle G_{2}}
α
1
{\displaystyle \alpha _{1}}
β
:=
α
2
−
α
1
{\displaystyle \beta :=\alpha _{2}-\alpha _{1}}
在此沿用了之前的符号：
α
i
:=
e
i
−
e
i
+
1
,
(
i
=
1
,
2
)
{\displaystyle \alpha _{i}:=e_{i}-e_{i+1},\;(i=1,2)}
Serre, J.-P., Jones, G. A., Complex Semisimple Lie Algebras (2001), Springer-Verlag, ISBN 3540678271
Serre, J.-P. Lie Algebras and Lie Groups (2005), Lecture Notes in Mathematics, no. 1500, Springer-Verlag, ISBN 3540550089 .
Dynkin, E. B. The structure of semi-simple algebras. (Russian) Uspehi Matem. Nauk (N.S.) 2, (1947). no. 4(20), 59–127.
Hall, Brian C., Lie groups, Lie algebras, and representations: An elementary introduction, Graduate Texts in Mathematics 222 2nd, Springer, 2015, ISBN 978-3319134666
