I=(x^2-3, x+3) is Ideal of Z[x]
Prove That Z[x]/I is congruent to Z6
pf ] We need to show that (x, 6) = I
1st 6 = (x^2-3)-(x+3)(x-3)
x = (x+3)-3
so (x, 6) ⊂ I is hold
2nd x^2-3 = (x)x-3
x+3 = (x)+3
so I ⊂ (x, 6) is hold
So our Proposition is Hold.
By 3rd Isomorphic theorem for Ring theory,
Z[x]/I congruent Z[x]/(x, 6)
congruent Z6[x]/(x)
congruent Z6 ■
이렇게 풀었는데 괜찮을까요??
풀이과정에 확신이 없습니다.
x=(x+3)-3으로부터 x in I가 어떻게 나옴?
I 의 원소에 정수가 포함 안되나요 ㅠㅠ 좌절..
3은 당연히 I의 원소라 생각했거든요..
힌트: x를 x-3으로 보내는 것으로 "생성되는" Z[x]의 endomorphism은 Z[x]의 automorphism.
좀 더 자세히는 evaluation homomorphism ε_(x-3): Z[x] ->Z[x]를 생각.
와 ㅠㅠ 감사합니다!!!해결했어요!!!