Weyl构形A_(n-1)和B_n之间的构形的自由性

Weyl群的反射超平面形成的集合称为该群对应的Weyl构形。设符号A_(n-1)和B_n分别表示A_(n-1)型和B_n型Weyl构形。若构形■满足A_(n-1)■B_n,则称■为A_(n-1)和B_n之间的构形。本文首先研究了阈图,给出构造阈图的一种方法。然后,利用阈图研究了A_(n-1)和B_n之间的构形的自由性。给出结论:对于满足|A_(n-1)|k|B_n|的任意整数k,均存在A_(n-1)和B_n之间的自由构形,其基数为k。同时也给出A_(n-1)和B_n之间的非自由构形的类似的结论。