3
大学数学基礎問題

体上の有限次元整域は体である

可換環論,線型代数,代数学
115
1
$$\newcommand{pe}[0]{\mathfrak{p}} \newcommand{Pe}[0]{\mathfrak{P}} \newcommand{Qu}[0]{\mathfrak{Q}} \newcommand{qu}[0]{\mathfrak{q}} \newcommand{Spec}[0]{\mathop{\mathrm{Spec}}\nolimits} $$

$R$を整域, $k$を$R$の部分環とし, $k$は体であるとする. $R$が$k$ベクトル空間として有限次元であれば$R$は体である.

$a\in R\setminus\{0\}$とし, $k$線型写像$t_a\colon R\rightarrow R; x\mapsto xa$を考える. $R$が整域であることより$t_a$は単射であり, $R$が$k$上有限次元だから同型となる. このとき, $t_a^{-1}(1)a=1$となるので, $a\in R^{\times}$を得る.

　有限次元でなければ成立しない. 例えば体$k$に対し, $k$上の多項式環$k[X]$は整域だが体ではない.
　また, 有限整域はその素体上有限次元であるから体である.

投稿日：2023年10月26日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

代数学演習
代数学演習
6
310

コメント

他の人のコメント

コメントはありません。
読み込み中
代数学演習
代数学演習
体上の有限次元整域は体である