はじめに
この記事ではHenselの補題のある種の一般化について解説していきます。
ここで可換環の元が互いに素であるとは、あるが存在してが成り立つことを言うものとします(とも言い換えられる)。
Henselの補題
可換環上の多項式が、のイデアルにおいて
と因数分解され、の最高次の係数が可逆であるとき
およびを満たすような多項式の列が存在して
が成り立つ。
このの極限、つまり逆極限の世界を考えることで次の様な主張が成り立ちます。
完備離散付値環上のHenselの補題
完備離散付値環上の多項式が剰余体において
と因数分解されるとき
およびを満たすような多項式が存在して
が成り立つ。
補題
を可換環、をそのイデアルとする。このときがにおいて可逆であればにおいても可逆である。
仮定よりあるがあってが成り立つ。このとき
とおくと
となるのでより
を得る。
除法の原理
を可換環、をその最高次数の係が可逆な多項式とする。
このとき任意のに対し
を満たすような多項式が一意に存在する。
またをのイデアルとすると、ならばが成り立つ。
存在性
のときは明らか。いまにおいて
と展開すると
はを満たすので、に対し同様の操作を繰り返しの次数を下げていくことで
がを満たすような多項式が取れる。
またこの構成法からならとできることに注意する。
一意性
と表せるとき
およびよりでなければならず、したがってとなることもわかる。
本題
いま多項式を
およびを満たすように任意に取る。
このときHenselの補題の主張のようなが構成できたとして、の構成法について考える。
いま補題3よりの最高次の係数はにおいて可逆なので、除法の原理より
およびなるが存在することに注意する。
上のようなに対し
なる多項式を任意に取り
とおくとこれはHenselの補題の主張を満たす。
とできることを示せばよい。いまとできたとする。このとき
が成り立つことに注意する。
ここで
よりは
を満たすように取れ、このとき
に注意すると
を得る。
一意性について
実はこの多項式はを法として一意に定まっている(ただしの最高次の係数は常に変わらないものとする)。
のときに主張が成り立つと仮定し、の場合を示す(の時は明らか)。
とおくと帰納法の仮定より
が成り立つことに注意すると
となるので、と合わせて
と変形できる。
またより除法の原理の一意性から
でなければならず、したがって
を得る。