$$ \newcommand\bm[1]{\boldsymbol{#1}} \renewcommand\limsup{\varlimsup} \renewcommand\liminf{\varliminf} $$

$R$ を整域とし, $a$ を $R$ の $0$ でない元とする. このとき, $R$ 上の多項式環 $R[X]$ のイデアル $(a, X)$ が単項イデアルならば, $(a, X) = R[X]$ かつ $a\in R^{\times}$ であることを証明せよ.

解答例 1

$R[X]$ は単項イデアル整域だから, ある $f(X)\in R[X]$ が存在して, $$ (a, X) = (f(X)). $$ よって, ある $g(X)\in R[X]$ が存在して, \begin{equation} a = f(X)g(X). \tag{1} \end{equation} $R$ が整域ならば $R[X]$ も整域なので, $$ \deg a = \deg f(X) + \deg g(X). $$ $a\in R$, $a\neq 0$ より, $\deg a = 0$. また, (1) より $f(X)\neq 0$, $g(X)\neq 0$. ゆえに, $$ 0 = \deg f(X) + \deg g(X),\quad \deg f(X)\geq 0,\quad \deg g(X)\geq 0. $$ これより, $\deg f(X)=0$ を得る. すなわち, $f(X)\in R\setminus\{0\}$. そこで, $b=f(X)$ とおくと, ある $h(X)\in R[X]$ が存在して, $$ X = b\cdot h(X). $$ 次数を比較すると, $\deg h(X) = 1$. そこで, $$ h(X) = cX+d,\quad c,\,d\in R $$ とおくと, $$ X = b(cX+d) = bcX+bd. $$ ゆえに, $bc=1$. すなわち, $b$ は $R$ の単元である. よって, $$ (a, X) = (f(X)) = (b) = R[X]. $$ $1\in R[X]$ だから, ある $u(X)$, $v(X)\in R[X]$ が存在して, $$ 1 = a\cdot u(X)+X\cdot v(X). $$ 両辺の次数を比較すると, $u(X)\in R$, $v(X)=0$ がいえる. ゆえに, $a$ は $R$ の単元である.

最終更新日:2011年11月02日

©2003-2011 よしいず