ガブリエルの定理

数学において，ピエール・ガブリエル (Pierre Gabriel) によって証明されたガブリエルの定理（英: Gabriel's theorem）は，箙をディンキン図形のことばで分類する．

主張

箙が有限型とは，直既約表現の同型類を有限個しかもたないことをいう．Gabriel (1972) は有限型のすべての箙を分類し，またそれらの直既約表現も分類した．正確には，ガブリエルの定理は以下の主張である：

1. 連結な箙が有限型であることと，その underlying graph（すなわち箙の矢印の向きを忘れたグラフ）がADE型のディンキン図形 A_n, D_n, E₆, E₇, E₈ のいずれかであることは同値である．
2. このとき，直既約表現は次元ベクトルによりディンキン図形のルート系の正ルートと一対一に対応する．

表現の係数体は何でもよく，特に有限体上でも成り立つ．

Dlab & Ringel (1973) は有限次元半単純リー環のすべてのディンキン図形が現れるガブリエルの定理の一般化を発見した．

参考文献

• Bernšteĭn, I. N.; Gelfand, I. M.; Ponomarev, V. A. (1973), “Coxeter functors, and Gabriel's theorem”, Russian mathematical surveys 28 (2): 17–32, doi:10.1070/RM1973v028n02ABEH001526, ISSN 0042-1316, MR0393065 
• Dlab, Vlastimil; Ringel, Claus Michael (1973), On algebras of finite representation type, Carleton mathematical lecture notes,, 2, Department of Mathematics, Carleton Univ., Ottawa, Ont., MR0347907, https://books.google.com/books?id=_JrnAAAAMAAJ 
• Gabriel, Peter (1972), “Unzerlegbare Darstellungen. I”, Manuscripta Mathematica 6: 71–103, doi:10.1007/BF01298413, ISSN 0025-2611, MR0332887