设K/F是F上分裂域.这里把下面将用到的域论中或群论中的一些结果
重温一下:
   1) F上分裂域和F上正规扩域是一回事;
   2) F上分裂域K是单扩域K = F(0) = F(0,) =                               ,0n),其中
{.=,但,• • •,}是.的F最小多项式夙对的全部根;
   3) F上分裂域K = F(0),而.的F-最小多项式p(x)的次数为n,则有
                        n=[K:F] = \Gal(K/F)\-
   4) FQLJK,F,L,K 是域,则有[K : F] = [K : L][L : F];
   5)