Podciała, podciała generowane przez zbiór, rozszerzenia ciał.

Wielkość: px

Rozpocząć pokaz od strony:

Download "Podciała, podciała generowane przez zbiór, rozszerzenia ciał."

Karol Marszałek
6 lat temu
Przeglądów:

1 Podciała, podciała generowane przez zbiór, rozszerzenia ciał.

2 Definicja Niech F będzie ciałem. Podzbiór L H zbioru F nazywamy podciałem ciała F (piszemy L ă F ), gdy pl, `æ LˆL, æ LˆL q jest ciałem. Jeżeli L ă F to mówimy, że F jest rozszerzeniem ciała L.

3 Przykłady: 1. Q ă R, 2. R ă C.

4 Twierdzenie Niech F będzie ciałem i niech H L Ă F. Następujące warunki są równoważne: 1. L ă F, 2. L ma następujące własności: 1 P y P Lpx y P y P Lpx y 1 P Lq.

5 Twierdzenie Niech R tl i : i P Iu będzie rodziną podciał ciała F ; 1. Ş ipi L i jest podciałem ciała F, 2. Ť ipi L i jest podciałem ciała F, o ile R jest łańcuchem.

6 Definicja Niech F będzie ciałem oraz A Ă F pewnym zbiorem. Niech ponadto L ă F. Najmniejsze w sensie inkluzji podciało ciała F zawierające zbiór L Y A (tj. przekrój wszystkich podciał ciała F zawierających L Y A) nazywamy podciałem generowanym przez A nad L (rozszerzeniem ciała L o zbiór A, rozszerzeniem ciała L o elementy zbioru A) i oznaczamy LpAq. Jeżeli A ta 1,..., a n u, to ciało Lpta 1,..., a n uq nazywamy podciałem skończenie generowanym przez A nad L (rozszerzeniem skończenie generowanym ciała L o zbiór A) i oznaczamy Lpa 1,..., a n q. Jeżeli A tau to skończenie generowane rozszerzenie Lpaq ciała L o element a nazywamy rozszerzeniem prostym.

7 Twierdzenie (o postaci elementów rozszerzenia ciała o zbiór) Niech F będzie ciałem oraz A Ă F pewnym zbiorem. Niech L ă F. Wówczas LpAq t fpa 1,..., a n q gpa 1,..., a n q : f, g P Lrx 1,..., x n s, gpa 1,..., a n q 0, a 1,..., a

8 Wniosek 1. Niech F będzie ciałem oraz niech a P F. Niech L ă F. Wówczas Lpaq t x 0 ` x 1 a `... ` x n a n y 0 ` y 1 a `... ` y n a n : y 0`y 1 a`...`y n a n 0, n P NYt0u 2. Niech F będzie ciałem oraz niech ta 1,..., a n u Ă F. Niech K ă F. Wówczas Lpa 1,..., a n q t fpa 1,..., a n q gpa 1,..., a n q : f, g P Lrx 1,..., x n s, gpa 1,..., a n q (to znaczy elementy rozszerzenia ciała o zbiór skończony są wartościami funkcji wymiernych o współczynnikach z danego ciała).

9 Przykłady: 3. Niech F C,? 2 P C, L Q ă C. Wówczas: Qp? 2q t fp? 2q gp? 2q : f, g P Qrxs, gp? 2q 0u.

10 Definicja Niech F będzie ciałem oraz niech L 1 ă F, L 2 ă F,..., L n ă F. Podciało generowane przez L 2 Y... Y L n nad L 1 nazywamy kompozytem (lub iloczynem) ciał L 1, L 2,..., L n i oznaczamy L 1 L 2... L n.

11 Uwaga 1. Niech F będzie ciałem oraz niech L 1 ă F, L 2 ă F. Niech ta 1,..., a n u Ă F oraz tb 1,..., b m u Ă F. Wówczas: L 1 pa 1,..., a n q L 2 pb 1,..., b m q L 1 L 2 pa 1,..., a n, b 1,..., b m q. 2. Niech F będzie ciałem oraz niech L ă F. Niech ta 1,..., a n u Ă F oraz tb 1,..., b m u Ă F. Wówczas Lpa 1,..., a n q Lpb 1,..., b m q Lpa 1,..., a n, b 1,..., b m q. 3. Niech F będzie ciałem oraz niech L 1 ă F, L 2 ă F. Niech K 1 ă L 1 oraz niech K 2 ă L 2. Wówczas K 1 K 2 ă L 1 L 2.

