因数分解型のHenselの補題
# はじめに この記事ではHenselの補題のある種の一般化について解説していきます。 ここで可換環$R'$の元$a,b$が互いに素であるとは、ある$x,y\in R'$が存在して$ax+by=1$が成り立つことをいうものとします($aR'+bR'=R'$とも言い換えられる)。 &&&lem Henselの補題 可換環$R$上の多項式$f\in R[x]$が、$R$のイ…