"a" が "m""n"1("d"1) × ... × "m""n""p"("d""p")の形であるかまたは "a" ＝end"d"1("e"1) × ... × end"d""p"("e""p")の形であれば、"k" は "d""i" の中心の部分体であり、"d""i" の "k" 上の次元は有限である。