K's Atelier

個人的な学習記録

R*の定義

ぼーっと数学書を眺めていたら,R*の定義として

 

R* = {a ∈ R ; a is a unit in R}

 

というのがあった(p.10,Siegfried Bosch,"Algebraic Geometry and Commutative Algebra")。

R*の定義としては,どこかで

 

R* = R - {0}

 

というのを見て,これしか覚えていなかったので一瞬とまどった。どちらも同じ集合を表す,というのは計算すると分かる。unitで表現しているのは,本書がスキームの話をしているからなのかな。同書p.16で,

 

Spec R = {p ⊂ R; p prime ideal in R}

 

Spm R = {m ⊂ R;m maximal ideal in R}

 

と書かれているので,unitで書いた方が統一感がある。

この手の定義は自分が今までの本を真面目に読んでないだけで,すでに書かれてはいたはずだ。再調査しよう。一つの概念に対する複数の定義,というのは理解を深める鍵だ。

 

参考

R# = R - {0}

と定義されている文書。除外される要素が明示されるから,見た目はこちらの方が分かりやすい気がする。

http://math.shinshu-u.ac.jp/~hanaki/edu/intro/intro2011.pdf