Next:
About this document ...
代数学 IB No.12要約
《素元分解環》(2)
定義 12.1
環
と
とにたいして、
のとき、
は
の倍元であるといい、
で書き表す。
を主語として、
は
の約元であるともいう。
ある
があって、
をみたすとき、
と
とは 同伴であるという。
命題 12.1
整域
の元
にたいして、
.
と
が同伴
.
定義 12.2
整域
が与えられているとする。
が
の
最大公約元
(
) であるとは
が成り立つときに言う。
補題 12.1
単項イデアル環
のイデアルの増大列
は必ずどこかで止まる。すなわちある
があって、
がなりたつ。
上の補題はネータ環の一般論の特殊な場合である。 ここで、
が
ネータ環
であるとは、
の任意のイデアルが有限個の元で生成される 場合に言う。ネータ環のイデアルの増大列も、必ずどこかで止まることが証明できる。 証明はほとんど同じなので進んで勉強したい人はやってみられると良い。 (余談ながらネータ環は環論において大変重要な対象である。 体上有限生成な環は全てネータ環である。(ヒルベルトの基定理))
命題 12.2
が素元分解環ならば、
の各元は
は $R$ の素元
と書くことができるが、この書き方は同伴を除いて一意的である。 すなわち、
は
の素元
ならば、
であって、なおかつある
があって 各
にたいして
と
はそれぞれ同伴になる。
問題 12.1
整域
の元
の最大公約元が2つあったとすれば、 それらは互いに同伴であることを証明せよ。
ED: Euclidean domain
PID:
p
rincipal
i
deal
d
omain
UFD:
u
nique
f
actorization
d
omain 直訳は「一意分解環」。
Next:
About this document ...
2016-12-19