定理： 証明： 非負整数 に対して とすると、 , だから、帰納的に が分かる。 のとき、フェルマーの小定理より だから、 よって冪級数の積より は整係数冪級数。 一方 は多項式でもある。 よって は整係数多項式だから、 その倍である は各係数がpの倍数であ…

を求めよう。 前回(【体論】共役と自己同型 - 数学大好き宣言！)の定理を使っていく。 簡単のためとおく。 の自己同型はとで一意に定まるから、 であるような自己同型をと書こう。例えば恒等写像はだから. の上の共役全体はだから、前回の定理1より. の上の…