表示的多项式所对应的自同构群所拥有的性质。一个群被称为可解的，若它拥有一个其商群皆为阿贝尔群的正规列。或者等价地说，若其降正规列之中，每一个子群都会是前一个的导群，且最后一个为"G"的平凡子群{1}。上述两个定义是等价的，对一个群"H"及"H"的正规子群"N"，其商群"H"/"N"为可交换的若且唯若"N"包含着"H"。对于有限群，有一个等价的定义为：一可解群为一有着其商群皆为质数阶的循环群之合成列的群。此一定义会等价是因为每一个简单阿贝尔群都是有质数阶的循环群。若尔当-赫尔德定理表示若一个合成列有