12 Uwaga Niech F, L będą ciałami, niech φ : F Ñ L będzie homomorfizmem. Wówczas φ jest różnowartościowy.

13 Dowód. Ponieważ φ jest homomorfizmem, więc ker φ Ÿ F. Ponieważ jednak F jest ciałem, więc ker φ P tt0u, F u. Gdyby ker φ F, to w szczególności φp1q 0, a więc φ nie byłby homomorfizmem. Zatem ker φ t0u.

14 Definicja Niech F będzie ciałem, niech F ă K i F ă L będą jego rozszerzeniami. Niech ponadto φ : K Ñ L będzie homomorfizmem. Jeśli φæ F id F, to φ nazywamy F -zanurzeniem.

15 Twierdzenie Niech F, L będą ciałami, niech F 1 ă F, L 1 ă L, niech φ : F Ñ L będzie homomorfizmem. Wówczas: 1. φpf 1 q ă L, 2. φ 1 pl 1 q ă F.

16 Charakterystyka pierścienia i ciała, ciała proste i klasyfikacja ciał prostych.

17 Definicja Niech R będzie pierścieniem. Liczbę: # 0, gdy rp1q 8 w grupie addytywnej pr, `q, charr n, gdy rp1q n w grupie addytywnej pr, `q, nazywamy charakterystyką pierścienia R.

18 Przykłady: 1. charz 0, charq 0; 2. charz 4 4, charz 7 7; 3. charrrxs 0; 4. charz 5 rxs 5.

19 Uwaga Niech R będzie pierścieniem. Odwzorowanie φ : Z Ñ R dane wzorem φpmq m 1 jest homomorfizmem pierścieni. Jeśli charr 0, to ker φ t0u. Jeśli charr n, to ker φ pnq.

20 Dowód. Bez trudu pokazujemy, że φ jest homomorfizmem. Załóżmy, że charr 0. Pokażemy, że ker φ t0u. Ustalmy m P ker φ. Wówczas m P ker φ ô m 1 0 Ø m 0. Załóżmy, że charr n. Pokażemy, że ker φ pnq. Ustalmy m P ker φ. Wówczas m P ker φ ô m 1 0 Ø n m ô m P pnq.

21 Wniosek Niech R będzie pierścieniem. 1. Jeśli charr 0, to R zawiera podpierścień izomorficzny z Z. 2. Jeśli charr n, to R zawiera podpierścień izomorficzny z Z n.

