整数Zでは、一意的に素数の積に分解されます。拡大した、Z(√ー5)において、
ω=√ー5 とおくと、例えば、 6=2×3=(1+ω)(1−ω) と、2通りの分解になる。
諦めないで、2=PP’、3=QQ’と素イデアルで分解すると、
(1+ω)=PQ、(1−ω)=P’Q’
となり、 6=PQP’Q’ と一意的に分解される。アメージング!
P=(2,1+ω)、P’=(2,1−ω)、Q=(3,1+ω)、Q’=(3,1−ω)
PP’=(2,1+ω)(2,1−ω)=(4,2ー2ω、2+2ω、6)
=(2)(2、1−ω、1+ω、3)=(2)(1)=(2)
他も同様
他の2次体で、Zで素数の、素イデアル分解の例をご教授ください。
以下、工事中!