formula_29），则称之为不可约的。对两个根系 formula_30，若存在其间的线性同构，使得 formula_31 映至 formula_32，则称它们为同构的根系。对于根系 formula_33，对根的反射生成一个群，称为该根系的外尔群。可证明此群在 formula_4 上忠实地作用，因此必为有限群。
秩一与秩二的例子.
秩为1的例子.在同构的意义下，秩一的根系仅有一种，由两个非零向量 formula_35 组成。此根系记作 formul