22 Dowód. 1. Zdefiniujmy odwzorowanie φ : Z Ñ R wzorem φpmq m 1. Oznaczmy R 1 im φ. Wobec twierdzenia o izomorfizmie Z{ ker φ R 1. Ponieważ ker φ t0u, więc R Z{t0u Z. 2. Analogicznie.

23 Wniosek Niech R będzie pierścieniem. 1. Jeśli R jest pierścieniem całkowitym, to charr 0 lub charr p dla pewnej liczby pierwszej p. 2. Jeśli R jest ciałem, to charr 0 lub charr p dla pewnej liczby pierwszej p.

24 Dowód. 1. Przypuśćmy, że charr pq, dla pewnych liczb pierwszych p, q. Wówczas R zawiera pierścień izomorficzny z Z pq, a więc p, q P DpZ pq q Ă DpRq, co daje sprzeczność. 2. Oczywiste.

25 Przykłady: 5. charr 0; 6. charz p p, gdzie p jest dowolną liczbą pierwszą.

26 Uwaga Niech R będzie pierścieniem i niech R 1 ă R. Wówczas charr 1 charr.

27 Uwaga Niech R będzie pierścieniem i niech charr p. Wówczas b P Rpa ` bq p a p ` b p ; b P Rpa ` bq pn a pn ` b pn.

28 Dowód. 1. Ponieważ oraz więc 2. Indukcja. pa ` bq p pÿ k 0 ˆp a k b p k k P t1,..., p 1up k P t1,..., p 1u a k b p k 0. k

29 Definicja i uwaga Niech F będzie ciałem i niech charf p. Wówczas odwzorowanie φ : F Ñ F dane wzorem φpaq a p jest homomorfizmem ciał. Obraz im φ oznaczamy przez F p i nazywamy p-potęgą ciała F.

30 Definicja Ciało F nazywamy ciałem prostym gdy nie zawiera podciał właściwych.

31 Twierdzenie Niech F będzie ciałem. Wówczas F zawiera podciało proste.

32 Dowód. Zdefiniujmy K č tl : L ă F u. Wówczas K jest podciałem ciała F. Pokażemy, że K jest ciałem prostym. Ustalmy M ă K. Wówczas M ă F, więc K Ă M i tym samym K M.

33 Twierdzenie (o klasyfikacji ciał prostych) Niech F będzie ciałem prostym. Wówczas 1. Jeśli charf 0, to F Q. 2. Jeśli charf n, to F Z p.

34 Dowód: 1. Odwzorowanie φ : Z Ñ F dane wzorem φpmq m 1 jest różnowartościowym homomorfizmem. Wobec własności uniwersalnej ciała ułamków, istnieje dokładnie jeden homomorfizm różnowartościowy ψ : pzq Ñ F taki, że ψ λ φ, gdzie λ : Z Ñ pzq jest homomorfizmem kanonicznym. Ponadto im ψ ă F i skoro F jest proste, więc im ψ F. Wobec tego Q pzq F.

35 2. Odwzorowanie φ : Z Ñ F dane wzorem φpmq m 1 jest homomorfizmem takim, że ker φ ppq. Wobec twierdzenia o homomorfizmie istnieje dokładnie jeden homomorfizm ψ : Z{ppq Ñ F taki, że ψ κ ψ, gdzie κ : Z Ñ Z{ppq jest epimorfizmem kanonicznym. Ponadto Z{ppq jest ciałem, więc ψ jest różnowartościowy. Ponadto im ψ ă F i skoro F jest ciałem prostym, to im ψ F. Wobec tego Z p F.

36 Wniosek Niech F będzie ciałem. Wówczas 1. Jeśli charf 0, to F zawiera podciało izomorficzne z Q. 2. Jeśli charf p, to F zawiera podciało izomorficzne z Z p.

37 Wniosek Niech F będzie ciałem o p elementach, gdzie p jest liczbą pierwszą. Wówczas F Z p.

38 Dowód. Charakterystyka ciała F jest różna od 0, a zatem równa pewnej liczbie pierwszej q. Tym samym F zawiera podciało izomorficzne z Z q. W szczególności grupa addytywna pf, `q ciała F zawiera jako podgrupę grupę izomorficzną z grupą addytywną pz q, `q ciała Z q. Stąd, wobec twierdzenia Lagrange a, q p i w konsekwencji q p.

39 Definicja Niech F będzie ciałem. Pierścieniem prostym zawartym w ciele F nazywamy Z, jeżeli charf 0, Z p, jeżeli charf p, dla pewnej liczby pierwszej p.

40 Uwaga Niech F będzie ciałem prostym, niech F ă K i F ă L będą jego rozszerzeniami. Niech ponadto φ : K Ñ L będzie homomorfizmem. Wówczas φ jest F -zanurzeniem.

41 Dowód. Z definicji φp1q 1 i skoro φ jest homomorfizmem, to φ 1looooomooooon `... ` 1 1looooomooooon `... ` 1. m Jeśli charf p, to dowód jest zakończony. Jeśli charf 0, to, dalej z definicji homomorfizmu, mamy: 1looooomooooon `... ` 1 φ 1looooomooooon `... ` 1 1looooomooooon `... ` 1 φ m 1 looooomooooon `... ` 1 m m. looooomooooon 1 `... ` 1 n φ 1looooomooooon `... ` 1 n n m

Podobne dokumenty

Pojęcie pierścienia.

Pojęcie pierścienia. Definicja: Niech R będzie zbiorem niepustym. 1. Algebrę pr, `, q nazywamy pierścieniem, gdy pr, `q jest grupą abelową, działanie jest łaczne oraz rozdzielne względem działania `, to