的子群的直和"H" formula_11 "K"，则Aut("H" formula_11 "K") formula_13 Aut("H") formula_11 Aut("K")的事实（这里就不证明了）。基本定理证明了要计算"G"的自同构群，分别计算西罗"p"子群的自同构群就足够了（也就是所有的循环子群的直和，每个都有"p"的幂的阶）。固定一个素数"p"并假设西罗"p"子群的循环因子的指数"e"是按递增次序安排的：对于某个"n" > 0。需要找到的自同构。一个特殊情况是在"n" = 1的时候，此