可換環論・ホモロジー代数の問題
環は単位元 をもつ可換環とする。 を 3 元体とし,剰余環
を考える。 の単数群(乗法について可逆な元全体のなす群) の位数を求めよ。
この問題で使うもの
- 剰余環のイデアルと単元の個数(説明と入口の問題)
この問題を解けるようになるまで(26 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
と が で互いに素かどうかを調べ,中国剰余定理で を 2 つの環の直積に分けよう.
ヒント 2
直積環の単数群は各成分の単数群の直積である. が 上既約かどうかを確かめよう.
ヒント 3
は局所環で, が単数であるのは のときである.単数の個数は 個.もう一方の成分は体になる.
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
中国剰余定理で分解する. は 上で根をもたない()ので,2 次式として既約である.また は の根でないので, と は互いに素である.よって中国剰余定理より
直積環の単数群は各成分の単数群の直積なので, は各成分の単数の個数の積である.
第 1 成分. は とおくと で,元は の 9 個. は唯一の極大イデアル をもつ局所環で, が単数であることと は同値である( なら , なら より零因子).よって単数は 個.
第 2 成分. は既約なので は位数 の体 であり,単数は 以外の 個.
結論.
別解
上 は根をもたない()ので既約である。 と は互いに素( は の因子でない)なので、中国剰余定理より
第 1 因子 は として である。これは局所環で、極大イデアルは 、剰余体は 。単数は で のものなので、。
第 2 因子は で体なので、単数群の位数は 。
直積の単数群は単数群の直積なので
検算: 。非単数は の倍数または の倍数。 で割り切れるもの: の 倍の集合は 個、 で割り切れるもの: 個、両方( の倍数): 個。非単数は 個、単数は 。