Bunlar vektör uzayı olarak izomorftur (üreteci üretece taşırsanız) ancak cisim olarak izomorf olmazlar. İzomorf olduğunu kabul edip çelişkiye düşebilirsiniz. Katsayılar rasyonel gelmez.
Cevabiniz icin tesekkurler. Asagidaki iki cisim genislemelerinin yapilarinin boyle oldugunu biliyorum
Q(√2)={a+b√2|a,b∈Q}
Q(i)={a+bi|a,b∈Q}
Peki asagidakinin hangisi dogru?
Q(√2i)={a+b√2i|a,b∈Q}
Q(√2i)={a+b√2+ci|a,b,c∈Q}
Ustte yazdığınız dogru. Acil değilse birkaç gün sonra konuyu açıklasam olur mu?
Q(i√2); rasyonel sayılar cismine i√2 eklenmesiyle elde edilen cisim. Bu elemanı kök kabul eden rasyonel katsayılı indirgenmez monik polinom p(x)=x2+2.(Eisenstein kriterinden indirgenmezliğini görebilirsin). Q[x]/<p(x)>={f(x)+<p(x)>∣f(x)∈Q[x]}={ˉa+ˉbˉx+<p(x)>∣a,b∈Q} şeklindedir.(Bölüm algoritmasını uyguladığımızda; f(x)=p(x)q(x)+r(x) ve r(x)=0 veya derr(x)<derp(x)=2).
Böylece Q(i√2)={a+bi√2∣a,b∈Q} şeklindedir.