3
大学数学基礎問題
体上の有限次元整域は体である
172
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
460
コメント
コメント
他の人のコメント
コメントはありません。
読み込み中...
読み込み中