単元一覧 › 大学院数学 可換環論・ホモロジー代数

可換環論・ホモロジー代数の問題

難易度 2大学院の講義の演習問題レベル大学院数学 可換環論・ホモロジー代数

環は単位元 をもつ可換環とする。剰余環

は有限環である。 の単数群(乗法について可逆な元全体のなす群) の位数を求めよ。

この問題で使うもの

この問題を解けるようになるまで(28 技能)

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

に注目し、中国剰余定理で を 2 つの環の直積に分けましょう。単数群は直積の単数群の積になります。

ヒント 2

上で が既約か、 上でどう因数分解されるかを調べます。有限局所環では、単元の個数は「全体の元の個数 − 極大イデアルの元の個数」です。

ヒント 3

は位数 で極大イデアル をもつ局所環、 は位数 の局所環です。

答えと解説

答えを見る
結果を記録する(このブラウザにだけ保存されます):
解説を読む

中国剰余定理で分解する. で なので、

単数群は なので、。

. は 上 を基底とする自由加群なので 。 を法とすると は 上既約( に根をもたない 2 次式)なので は体。 は冪零イデアル()で、剰余が体だから は のただ 1 つの極大イデアルであり、 は局所環。局所環では極大イデアルに属さない元がちょうど単元なので

(。)

. では なので 。 とおくと で、これは極大イデアル (元の個数 )をもつ局所環、。よって

結論.

別解

である。 (中国剰余定理)より
。

(i) 因子 : 法 2 で は 上既約(根 0, 1 をもたない)。 は 上自由で階数 2、元の数は 。極大イデアルは で (4 元)、 は局所環(ガロア環 )。非単元は の元で 4 個。よって 。

(ii) 因子 : 上 。 とおくと 、元の数は 9 で局所環、極大イデアルは (3 元)。よって 。

以上より 。

検算: であり、 の非単元は または に含まれる元。 で一致する。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題