ならへかえたものにほかならない.これは S(a)か任意のひiによって不変てあり,よって Kに属することを示している.関数S(a)はaのトレース(迹)とよはれ,恒等的に0にはならない.もし恒等的に 0ならは(J'1,(J'2,...,(jnの线形独立性に反するからてある.ここて次を证明しよう.
定理14.aぃひ2,...,(J',.か体Eの自己同型写像の群Gをつくるとき, Kをそれに関する不変体とすれは(EIK)=nてある.
证明定理13により, Eのn+l个の要素01,02,...,O'.n+lはつねに K上线形従属てあることを示せは十分て
ある.そのために次の E内の线形同次连立方程式を考える.
X1u;1(ai)+x2u;1