ガブリエルの定理

数学において， () によって証明されたガブリエルの定理（）は，箙をディンキン図形のことばで分類する．
主張.
箙が有限型とは，直既約表現の同型類を有限個しかもたないことをいう． は有限型のすべての箙を分類し，またそれらの直既約表現も分類した．正確には，ガブリエルの定理は以下の主張である：
表現の係数体は何でもよく，特に有限体上でも成り立つ．
 は有限次元半単純リー環のすべてのディンキン図形が現れるガブリエルの定理の一般化を発見した．