■基本単体の二面角(その48)
(その35)の分類定理より,
[2]分岐点を含み,−のみからなるのは,Dk(k≧4),E6,E7,E8だけである.
φ
・−・−・・・−・−・−・−・・・−・−・
ε1 ε2 εp-1 | ηq-1 η2 η1
・ζr-1
|
・
・
|
・ζ1
すなわち,
[9]どのルート系も,
・−・−・−・−・ ・−・−・−・−・−・−・
| |
・ ・
|
・
・−・−・−・−・−・−・−・ ・−・=・−・−・
|
・
を含むことはできない(∵(Σμα)^2=0,線形従属)
===================================