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

可換環は, 自分自身と零イデアル以外にイデアルをもたないとき, 体であることを証明せよ.

解答例 1

$R$ を問題の仮定を満たすような可換環とし, $a$ を $R$ の $0$ でない元とする. $a$ で生成されるイデアル $aR$ は $a$ 自身を含むから, 零イデアルではない. よって, 問題の仮定から, $aR=R$. 一方, $1\in R$ であるから, $1\in aR$. ゆえに, ある $b\in R$ が存在して, $1=ab$. すなわち, $a$ は単元である. したがって, $R$ は体である.

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

©2003-2011 よしいず