23/02/05 11:02:22.92 4hBwkKL1.net
>>453
mを含むIdealとA/mのIdealは一対一に対応する。m⊊I≠A
環の極大Idealは素Idealである
準同型定理により同型と分かる
A[x]/pA[x]≅(A/p)[x]
pが素数の時, pℤはℤの極大Idealである
23/02/05 11:02:22.92 4hBwkKL1.net
>>453
mを含むIdealとA/mのIdealは一対一に対応する。m⊊I≠A
環の極大Idealは素Idealである
準同型定理により同型と分かる
A[x]/pA[x]≅(A/p)[x]
pが素数の時, pℤはℤの極大Idealである