23/03/20 11:08:36.17 VOwK7OJu.net
>>508,71,521
A上のn変数多項式環A[x]、
A[x]/pA[x]≅(A/p)[x]は証明済み
pが素Idealなので(A/p)[x]は整域
pA[x]は素Idealである。
23/03/20 11:08:36.17 VOwK7OJu.net
>>508,71,521
A上のn変数多項式環A[x]、
A[x]/pA[x]≅(A/p)[x]は証明済み
pが素Idealなので(A/p)[x]は整域
pA[x]は素Idealである。