Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1.1.Porządkiciał
19
wcześniejszejuwagiP=P/.JeślipjqQdwomaróżnymiliczbami
pierwszymi,topQ2/=qQ2,bopq/∈Q2.Topokazuje,żeliczbypierwsze
wyznaczająnieskończeniewieleklaskwadratów,zatemgrupaQ/Q2jest
nieskończona.
Przykład1.1.8.CiałoliczbrzeczywistychRjestuporządkowane,zbiór
P=R2jestporządkiemciałaRoraz|R/R2|=|R/P|=2.Podobnie
jakpoprzednio,pokazaćmożna,żejesttojedynyporządekciałaR.
Przykład1.1.9.Jeślidbędziebezkwadratowąliczbąnaturalną,tozbiór
P=Q(d)R2jestporządkiemciałaQ(d).Niejesttojedynyporządek
tegociała,gdyżzbiórP/={a+bdQ(d):abdP}jestrównież
porządkiem.Tedwaporządkiróżne,gdyżdP,natomiastd/∈P/.
Zachęcamyczytelnikadopokazania,żegrupaklaskwadratówciałaQ(d)
jestnieskończona.
Przypomnijmy,żepierwiastkiemkwadratowymelementuaciałaK(ozna-
czeniea)nazywamytakielementxnależącydoKlubjegorozszerzeniaL,
żex2=a.Pierwiastekkwadratowynaogółniejestwyznaczonyjednoznacz-
nie.JeślijednakLjestciałemuporządkowanym,towaruneka>0określa
pierwiastekjednoznacznie.Powyższyprzykładpokazuje,żedlapewnychele-
mentówakażdezrozwiązańrównaniax2=ajprzyodpowiednimwyborze
porządkuwrozszerzeniuciałaKjmożebyćpierwiastkiemkwadratowym
wcieleuporządkowanym.
Przykład1.1.10.JeśliσjestzanurzeniemciałaFwciałouporządkowa-
ne(KjP),toσ11(P)jestporządkiemciałaF.Wszczególności,jeżeliσ
jestautomorfizmemciałauporządkowanego(KjP),toσ(P)jestrównież
porządkiemciałaK.Zauważmy,żeporządekP/wpoprzednimprzykładzie
mapostaćσ(P),gdziePjestporządkiemciałaQ(d)indukowanymprzez
porządekciałaR,natomiastσnietożsamościowymautomorfizmemciała
Q(d).
Przykład1.1.11.CiałoliczbzespolonychCniejestformalnierzeczywiste,
bo1=ź2.ZatemciałoCniemożebyćciałemuporządkowanym.Ponieważ
każdaliczbazespolonamazespolonypierwiastekkwadratowy,więcC=
C2,astąd|C/C2|=1.
Przykład1.1.12.Ciałoskończoneniemożebyćuporządkowane,gdyżma
charakterystykęróżnąod0.