を満たしたとする。このとき、
での多項式
用語と注意。
がこれに属する。
等々が属する。この集合も通常の和、差、積について環をなし、
(★)
ということを講義で説明したので、その部分は今回は証明無しに使ってもよい。
(時間に余裕があれば証明も書くともっとよいが...)ただし、どこで使ったかが
わかるような答案にすること。
解答
(1)
.
(2)
(3)
(4)
![]()
![]()
から任意の元
をとってくると、それは
という形をしている。 したがって、
(5)
(6)
他方で、
ゆえに、
もしくは、
とかいて、
(7) (6)の前半に述べたように、
(記号は (6) と同じものを使った。) だから、