大学数学基礎解説

文献あり

素イデアル・極大イデアルの探し方

可換環論,代数学,代数幾何学

931

ほぼ自分用メモです。

可換環の素イデアルや極大イデアルを知ることは代数幾何学ではとても大切。

極大イデアルは素イデアルである。

例えば [青雪江系1.7.4].

以下 $A$ を可換環とする。

$A$ が体の場合

考える可換環を、体らしく $k$ という文字で表す。
体 $k$ のイデアルは $(0)$ と $k$ 自身しかない。これらは自明なイデアルとよばれる。[青雪江例1.3.25]

実は、「 $k$ が体 $\Leftrightarrow$ $k$ は自明でないイデアルを持たない」が言える。[青雪江命題1.3.34]

つまり、

$Spec k = {(0)},$
$Spm k = {(0)},$

※ $A$ (ここでは $k$ )自身は素イデアルや極大イデアルとはみなさないことに注意する。

$A$ が単項イデアル整域 (PID) の場合

まず、

青雪江 1.11.19

単項イデアル整域 (PID) $⟹$ 一意分解整域 (UFD)

であることを思い出す。

さらに、

青雪江 1.11.20

$A$ が単項イデアル整域なら (0) でない任意の素イデアルは極大イデアルである。

青雪江 1.11.6(a)

$A$ を整域とする。 $A ∋ a \neq 0$ とする。
(a) $a$ で生成されるイデアル $(a)$ が素イデアルのとき、 $(a)$ を素元という。
(b) $a$ が単元でなく、 $b, c \in A$ で $a = b c$ なら $b$ または $c$ が $A$ の単元になるとき、 $a$ を既約元という。既約でない元は可約であるという。

青雪江 1.11.9

$A$ が整域なら、 $A$ の素元は既約元である。

青雪江 1.11.13

$A$ が一意分解整域なら、既約元は素元である。

以上より

$A$ が単項イデアル整域なら、
$Spec A = {(0)} \cup {(p) ∣ p は A の素元 (=既約元)}$

A = Z

の場合

$Z$ は PID である。
$Z$ の素元はなにか？ → ${\pm p \in Z ∣ p \in N は素数}$ である。 (素元の定義と素数の定義を見ればわかる。)
したがって、
$Spec Z = {(0)} \cup {(p) ∣ p \in N は素数},$
$Spm Z = {(p) ∣ p \in N は素数},$
(↑ なぜならば、極大⇒素、 (0)でない素⇒極大、 (0) は極大でない (たとえば $(0) \subset (2)$ )　なので。)

である。( $(p)$ と $(- p)$ は同じであることに注意する。)

---- 以下書きかけ ----

多項式環の場合

体上の多項式環の場合

PID 上の多項式環の場合

その他の場合

参考文献

[1]

雪江明彦, 代数学2 環と体とガロア理論

投稿日：2022年5月26日

この記事を高評価した人

高評価したユーザはいません

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

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

にしもん

2218

他の人のコメント

コメントはありません。

読み込み中

にしもん

素イデアル・極大イデアルの探し方

$A$ が体の場合
$A$ が単項イデアル整域 (PID) の場合
多項式環の場合
その他の場合
参考文献

素イデアル・極大イデアルの探し方

A が体の場合

A が単項イデアル整域 (PID) の場合

多項式環の場合

体上の多項式環の場合

PID 上の多項式環の場合

その他の場合

参考文献

この記事を高評価した人

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

投稿者

コメント

他の人のコメント

$A$ が体の場合

$A$ が単項イデアル整域 (PID) の場合