問題は
ここへ
解答(1)

が

上整的とすると,

のモニックな最小多項式

が存在して,

が成り立つ.

とする.
このとき,

は

個の元

によって生成される.
実際,

とすると,
任意の整数

に対して,

と表せて,
この右辺の

の最高次数は

である.
したがって,この関係式を繰り返し用いることにより,

を

の一次結合として表すことができる.
したがって,

は有限生成な

-加群である.
逆に,

が有限生成な

-加群とし,その生成元を

とする.
ここで

である.

とする.このとき

より,
ある

の元の組

が存在して

が成り立つ.
ここで

とすれば

で,

,
さらに

はモニック多項式である.したがって

は

上整的である.
(2)

に対して

を示せば良い.

のモニックな最小多項式をそれぞれ

とし,

,

とする.このとき,

は

によって張られる有限生成な

-加群であり,

は

によって張られる有限生成な

-加群である.
したがって,

は

(

)なる元全体によって
張られる有限生成な

-加群である.
以上より,

は

の

-部分加群であるので,

は有限生成で,(1)より

は

上整的.
同様に,

は

の

-部分加群であるので,

は有限生成で,(1)より

は

上整的.
よって

なので

は環である.
0 件のコメント:
コメントを投稿