ルート系
数学において，ルート系（，）とはある幾何学的な性質を満たすユークリッド空間のベクトルの配置である．これはリー群やリー環の理論において基本的な概念である．リー群（や代数群のような類似物）やリー環は20世紀の間に数学の多くの部分で重要になってきたから，ルート系の一見すると特別な性質に反してそれらは多くの分野に応用される．さらに，ディンキン図形によるルート系の分類体系は（のような）リー理論とあからさまなつながりの全くない数学の分野において現れる．最後に，ルート系はにおけるように，それ自身重要である．
最初の例として，図に示されているような，2次元ユークリッド空間 における6つのベクトルを考える．これらのベクトルは空間全体を張る．任意のルート に垂直な直線を考えると，その直線による の鏡映は任意の他のルート を別のルートに写す．さらに，写り先は に等しい，ただし は整数である（この場合 は である）．これら6つのベクトルは以下の定義を満たし，したがってルート系をなす；このルート系は と呼ばれる．
を有限次元ユークリッドベクトル空間とし， を標準ユークリッド内積とする． のルート系 (root system) とは，非零ベクトルの有限集合 であって，以下の条件を満たすもののことである：
条件3と4を書く同値な方法は以下である：
ルート系 に含まれるベクトルはルート（root）と呼ばれる．著者によってはルート系の定義に条件2と3のみを課す．この文脈では，整数性（条件4）も満たすルート系は結晶的（crystallographic）と呼ばれる．別の著者は条件 2 を省く；このとき条件 2 を満たすルート系は被約（reduced）と呼ばれる．この記事では，すべてのルート系は被約かつ結晶的と仮定する．
性質3より，整数性条件は次のように述べても同値である： とその鏡映 との差は の整数倍である．性質4によって定義される演算
は内積ではないことに注意．対称であるとは限らず，第一変数についてのみ線型である．
ルート系 の階数 (rank) は の次元である．
2つのルート系は，それらの張るユークリッド空間を共通のユークリッド空間の互いに直交する部分空間と見ることで，つなげることができる．そのような結合から生じないルート系は既約 (irreducible) といわれる．例えば右に描かれているルート系 A, B, G は既約である．
2つのルート系 と が同型 (isomorphic) であるとは，可逆な線型変換 であって， と に送り，ルートの各対に対して，数 が保たれるものが存在することをいう．
ルート系 のルートに直交する超平面による鏡映によって生成される の等長変換の群を のワイル群と呼ぶ．ワイル群は有限集合 に忠実に作用するから，必ず有限群である．
ルート系 の (root lattice) とは， で生成される の部分 加群である．それは の格子である．
階数 1 のルート系は1つしかない，すなわち2つの非零ベクトルからなる である．このルート系は と呼ばれる．
階数 2 では，, に応じて，4つの可能性がある．ルート系はそれが生成する格子によっては決定されないことに注意： と はともに正方格子を生成するし， と はともにを生成する．5種類ある2次元格子のうち2つだけである．
ルート系の概念は最初1889年頃 (Wilhelm Killing) によって導入された（ドイツ語，"Wurzelsystem"）．彼は複素数体上のすべての単純リー環を分類しようとしたときにそれらを用いた．キリングはもともと分類で間違いを犯していて，例外型の階数 4 のルート系を2つ挙げていたが，実際には1つしかなく，今では と呼ばれるものである．カルタンが後にこの誤りを，キリングの2つのルート系が同型であることを示すことで，訂正した．
キリングはカルタン部分環（と今では呼ばれているもの） を考えることによって，リー環 の構造を研究した．そして彼は特性多項式 , ただし , の根を研究した．ここでここで「根」(root) は の関数として考える，あるいは実際双対ベクトル空間 の元として考える．根のこの集合は上で定義されたように のルート系をなす，ただし内積はキリング形式である．
2つのルートの間の角度の余弦は整数の平方根の半整数倍に制限される．なぜならば， と はともに仮定により整数で，
であるからである．
ルート系 が与えられると，必ず，正ルート（positive root）の集合を（何通りも）取ることができる．これは の部分集合 であって，以下を満たすものである：
正ルートの集合 が選ばれると， の元は負ルート（negative root）と呼ばれる．
正ルート全体の集合は を が単純ルートの非負線型結合であることとして自然に順序付けられる．この半順序集合は
によって，多くの注目すべき組合せ論的性質を持つ．その1つはこの半順序集合から対応するワイル群の基本不変式の次数を決定できることである．ハッセグラフはルート半順序集合の順序の可視化である．
が のルート系であるとき，ルート のコルート は
によって定義される．コルートの集合も のルート系 をなし，双対ルート系（あるいはときどき"逆ルート系"）と呼ばれる．定義により であるから， は の双対ルート系である． で張られる の格子は"コルート格子"と呼ばれる． と は同じワイル群 を持ち， に対して，
である． が の単純ルートの集合であれば， は の単純ルートの集合である．
ルート系が既約であるとは，2つの真の部分集合の和集合 であって，すべての と に対して となるようなものに分割できないことをいう．
既約ルート系はにちなんで名づけられているディンキン図形というと対応する．これらのグラフの分類は単純な組合せ論であり，既約ルート系の分類をもたらす．
ルート系が与えられたとき，前の節にあるように単純ルートの集合 を選ぶ．付随するディンキン図形の頂点は のベクトルに対応する．ベクトルの直交しない各対の間に辺が描かれる．なす角度が ラジアンのときは，無向の一重辺であり， のときは有向二重辺であり， のときは有向三重辺である．「有向辺」という用語は二重・三重辺は短い方のベクトルを指す記号が付けられることを意味する．
与えられたルート系の単純ルートの集合の可能性は1つではないが，ワイル群はそのような選び方に推移的に作用する．したがって，ディンキン図形は単純ルートたちの選び方には依らず，ルート系自身によって決定される．逆に，同じディンキン図形をもつ2つのルート系が与えられると，基底のルートから合わせ始めて，2つが実は同じであることを示すことができる．
したがってルート系の分類の問題は可能なディンキン図形の分類の問題に帰着する．ルート系が既約であることとそのディンキン図形が連結であることは同値である．ディンキン図形は基底 のことばで の内積の情報を持っており，この内積が正定値でなければならないという条件は所望の分類を得るのに必要なすべてであることが判明する．
実際の連結図形は以下のとおりである．サブスクリプトは図形の頂点の個数（したがって対応する既約ルート系の階数）を指し示す．
既約ルート系は対応する連結ディンキン図形にしたがって名づけられる．4つの無限族（A, B, C, D で，古典型ルート系と呼ばれる）と5つの例外的な場合（例外型ルート系）が存在する．サブスクリプトはルート系の階数を意味する．
既約ルート系において長さ の値は高々2種類であり，短いルートと長いルートである．すべてのルートが同じ長さを持っているときは長いと定義し，ルート系は simply laced といわれる．これは A, D, E の場合におこる．同じ長さの任意の2つのルートはワイル群の同じ軌道に入る．Simply laced でない場合 B, C, G, F では，ルート格子は短いルートによって張られ，長いルートは部分格子を張り，これはワイル群で不変で，コルート格子の 倍に等しい，ただし は長いルートの長さである．
添付の表において， は短いルートの個数を表し， は長いルートによって生成される部分格子のルート格子における指数を表し， はカルタン行列の行列式を表し， はワイル群の位数を表す．
を座標の和が になる の部分空間とし， を の長さ の"整数ベクトル"すなわち において整数座標を持つベクトル全体の集合とする．そのようなベクトルは2つを除くすべての座標が で，1つの座標は で，1つは でなければならず，したがって全部で 個のルートがある．単純ルートの取り方の1つを標準基底で表すと： に対して .
である，つまり，鏡映は1倍を足すことに等しい．しかし，隣り合わない単純ルートに垂直な単純ルートの鏡映はそれを変えず，0倍を引くことである．
とし， を の長さ か のすべての整数ベクトルからなるとする．ルートの総数は である．単純ルートたちの1つの選び方は： に対して と（ に対する上の単純ルートの取り方），短ルート である．
短ルート に垂直な超平面に関する鏡映 はもちろん単に 番目の座標の 倍である．長単純ルート に対し， であるが，短ルートに垂直な鏡映に対しては， であり，1倍ではなく2倍である．
とし， を長さ の のすべての整数ベクトルと， を長さ の整数ベクトルとして の形のすべてのベクトルからなるとする．ルートの総数は である．単純ルートの1つの選び方は： に対して と（A に対する単純ルートの上の選び方），長い方のルート である．
鏡映 であるが， である．
ルート系 を立方体と正八面体の中の点として描いたもの
とし， を長さ の のすべての整数ベクトルからなるとする．ルートの総数は である．単純ルートたちの1つの選び方は： に対して と（A に対する単純ルートの上の選び方）， である．
このルート系は240個のルートを持つ．いま挙げた集合は， ルート格子の長さ のベクトル全部の集合である．この格子は単に や とも呼ばれる．これは の次のような点全体の集合である：
したがって，
特に便利な 格子の別の記述は， のつぎのような全ての点の集合 である：
格子 と は同型である；一方から他方へ，任意の奇数個の座標の符号を変えることによって行ける．格子 は の"偶座標系"と呼ばれることがあり，格子 は"奇座標系"と呼ばれることがある．
に対する単純ルートの1つの選び方は，上のディンキン図形での頂点の順序によって行を順序づけた偶座標系において：
（ に対する単純ルートの上の選び方）と
（ に対する単純ルートの上の選び方）と
（ を使っても同型な結果を与える． あるいは を使うと単に あるいは を与える． については，その座標の和は であり，同じことは に対しても正しく，したがってそれらは座標の和が になる 7 次元部分空間しか張らない；実は は基底 において座標 を持つ．）
に対して， とし， を長さが か のベクトル であって の座標がすべて整数ですべて偶数かすべて奇数なもの全体の集合とする．この系には48個のルートがある．単純ルートの1つの選び方は： に対して上で与えられた単純ルートの選び方と，.
ルート系 は12個のルートを持ち，六芒星の頂点をなす．上の絵を参照．
単純ルートの1つの選び方は：, ただし に対して は に対する単純ルートの上の選び方である．
既約ルート系はリー理論におけるいくつかの関連した対象を分類する，特に
各場合において，ルートは随伴表現の非零ウェイトである．
極大トーラス をもつ単連結単純コンパクトリー群 の場合には，ルート格子は自然に と同一視でき，コルート格子は とできる，ただし は円周群である； を参照．
例外型ルート系とそれらのリー群とリー環との関係は，, , , , を参照．