最初に、ルート系を抽象的に導入しました。
ここで、リー代数のルートとは何かを振り返っておきます。その前提として、カルタン部分代数を見ます。
の部分代数で、その全ての元 について が半単純(=対角化可能)であるものを考えます。ここで、 は 上の線型変換 です。
そのような条件を満たす部分代数で、極大なものをカルタン部分代数(Cartan subalgebra)といいます。
カルタン部分代数は可換であることは少しの議論で分かります( をカルタン部分代数に制限したとき零写像となることを示せばよいです)。また実は、カルタン部分代数は の同型変換で移りあうことが分かります(この議論は容易ではありません)。