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

&&&prf 
$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]$は整域だが体ではない. 
　また, 有限整域はその素体上有限次元であるから体である. 



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

この記事を高評価した人

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

投稿者

コメント

他の人のコメント