可換環論・ホモロジー代数の問題
環は単位元 をもつ可換環とする。剰余環
は有限環である。 の単数群(乗法について可逆な元全体のなす群) の位数を求めよ。
この問題で使うもの
- 有限可換環の単数群の位数(説明と入口の問題)
この問題を解けるようになるまで(28 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 約数の見つけ方
- 最大公約数と最小公倍数
- 素因数分解と約数の個数
- 最大公約数と最小公倍数
- 分数のたし算・ひき算
- 小数の四則計算
- 正負の数の加法・減法
- 分数のかけ算・わり算
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 乗法公式による展開
- 因数分解
- 文字式で表した整数の性質
- 余りによる整数の分類
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 合同式
- 群の位数と元の位数
- 有限アーベル群の構造と部分群の個数
- 剰余類環の単元群とオイラー関数
- 3 次式までの展開と因数分解
- 整式の除法
- 剰余環のイデアルと単元の個数
- 剰余環の素イデアル(対応定理)
- 有限可換環の単数群の位数
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
に注目し、中国剰余定理で を 2 つの環の直積に分けましょう。単数群は直積の単数群の積になります。
ヒント 2
上で が既約か、 上でどう因数分解されるかを調べます。有限局所環では、単元の個数は「全体の元の個数 − 極大イデアルの元の個数」です。
ヒント 3
は位数 で極大イデアル をもつ局所環、 は位数 の局所環です。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
中国剰余定理で分解する. で なので、
単数群は なので、。
. は 上 を基底とする自由加群なので 。 を法とすると は 上既約( に根をもたない 2 次式)なので は体。 は冪零イデアル()で、剰余が体だから は のただ 1 つの極大イデアルであり、 は局所環。局所環では極大イデアルに属さない元がちょうど単元なので
(。)
. では なので 。 とおくと で、これは極大イデアル (元の個数 )をもつ局所環、。よって
結論.
別解
である。 (中国剰余定理)より
。
(i) 因子 : 法 2 で は 上既約(根 0, 1 をもたない)。 は 上自由で階数 2、元の数は 。極大イデアルは で (4 元)、 は局所環(ガロア環 )。非単元は の元で 4 個。よって 。
(ii) 因子 : 上 。 とおくと 、元の数は 9 で局所環、極大イデアルは (3 元)。よって 。
以上より 。
検算: であり、 の非単元は または に含まれる元。 で一致する。