Definicja. Niech pg, q będzie grupą. Wówczas ciąg podgrup grupy G zdefiniowany indukcyjnie wzorami G p0q G,
|
|
- Marek Gajda
- 6 lat temu
- Przeglądów:
Transkrypt
1 Grupy rozwiązalne.
2 Definicja Niech pg, q będzie grupą. Wówczas ciąg podgrup grupy G zdefiniowany indukcyjnie wzorami G p0q G, G piq rg pi 1q, G pi 1q s, dla i P N nazywamy górnym ciągiem centralnym grupy G, a jego elementy hipercentrałami;
3 Uwaga Niech pg, q będzie grupą, pg piq q ipn jej górnym ciągiem centralnym. Wówczas 1. G pi`1q Ă G piq, G piq Ÿ G, dla i P N; 2. G piq {G pi`1q są abelowe dla i P N.
4 Dowód: (1) Pokażemy, że jeśli M 1 Ÿ G oraz M 2 Ÿ G, to rm 1, M 2 s Ÿ G i rm 1, M 2 s Ă M 1 X M 2. Ustalmy w tym celu M 1 Ÿ G i M 2 Ÿ G. Pierwsza teza wynika z udowodnionego wcześniej twierdzenia. Dla dowodu drugiej tezy ustalmy ra 1, b 1 s k 1... ra n, b n s kn P rm 1, M 2 s, gdzie a i P M 1, b i P M 2, dla i P t1,..., nu. Wówczas: ra 1, b 1 s k 1... ra n, b n s kn pa 1 b a 1 1 k looomooon 1 1 lomon b1 q 1... pa n b a 1 1 k looomooon n n lomon bn q n P M 2. PM 2 PM 2 Podobnie ra 1, b 1 s k 1... ra n, b n s kn P M 1. PM 2 PM 2
5 Pokażemy, że G piq Ÿ G, dla i P N. Dla i 0 jest to oczywiste, załóżmy więc, że G piq Ÿ G. Wobec tego G pi`1q rg piq, G piq s Ÿ G, co dowodzi tezy na mocy indukcji względem i P N.
6 Pokażemy, że G pi`1q Ă G piq, dla i P N. Ustalmy i P N. Ponieważ G piq Ÿ G, mamy G pi`1q rg piq, G piq s Ă G piq X G piq G piq.
7 (2) Pokażemy, że G piq {G pi`1q są abelowe, dla i P N. Ustalmy i P N. Ponieważ G pi`1q Ÿ G, więc G pi`1q Ÿ G piq. Ponadto rg piq, G piq s ă G pi`1q, więc wobec udowodnionego wcześniej wniosku G piq {G pi`1q jest abelowa.
8 Definicja Niech pg, q będzie grupą. Wówczas jeżeli pg piq q ipn jest jej górnym ciągiem centralnym oraz G piq t1u dla pewnego i P N, to G nazywamy grupą rozwiązalną, a najmniejszą liczbę i P N, dla której G piq t1u stopniem rozwiązalności.
9 Przykłady: 1. Rozważmy grupę Dp3q. Ciąg Dp3q ą ti, O 120, O 240 u ą tiu jest górnym ciągiem centralnym i tym samym Dp3q jest rozwiązalna.
10 Definicja Niech pg, q będzie grupą. Wówczas skończony ciąg podgrup grupy G, pg G 0, G 1,..., G n t1uq, taki, że G i`1 Ÿ G i, dla i P t0,..., n 1u, nazywamy ciągiem podnormalnym (lub subnormalnym) grupy G. Liczbę n nazywamy długością ciągu, a grupy faktorami ciągu. G i {G i`1, dla i P t0,..., n 1u
11 Twierdzenie Niech pg, q będzie grupą skończoną. Następujące warunki są równoważne: 1. G jest rozwiązalna, 2. istnieje ciąg pg G 0, G 1,..., G n t1uq podnormalny o faktorach abelowych, 3. istnieje ciąg pg G 0, G 1,..., G m t1uq podnormalny o faktorach cyklicznych.
12 Dowód: p1q ñ p2q: oczywiste wobec wcześniejszych uwag i przykładów.
13 p2q ñ p3q: Pokażemy, że skończona grupa abelowa ma ciąg podnormalny o faktorach cyklicznych. Jest to oczywiste, gdy G 1, zaś w przypadku G m załóżmy, że dla grup rzędu G ă m twierdzenie jest prawdziwe. Pokażemy, że w G istnieje ciąg podnormalny o faktorach cyklicznych. Ustalmy a P Gzt1u. Niech H xay. Wówczas H jest cykliczna oraz G{H ă m i oczywiście G{H jest abelowa. Wobec założenia indukcyjnego pg{h G 1 0, G 1 1,..., G 1 n t1uq jest ciągiem podnormalnym o faktorach cyklicznych.
14 Niech G i κ 1 pg 1 iq, dla i P t1,..., ku oraz G k`1 t1u, gdzie κ : G Ñ G{H jest epimorfizmem kanonicznym. Wówczas G i 1 {G i G 1 i 1{G 1 i, dla i P t1,..., ku oraz G k {G k`1 H. Zatem pg G 0, G 1,..., G k`1 t1uq jest ciągiem podnormalnym o faktorach cyklicznych i na mocy zasady indukcji matematycznej teza została udowodniona.
15 Niech pg G 0, G 1,..., G k t1uq będzie ustalonym ciągiem podnormalnym o faktorach abelowych. Grupy G i 1 {G i, i P t1,..., ku, są skończonymi grupami abelowymi. Niech G i 1 {G i G 1 i,0, G 1 i,1,..., G 1 i,k i t1u, dla i P t1,..., ku, będą ciągami podnormalnymi o faktorach cyklicznych. Niech G i,j κ 1 i pg 1 i,jq, dla j P t0,..., k i u, i P t1,..., ku, gdzie κ i : G i 1 Ñ G i 1 {G i są epimorfizmami kanonicznymi.
16 Zatem: G i,0 G i 1, i P t1,..., ku, G i,ki G i, i P t1,..., ku, G i,j Ÿ G i,j 1, dla j P t0,..., k i u, i P t1,..., ku, G i,j 1 {G i,j G 1 i,j 1 {G1 i,j, dla j P t0,..., k iu, i P t1,..., ku. Zatem pg G 1,0, G 1,1,..., G 1,k1 G 2 G 2,0, G 2,1,..., G 2,k2,..., G k,0,..., G k t1uq jest ciągiem podnormalnym o faktorach cyklicznych.
17 p3q ñ p1q: Niech pg G 0, G 1,..., G k t1uq będzie ciągiem podnormalnym o faktorach cyklicznych. Pokażemy, że G piq Ă G i, dla i P t0,..., ku. Jest to oczywiste dla i 0, załóżmy więc, że dla ustalonego i ą 0 zachodzi G piq Ă G i. Pokażemy, że G pi`1q Ă G i`1. Istotnie: G pi`1q rg piq, G piq s Ă rg i, G i s. Ponieważ G i`1 Ÿ G i oraz G i {G i`1 jest cykliczna, a więc abelowa, więc wobec odpowiedniego wniosku: rg i, G i s Ă G i`1.
18 Definicja Niech pg, q będzie grupą. Grupę G nazywamy p-grupą, jeżeli G p k dla pewnej liczby pierwszej p oraz k P N.
19 Twierdzenie Niech pg, q będzie p-grupą. Wówczas G jest rozwiązalna.
20 Twierdzenie Niech pg, q będzie grupą, niech G pq, gdzie p i q są liczbami pierwszymi. Wówczas G jest grupą rozwiązalną.
21 Przykłady: 2. Rozważmy grupę Dp4q. Mamy Dp4q 8 2 3, a więc Dp4q jest rozwiązalna jako p-grupa. 3. Rozważmy grupę Sp3q. Mamy Sp3q 6 2 3, a więc Sp3q jest rozwiązalna jako grupa rzędu pq.
22 Twierdzenie (Burnside a) 1 Niech pg, q będzie grupą, niech G p a q b, gdzie p i q są liczbami pierwszymi oraz a, b P N. Wówczas G jest grupą rozwiązalną. 1 Twierdzenie pochodzi z 1911 roku, zwiemy je też p a q b -theorem.
23 Twierdzenie (Feit a-thompsona) 2 Niech pg, q będzie grupą, niech G 2k ` 1, gdzie k P N. Wówczas G jest grupą rozwiązalną. 2 Twierdzenie pochodzi z 1963 roku, jego oryginalny dowód zajmuje 254 strony: W. Feit, J. Thompson, Solvability of groups of odd order, Pacific J. of Math. 13 (1963),
24 Iliczyny (sumy) proste wewnętrzne i zewnętrzne.
25 Uwaga Niech pg, q będzie grupą, H 1, H 2 ă G. Następujące warunki są równoważne: 1. G H 1 H 2 oraz H 1 X H 2 t1u, 2. każdy element g P G ma jednoznaczne przedstawienie w postaci g h 1 h 2, gdzie h 1 P H 1 oraz h 2 P H 2.
26 Dowód. p1q ñ p2q: Załóżmy, że G H 1 H 2 oraz H 1 X H 2 t1u. Załóżmy, że dla pewnych h 1, h 1 1 P H 1 oraz h 2, h 1 2 P H 2 zachodzi h 1 h 2 h 1 1 h1 2. Wówczas ph 1 1 q 1 h 1 h 1 2 h 1 2 P H 1 X H 2 t1u, więc h 1 h 1 1 oraz h 2 h 1 2. p2q ñ p1q: Załóżmy, że każdy element g P G ma jednoznaczne przedstawienie postaci g h 1 h 2, gdzie h 1 P H 1, h 2 P H 2. Wówczas oczywiście G H 1 H 2. Załóżmy, że g P H 1 X H 2. Wówczas g g 1 1 g. Zatem g 1.
27 Oznaczenie: Gdy pg, `q zapisana jest w notacji addytywnej, piszemy H 1 ` H 2 zamiast H 1 H 2.
28 Definicja Niech pg, q będzie grupą, H 1, H 2 ă G. 1. G jest słabym iloczynem (sumą) wewnętrznym podgrup H 1 i H 2, gdy spełnia jeden (a więc wszystkie) warunki Uwagi G jest słabym iloczynem (sumą) półprostym wewnętrznym podgrup H 1 i H 2, gdy jest słabym iloczynem (sumą) wewnętrznym oraz H 1 Ÿ G lub H 2 Ÿ G. 3. G jest słabym iloczynem (sumą) prostym wewnętrznym podgrup H 1 i H 2, gdy jest słabym iloczynem (sumą) wewnętrznym oraz H 1 Ÿ G i H 2 Ÿ G.
29 Przykłady: 1. Rozważmy grupę Dpnq. Niech Obrpnq oznacza grupę obrotów, a Odbpnq dowolną dwuelementową grupę generowaną przez odbicie. Wówczas Dpnq Obrpnq Odbpnq jest słabym iloczynem półprostym wewnętrznym, ale nie jest słabym iloczynem prostym wewnętrznym. 2. Rozważny grupę abelową pa, q. Każda podgrupa grupy abelowej jest normalna, a więc A jest słabym iloczynem wewnętrznym ô A jest słabym iloczynem półprostym wewnętrznym ô A jest słabym iloczynem prostym wewnętrznym.
30 Uwaga Niech pg, q będzie grupą, H 1, H 2 ă G. Następujące warunki są równoważne: 1. odwzorowanie φ : H 1 ˆ H 2 Ñ G dane wzorem φph 1, h 2 q h 1 h 2 jest izomorfizmem; 2. G H 1 H 2, H 1 X H 2 t1u 1 P H 2 P H 2 ph 1 h 2 h 2 h 1 q; 3. G jest słabym iloczynem prostym wewnętrznym podgrup H 1 i H 2.
31 Dowód: p1q ñ p2q : Ponieważ φ jest izomorfizmem, więc jest surjekcją, a zatem G H 1 H 2. Ustalmy h 1 P H 1, h 2 P H 2. Wówczas: h 1 h 2 φph 1, h 2 q ppφph 1, h 2 qq 1 q 1 pφph 1 1, h 1 2 qq 1 ph 1 1 h 1 2 q 1 Przypuśćmy, że istnieje 1 g P H 1 X H 2. Wówczas φp1, gq g φpg, 1q, wbrew założeniu, że φ jest izomorfizmem, a więc injekcją.
32 p2q ñ p3q : Wystarczy udowodnić, że H 1 Ÿ G i H 2 Ÿ G. Ustalmy g P G i niech g h 1 h 2 dla h 1 P H 1, h 2 P H 2. Ustalmy h P H 1. Wówczas: ghg 1 h 1 h 2 hph 1 h q 1 2 h 1 h hh h 1 1 h 1 h h hh 1 1 h hh P H 1, a zatem gh 1 g 1 Ă H 1. Podobnie pokazujemy, że H 2 Ÿ G.
33 p3q ñ p1q : Ponieważ G jest słabym iloczynem prostym wewnętrznym, a więc w szczególności słabym iloczynem wewnętrznym, więc odwzorowanie φ jest dobrze określoną bijekcją. Ustalmy ph 1, h 2 q, ph 1 1, h1 2 q P H 1 ˆ H 2. Wówczas: φpph 1, h 2 q ph 1 1, h 1 2qq φph 1 h 1 1, h 2 h 1 2q h 1 h 1 1h 2 h 1 2 h 1 h 2 h 1 1h 1 2 φph 1, h 2 qφph 1 1, h 1 2q, a więc φ jest homomorfizmem.
34 Definicja Niech H 1, H 2 będą grupami. Grupę H 1 ˆ H 2 nazywamy iloczynem (sumą) prostym zewnętrznym grup H 1 i H 2.
35 Oznaczenie: Gdy H 1 i H 2 zapisane są w notacji addytywnej, piszemy H 1 H 2 zamiast H 1 ˆ H 2. Ze względu na izomorfizm z Uwagi 0.3, będziemy na ogół mówić po prostu o iloczynach (sumach) prostych, bez rozróżniania między słabymi iloczynami (sumami) prostymi wewnętrznymi a iloczynami (sumami) prostymi zewnętrznymi. Opisane konstrukcje w naturalny sposób przenoszą się na dowolną skończoną liczbę grup. W ten sposób mówimy o iloczynach (sumach) prostych grup H 1,..., H n, które oznaczać będziemy przez H 1 ˆ... ˆ H n, lub H 1... H n w notacji addytywnej. Konstrukcje te przenoszą się także na nieskończoną liczbę grup, nie będziemy się jednak nimi zajmować
36 Torsyjne grupy abelowe; grupy abelowe skończone.
37 Definicja Grupę nazywamy torsyjną, jeżeli każdy element ma rząd skończony. Jeżeli rzędy elementów są wspólnie ograniczone, to ograniczenie to nazywamy wykładnikiem grupy. Grupę nazywamy beztorsyjną, gdy każdy element ma rząd nieskończony.
38 Definicja Niech pa, `q będzie grupą abelową. Zbiór wszystkich elementów grupy A o skończonym rzędzie nazywamy częścią torsyjną grupy i oznaczamy T paq.
39 Uwaga Niech pa, `q będzie grupą abelową. Wówczas: 1. T paq ă A, 2. T pt paqq T paq, 3. jeżeli B ă A, to T pbq B X T paq, 4. jeżeli A B, to T paq T pbq, 5. T pa Bq T paq T pbq.
40 Definicja Niech pa, `q będzie grupą abelową, niech p będzie liczbą pierwszą. Zbiór wszystkich elementów grupy A, których rząd jest potęgą liczby p nazywamy p-komponentą (lub p-składową) grupy A i oznaczamy T p paq.
41 Uwaga Niech pa, `q będzie grupą abelową. Wówczas: 1. T p paq ă T paq ă A, 2. T p pt p paqq T p paq T p pt paqq, 3. jeżeli B ă A, to T p pbq B X T p paq, 4. jeżeli A B, to T p paq T p pbq, 5. T p pa Bq T p paq T p pbq, 6. jeżeli A jest skończenie generowaną torsyjną grupą abelową, to T p paq t0u dla prawie wszystkich liczb pierwszych p, 7. T p pa{t p paqq t0u
42 Twierdzenie Niech pa, `q będzie grupą abelową torsyjną, niech p 1,..., p n będą wszystkimi liczbami pierwszymi, dla których T pi paq t0u, i P t1,..., nu. Wówczas: 1. A jest sumą prostą wszystkich swoich p-komponent: A T p1 paq... T pn paq, 2. jeżeli A jest sumą prostą pewnych p-grup Bppq, p P tq 1,..., q m u, A Bpq 1 q... Bpq m q, to tp 1,..., p n u tq 1,..., q m u oraz: T pi paq Bpp i q, dla i P t1,..., nu.
43 Dowód: 1. Pokażemy, że A T p1 `... ` T pn paq. Ustalmy a P A. Niech rpaq n p s ps k k, dla pewnych liczb pierwszych p 1,..., p k, k ě n. Niech n i n, i P t1,..., ku. p s i i Wówczas NW Dpn 1,..., n k q 1, więc istnieją x 1,..., x k P Z takie, że Zatem: n 1 x 1 `... ` n k x k 1. n 1 x 1 a `... ` n k x k a a. Ponadto dla i P t1,..., ku, p s i i n ix i a p s i i a więc rpn i x i aq p k i i, więc n ix i a P T pi paq. n p s i i x i a x i na 0,
44 Pokażemy, że A T p1... T pn paq. Przypuśćmy, że dla pewnego a P A, po ewentualnej zmianie numeracji: a a 1 `... ` a n b 1 `... ` b n, a i, b i P T pi paq, i P t1,..., nu, przy czym a 1 b 1. Wówczas: oraz a 1 b 1 P T p1 paq. Z drugiej strony a 1 b 1 pb 2 a 2 q `... ` pb n a n q rppb 2 a 2 q `... ` pb n a n qq NW W prpb 2 a 2 q, rpb n a n qq dla pewnych l 2,..., l n P N. NW W pp l 2 2,..., p ln n q, Zatem rpa 1 b 1 q 1, czyli a 1 b 1 0, a więc a 1 b 1, co doprowadza nas do sprzeczności.
45 2. Ustalmy i P t1,..., nu. Zauważmy, że Wobec tego: T pi pbpqqq # Bpp i q, jeżeli p i q, t0u, jeżeli p i q. T pi paq T pi pbpq 1 q... Bpq m qq T pi pbpq 1 qq... T pi pbpq m qq Bpp i q.
46 Wniosek (II twierdzenie strukturalne) Niech pa, `q będzie grupą abelową skończoną, niech A p k pkn n, gdzie p 1,..., p n są parami różnymi liczbami pierwszymi. Wówczas grupa A ma jednoznaczne przedstawienie w postaci sumy prostej p-grup: A T p1 paq... T pn paq.
47 Oznaczenie: Niech pa, `q będzie grupą abelową, niech p P P będzie liczbą pierwszą. Oznaczamy: pa tpa : a P Au.
48 Uwaga Niech pa, `q będzie grupą abelową, niech p P P będzie liczbą pierwszą. Wówczas: 1. pa ă A, 2. jeżeli A jest skończoną grupą cykliczną oraz A p k, to pa jest grupą cykliczną i pa p k 1, 3. jeżeli B ă A, to pb B X pa, 4. jeżeli A B, to pa pb, 5. ppa ˆ Bq pa ˆ pb, 6. odwzorowanie φ : A Ñ pa dane wzorem φpaq pa jest surjektywnym homomorfizmem, 7. jeżeli A jest grupą abelową skończoną, to: gdy p A, to pa ă A, gdy p A, to pa A.
49 Twierdzenie Niech pa, `q będzie skończoną p-grupą abelową. Wówczas grupa A jest sumą prostą p-grup cyklicznych.
50 Dowód: Niech A p n. Dowód prowadzimy indukcyjnie względem n. Jeżeli n 1, to A p, a zatem A Z p i A nie ma właściwych podgrup, a sama jest grupą cykliczną. Jeżeli n ą 1, to załóżmy, że twierdzenie jest prawdziwe dla wszystkich liczb l P N, l ă n. Wobec ostatniej części Uwagi 0.6, pa ă A, niech więc pa p l, dla l ă n. Wobec założenia indukcyjnego pa xa 1 y... xa r y, dla pewnych elementów a 1,..., a r P pa o rzędach będących potęgami liczby p. Niech x 1,..., x r P A będą takimi elementami, że a 1 px 1,..., a r px r.
51 Pokażemy, że xx 1 y `... ` xx r y jest grupą, która jest sumą prostą grup xx 1 y,..., xx r y. Sprawdzenie, że jest to istotnie grupa, pozostawiamy jako ćwiczenie, a dla udowodnienia, że jest to suma prosta, przypuśćmy, że dla pewnych k 1,..., k r P N. Wówczas k 1 x 1 k 2 x 2 `... ` k r x r, k 1 px 1 k 2 px 2 `... ` k r px r, i ponieważ xa 1 y... xa r y jest sumą prostą, więc k 1 k 2... k r 0 i tym samym xx 1 y X pxx 2 y `... ` xx r yq t0u. Podobnie sprawdzamy, że xx i y X pxx 1 y `... ` xx i 1 y ` xx i`1 y `... ` xx r yq t0u, dla i P t2,..., ru.
52 Niech zatem H xx 1 y... xx r y. Rozważmy rodzinę B tb ă A : B X H t0uu. Jako rodzina podgrup grupy skończonej B jest skończona, w szczególności zawiera element maksymalny. Oznaczmy go przez B. Zauważmy, że B ` H jest grupą oraz wobec określenia B jest to suma prosta grup B i H.
53 Pokażemy, że A B H. Inkluzja pąq jest oczywista, pozostaje wykazać inkluzję păq. Przypuśćmy, że istnieje a P A taki, że a R B ` H. Wówczas pa ph dla pewnego h P H. Ponadto c a h R B ` H oraz pc pa pb 0. Wobec maksymalności B, xtcu Y By X H t0u, a więc istnieją h 1 P H oraz b 1 P B takie, że 0 h 1 kc ` b 1, oraz 0 ă k ă p. Ponieważ NW Dpk, pq 1, więc dla pewnych s, t P Z: sk ` tp 1, a więc c psk ` tpqc skc sh 1 sb 1 P H ` B, co daje sprzeczność.
54 Dla zakończenia dowodu zauważmy, że B ă A, więc B jest sumą prostą p-grup cyklicznych. Wobec tego B i H są sumami prostymi grup cyklicznych oraz A B H.
55 Przykłady: 3. Rozważmy skończoną p-grupę abelową Z 2 ˆ Z 2. Wówczas: Z 2 ˆ Z 2 xp1, 1qy xp1, 0qy xp1, 0qy xp0, 1qy.
56 Twierdzenie Niech pa, `q będzie skończoną p-grupą abelową. Niech A A 1... A r oraz A B 1... B s będą dwoma różnymi rozkładami na sumy proste grup cyklicznych. Przyjmijmy, że A 1 ď A 2 ď... ď A r oraz B 1 ď B 2 ď... ď B s. Wówczas r s oraz A i B i dla i P t1,..., ru.
57 Dowód: Niech A i p α i, B j p β j, i P t1,..., ru, j P t1,..., su. Wówczas A p α1... p αr p β1... p βs, więc w szczególności α 1 `... ` α r β 1 `... ` β s. Dowód prowadzimy indukcyjnie względem α 1 `... ` α r. Jeżeli α 1 `... ` α r 1, to za bardzo nie ma czego dowodzić. Załóżmy więc, źe α 1 `... ` α r ą 1 i że twierdzenie jest prawdziwe dla p-grup A rzędów mniejszych od p α 1`...`α r. Niech 0 ď k ď r oraz 0 ď l ď s będą takimi liczbami, że A 1... A k p oraz B 1... B l p.
58 Wówczas A p k`α k`1`...`α r p l`β l`1`...`β s. Ponadto: pa pa 1... pa r pa k`1... pa r oraz pa pb 1... pb s pb l`1... pb s, a zatem pa k`1... pa r pb l`1... pb s, przy czym pa i i pb j, i P tk ` 1,..., ru, j P tl ` 1,..., su są grupami cyklicznymi, których rzędy spełniają zalżności: pa i p α i 1, i P tk`1,..., ru oraz pb j p β j 1, j P tl`1,..., su. Ponadto pa ă A i zachodzi pa k`1 ď... ď pa r oraz pb l`1 ď... ď pb s.
59 Wobec założenia indukcyjnego r k s l oraz pa k`1 pb l`1,..., pa r pb s, skąd p α k`1 1 p β l`1 1,..., p αr 1 p βs 1, więc i p α k`1 p β l`1,..., p αr p βs, skąd α k`1 β l`1,..., α r β s. Tym samym z równości k ` α k`1 `... ` α r l ` β l`1 `... ` β s wynika k l, czyli A i B i dla i P t1,..., ru.
60 Wniosek (I twierdzenie strukturalne) Niech pa, `q będzie grupą abelową skończoną. Wówczas istnieje przedstawienie A w postaci sumy prostej p-grup cyklicznych A A A 1k1 A A 2k2... A s1... A sks, przy czym A 11 p t 11 1,..., A 1k 1 p t 1k 1 1, A 21 p t 21 2,..., A 2k 2 p t 2k 2 2,..., A s1 p t s1 s,..., A sks p t sks s, gdzie p 1,..., p s są parami różnymi liczbami pierwszymi, wykładniki dobrane są tak, aby t 11 ď... ď t 1k1, t 21 ď... ď t 2k2,..., t s1 ď... ď t sks oraz ciąg liczb t 11,..., t 1k1, t 21,..., t 2k2,..., t s1,..., t sks jest jednoznacznie wyznaczony przez grupę A. W szczególności: A p t 11`...`t 1k1 1 p t 21`...`t 2k p t s1`...`t sks s.
61 Ciąg pp t 11 1,..., pt 1k 1 1, p t 21 2,..., pt 2k 2 2,..., p t s1 s,..., p t sks s q występujący w I twierdzeniu strukturalnym nazywamy typem skończonej grupy abelowej A, a jego elementy niezmiennikami.
62 Przykłady: 4. Rozważmy skończoną grupę abelową Z 60. Wówczas, skoro , to Z 60 T 2 pz 60 q T 3 pz 60 q T 5 pz 60 q. T 2 pz 60 q, T 3 pz 60 q, T 5 pz 60 q, jako podgrupy grupy cyklicznej o rzędach, odpowiednio, 4, 3 i 5 są cykliczne, a więc T 2 pz 60 q Z 4, T 3 pz 60 q Z 3, T 5 pz 60 q Z 5. Tym samym i Z 60 ma typ p4, 3, 5q. Z 60 Z 4 Z 3 Z 5
... [a n,b n ] kn [M 1,M 2 ], gdzie a i M 1, b i M 2, dla i {1,..., n}. Wówczas: [a 1,b 1 ] k 1. ... [a n,b n ] kn =(a 1 b 1 a 1
4. Wykład 4: Grupy rozwiązalne i nilpotentne. Definicja 4.1. Niech (G, ) będzie grupą. Wówczas (1) ciąg podgrup grupy G zdefiniowany indukcyjnie wzorami G (0) = G, G (i) =[G (i 1),G (i 1) ], dla i N nazywamy
Uwaga 1.2. Niech (G, ) będzie grupą, H 1, H 2 < G. Następujące warunki są równoważne:
1. Wykład 1: Produkty grup. Produkty i koprodukty grup abelowych. Przypomnijmy konstrukcje słabych iloczynów (sum) prostych i iloczynów (sum) prostych grup znane z kursowego wykładu algebry. Ze względu
Podciała, podciała generowane przez zbiór, rozszerzenia ciał.
Podciała, podciała generowane przez zbiór, rozszerzenia ciał. 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
Podstawowe pojęcia teorii podzielności.
Podstawowe pojęcia teorii podzielności. Definicja Niech pr, `, q będzie pierścieniem 1 całkowitym. Mówimy, że element a dzieli b, a, b P R, (lub że a jest dzielnikiem b, lub że b jest wielokrotnością a)
14. Wykład 14: Grupa Galois wielomianu. Zasadnicze twierdzenia teorii Galois. Rozszerzenia rozwiązalne, cykliczne i abelowe
14. Wykład 14: Grupa Galois wielomianu. Zasadnicze twierdzenia teorii Galois. Rozszerzenia rozwiązalne, cykliczne i abelowe. 14.1. Grupa Galois wielomianu. Definicja 14.1. Niech F będzie ciałem, niech
5. Wykład 5: Grupy proste. Definicja 5.1. Grupę (G, ) nazywamy grupą prostą, gdy G nie zawiera właściwych podgrup normalnych.
5. Wykład 5: Grupy proste. Definicja 5.1. Grupę (G, ) nazywamy grupą prostą, gdy G nie zawiera właściwych podgrup normalnych. Przeprowadzimy obecnie skróconą klasyfikację skończonych grup prostych. 5.1.
Rozszerzenie ciała o pierwiastek wielomianu. Ciało rozkładu wielomianu.
Rozszerzenie ciała o pierwiastek wielomianu. Ciało rozkładu wielomianu. Twierdzenie (Kroneckera) Niech F będzie ciałem, niech f P F rxs. Wówczas istnieje rozszerzenie L ciała F takie, w którym f ma pierwiastek.
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
= b i M i [x], gdy charf = p, to a i jest pierwiastkiem wielomianu x n i
15. Wykład 15: Rozszerzenia pierwiastnikowe. Elementy wyrażające się przez pierwiastniki. Rozwiązalność równań przez pierwiastniki. Równania o dowolnych współczynnikach. 15.1. Rozszerzenia pierwiastnikowe.
Baza i stopień rozszerzenia.
Baza i stopień rozszerzenia. Uwaga Niech F będzie ciałem, L rozszerzeniem ciała F. Wówczas L jest przestrzenią liniową nad ciałem F. Definicja Niech F będzie ciałem, L rozszerzeniem ciała F. 1. Wymiar
Wielomiany wielu zmiennych.
Wielomiany wielu zmiennych. Definicja i uwaga: Niech R będzie dowolnym pierścieniem. Wielomianem zmiennych x 1,..., x n o współczynnikach z pierścienia R będziemy nazywali wyrażenie postaci ÿ a i1...i
i=0 a ib k i, k {0,..., n+m}. Przypuśćmy, że wielomian
9. Wykład 9: Jednoznaczność rozkładu w pierścieniach wielomianów. Kryteria rozkładalności wielomianów. 9.1. Jednoznaczność rozkładu w pierścieniach wielomianów. Uwaga 9.1. Niech (R, +, ) będzie pierścieniem
Działanie grupy na zbiorze
Działanie grupy na zbiorze Definicja 0.1 Niech (G, ) będzie dowolną grupą oraz X niepustym zbiorem, to odwzorowanie : G X X nazywamy działaniem grupy G na zbiorze X jeślinastępujące warunki są spełnione:
Teoria ciała stałego Cz. I
Teoria ciała stałego Cz. I 1. Elementy teorii grup Grupy symetrii def. Grupy Zbiór (skończony lub nieskończony) elementów {g} tworzy grupę gdy: - zdefiniowana operacja mnożenia (złożenia) g 1 g 2 = g 3
12. Wykład 12: Algebraiczne domkniecie ciała. Wielokrotne pierwiastki wielomianów. Rózniczkowanie wielomianów. Elementy rozdzielcze.
12. Wykład 12: Algebraiczne domkniecie ciała. Wielokrotne pierwiastki wielomianów. Rózniczkowanie wielomianów. Elementy rozdzielcze. Rozszerzenia rozdzielcze i pojedyncze. Rozszerzenia normalne. 12.1.
1 Grupy. 1.1 Grupy. 1.2 Podgrupy. 1.3 Dzielniki normalne. 1.4 Homomorfizmy
1 Grupy 1.1 Grupy 1.1.1. Niech G będzie taką grupa, że (ab) 2 = a 2 b 2 dla dowolnych a, b G. Udowodnić, że grupa G jest abelowa. 1.1.2. Niech G będzie taką grupa, że (ab) 1 = a 1 b 1 dla dowolnych a,
Wyk lad 7 Baza i wymiar przestrzeni liniowej
Wyk lad 7 Baza i wymiar przestrzeni liniowej 1 Baza przestrzeni liniowej Niech V bedzie przestrzenia liniowa. Powiemy, że podzbiór X V jest maksymalnym zbiorem liniowo niezależnym, jeśli X jest zbiorem
Wyk lad 2 Podgrupa grupy
Wyk lad 2 Podgrupa grupy Definicja 2.1. Pod grupy (G,, e) nazywamy taki podzbiór H G, że e H, h 1 H dla każdego h H oraz h 1 h 2 H dla dowolnych h 1, h 2 H. Jeśli H jest grupy G, to bedziemy pisali H G.
Indukcja matematyczna
Indukcja matematyczna 1 Zasada indukcji Rozpatrzmy najpierw następujący przykład. Przykład 1 Oblicz sumę 1 + + 5 +... + (n 1). Dyskusja. Widzimy że dla n = 1 ostatnim składnikiem powyższej sumy jest n
B jest liniowo niezależny V = lin (B) 1. Układ pusty jest bazą przestrzeni trywialnej {θ}. a i v i = i I. b i v i, (a i b i ) v i = θ.
8 Baza i wymiar Definicja 8.1. Bazą przestrzeni liniowej nazywamy liniowo niezależny układ jej wektorów, który generuję tę przestrzeń. Innymi słowy, układ B = (v i ) i I wektorów z przestrzeni V jest bazą
LXX Olimpiada Matematyczna
LXX Olimpiada Matematyczna Rozwiązania zadań konkursowych zawodów stopnia trzeciego 3 kwietnia 09 r. (pierwszy dzień zawodów). Punkty X i Y leżą odpowiednio wewnątrz boków i trójkąta ostrokątnego, przy
Ćwiczenia 1 - Pojęcie grupy i rzędu elementu
Algebra 1 Ćwiczenia 1 - Pojęcie grupy i rzędu elementu Definicje i podstawowe własności Definicja 1. Niech X będzie niepustym zbiorem. Działaniem w zbiorze X nazywamy dowolne odwzorowanie (funkcję) działające
Działanie grupy na zbiorze
Działanie grupy na zbiorze Definicja 0.1 Niech (G, ) będzie dowolną grupą oraz X niepustym zbiorem, to odwzorowanie : G X X nazywamy działaniem grupy G na zbiorze X jeślinastępujące warunki są spełnione:
Indukcja. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak
Indukcja Materiały pomocnicze do wykładu wykładowca: dr Magdalena Kacprzak Charakteryzacja zbioru liczb naturalnych Arytmetyka liczb naturalnych Jedną z najważniejszych teorii matematycznych jest arytmetyka
Jeśli lubisz matematykę
Witold Bednarek Jeśli lubisz matematykę Część 3 Opole 011 1 Wielokąt wypukły i kąty proste Pewien wielokąt wypukły ma cztery kąty proste. Czy wielokąt ten musi być prostokątem? Niech n oznacza liczbę wierzchołków
Wyk lad 4 Warstwy, dzielniki normalne
Wyk lad 4 Warstwy, dzielniki normalne 1 Warstwy grupy wzgl edem podgrupy Niech H bedzie podgrupa grupy (G,, e). W zbiorze G wprowadzamy relacje l oraz r przyjmujac, że dla dowolnych a, b G: a l b a 1 b
Matematyka dyskretna
Matematyka dyskretna Wykład 9: Grupy skończone Gniewomir Sarbicki Grupy cykliczne Definicja: Jeżeli każdy element grupy G jest postaci a n dla pewnego a G, to mówimy, że grupa G jest grupą cykliczną o
Zadania z Algebry Studia Doktoranckie Instytutu Matematyki Uniwersytetu Śląskiego 1
Zadania z Algebry Studia Doktoranckie Instytutu Matematyki Uniwersytetu Śląskiego 1 1. (a) Udowodnić, że jeśli grupa ilorazowa G/Z(G) jest cykliczna, to grupa G jest abelowa (Z(G) oznacza centrum grupy
Indukcja matematyczna. Zasada minimum. Zastosowania.
Indukcja matematyczna. Zasada minimum. Zastosowania. Arkadiusz Męcel Uwagi początkowe W trakcie zajęć przyjęte zostaną następujące oznaczenia: 1. Zbiory liczb: R - zbiór liczb rzeczywistych; Q - zbiór
Zadanie 2. Obliczyć rangę dowolnego elementu zbioru uporządkowanego N 0 N 0, gdy porządek jest zdefiniowany następująco: (a, b) (c, d) (a c b d)
Matemaryka dyskretna - zadania Zadanie 1. Opisać zbiór wszystkich elementów rangi k zbioru uporządkowanego X dla każdej liczby naturalnej k, gdy X jest rodziną podzbiorów zbioru skończonego Y. Elementem
Algebrą nazywamy strukturę A = (A, {F i : i I }), gdzie A jest zbiorem zwanym uniwersum algebry, zaś F i : A F i
Algebrą nazywamy strukturę A = (A, {F i : i I }), gdzie A jest zbiorem zwanym uniwersum algebry, zaś F i : A F i A (symbol F i oznacza ilość argumentów funkcji F i ). W rozważanych przez nas algebrach
1 Określenie pierścienia
1 Określenie pierścienia Definicja 1. Niech P będzie zbiorem, w którym określone są działania +, (dodawanie i mnożenie). Mówimy, że struktura (P, +, ) jest pierścieniem, jeżeli spełnione są następujące
Wyk lad 9 Baza i wymiar przestrzeni liniowej
Wyk lad 9 Baza i wymiar przestrzeni liniowej 1 Operacje elementarne na uk ladach wektorów Niech α 1,..., α n bed dowolnymi wektorami przestrzeni liniowej V nad cia lem K. Wyróżniamy nastepuj ace operacje
Wykład 4 Udowodnimy teraz, że jeśli U, W są podprzetrzeniami skończenie wymiarowej przestrzeni V to zachodzi wzór: dim(u + W ) = dim U + dim W dim(u
Wykład 4 Udowodnimy teraz, że jeśli U, W są podprzetrzeniami skończenie wymiarowej przestrzeni V to zachodzi wzór: dim(u + W ) = dim U + dim W dim(u W ) Rzeczywiście U W jest podprzetrzenią przestrzeni
Przykładowe zadania z teorii liczb
Przykładowe zadania z teorii liczb I. Podzielność liczb całkowitych. Liczba a = 346 przy dzieleniu przez pewną liczbę dodatnią całkowitą b daje iloraz k = 85 i resztę r. Znaleźć dzielnik b oraz resztę
(6) Homomorfizm φ : P R nazywamy epimorfizmem kategoryjnym, jeśli dla każdego pierścienia. jeśli φ ψ 1 = φ ψ 2, to ψ 1 = ψ 2 ;
10. Wykład 10: Homomorfizmy pierścieni, ideały pierścieni. Ideały generowane przez zbiory. 10.1. Homomorfizmy pierścieni, ideały pierścieni. Definicja 10.1. Niech P, R będą pierścieniami. (1) Odwzorowanie
. : a 1,..., a n F. . a n Wówczas (F n, F, +, ) jest przestrzenią liniową, gdzie + oraz są działaniami zdefiniowanymi wzorami:
9 Wykład 9: Przestrzenie liniowe i podprzestrzenie Definicja 9 Niech F będzie ciałem Algebrę (V, F, +, ), gdzie V, + jest działaniem w zbiorze V zwanym dodawaniem wektorów, a jest działaniem zewnętrznym
System BCD z κ. Adam Slaski na podstawie wykładów, notatek i uwag Pawła Urzyczyna. Semestr letni 2009/10
System BCD z κ Adam Slaski na podstawie wykładów, notatek i uwag Pawła Urzyczyna Semestr letni 2009/10 Rozważamy system BCD ze stałą typową κ i aksjomatami ω κ κ i κ ω κ. W pierwszej części tej notatki
Matematyka Dyskretna Zestaw 2
Materiały dydaktyczne Matematyka Dyskretna (Zestaw ) Matematyka Dyskretna Zestaw 1. Wykazać, że nie istnieje liczba naturalna, która przy dzieleniu przez 18 daje resztę 13, a przy dzieleniu przez 1 daje
Algebry skończonego typu i formy kwadratowe
Algebry skończonego typu i formy kwadratowe na podstawie referatu Justyny Kosakowskiej 26 kwietnia oraz 10 i 17 maja 2001 Referat został opracowany w oparciu o prace Klausa Bongartza Criterion for finite
Twierdzenie 5.1 Definicja i uwaga 5.1. relacjami zadana za pomocą zbioru generatorów i zbioru relacji kodem genetycz- nym
5. Wykład 5: Generatory i relacje. Kod genetyczny grupy. Twierdzenie Nielsena-Schreiera. Głównym celem dzisiejszego wykładu jest następujący rezultat: Twierdzenie 5.1 (Nielsena-Schreiera). Podgrupa grupy
Grupy, pierścienie i ciała
Grupy, pierścienie i ciała Definicja: Niech A będzie niepustym zbiorem. Działaniem wewnętrznym (lub, krótko, działaniem) w zbiorze A nazywamy funkcję : A A A. Niech ponadto B będzie niepustym zbiorem.
Zasada indukcji matematycznej
Zasada indukcji matematycznej Twierdzenie 1 (Zasada indukcji matematycznej). Niech ϕ(n) będzie formą zdaniową zmiennej n N 0. Załóżmy, że istnieje n 0 N 0 takie, że 1. ϕ(n 0 ) jest zdaniem prawdziwym,.
Łatwy dowód poniższej własności pozostawiamy czytelnikowi.
Rozdział 3 Logarytm i potęga 3.1 Potęga o wykładniku naturalnym Definicja potęgi o wykładniku naturalnym. Niech x R oraz n N. Potęgą o podstawie x i wykładniku n nazywamy liczbę x n określoną następująco:
Działania Definicja: Działaniem wewnętrznym w niepustym zbiorze G nazywamy funkcję działającą ze zbioru GxG w zbiór G.
Działania Definicja: Działaniem wewnętrznym w niepustym zbiorze G nazywamy funkcję działającą ze zbioru GxG w zbiór G. Przykłady działań wewnętrznych 1. Dodawanie i mnożenie są działaniami wewnętrznymi
Struktury formalne, czyli elementy Teorii Modeli
Struktury formalne, czyli elementy Teorii Modeli Szymon Wróbel, notatki z wykładu dra Szymona Żeberskiego semestr zimowy 2016/17 1 Język 1.1 Sygnatura językowa Sygnatura językowa: L = ({f i } i I, {P j
A i. i=1. i=1. i=1. i=1. W dalszej części skryptu będziemy mieli najczęściej do czynienia z miarami określonymi na rodzinach, które są σ - algebrami.
M. Beśka, Wstęp do teorii miary, rozdz. 3 25 3 Miara 3.1 Definicja miary i jej podstawowe własności Niech X będzie niepustym zbiorem, a A 2 X niepustą rodziną podzbiorów. Wtedy dowolne odwzorowanie : A
Algebrę L = (L, Neg, Alt, Kon, Imp) nazywamy algebrą języka logiki zdań. Jest to algebra o typie
3. Wykłady 5 i 6: Semantyka klasycznego rachunku zdań. Dotychczas rozwinęliśmy klasyczny rachunek na gruncie czysto syntaktycznym, a więc badaliśmy metodę sprawdzania, czy dana formuła B jest dowodliwa
Rzędy Elementów Grupy Abelowej Andrzej Nowicki 16 września 2015, wersja rz-15
Materiały Dydaktyczne 2015 Rzędy Elementów Grupy Abelowej Andrzej Nowicki 16 września 2015, wersja rz-15 Niech G będzie grupą z elementem neutralnym e i niech a G. Załóżmy, że istnieje co najmniej jedna
LX Olimpiada Matematyczna
LX Olimpiada Matematyczna Rozwiązania zadań konkursowych zawodów stopnia drugiego 13 lutego 2009 r. (pierwszy dzień zawodów) Zadanie 1. Liczby rzeczywiste a 1, a 2,..., a n (n 2) spełniają warunek a 1
1. Określenie pierścienia
1. Określenie pierścienia Definicja 1. Niech P będzie zbiorem, w którym określone są działania +, (dodawanie i mnożenie). Mówimy, że struktura (P, +, ) jest pierścieniem, jeżeli spełnione są następujące
Uniwersytet w Białymstoku. Wykład monograficzny
Uniwersytet w Białymstoku Wydział Matematyczno-Fizyczny Instytut Matematyki dr hab. Ryszard Andruszkiewicz Wykład monograficzny Wykład monograficzny prowadzony dla studentów V roku matematyki przez dr
1. Wykład NWD, NWW i algorytm Euklidesa.
1.1. NWD, NWW i algorytm Euklidesa. 1. Wykład 1 Twierdzenie 1.1 (o dzieleniu z resztą). Niech a, b Z, b 0. Wówczas istnieje dokładnie jedna para liczb całkowitych q, r Z taka, że a = qb + r oraz 0 r< b.
Kongruencje twierdzenie Wilsona
Kongruencje Wykład 5 Twierdzenie Wilsona... pojawia się po raz pierwszy bez dowodu w Meditationes Algebraicae Edwarda Waringa (1770), profesora (Lucasian Professor) matematyki w Cambridge, znanego głównie
9 Przekształcenia liniowe
9 Przekształcenia liniowe Definicja 9.1. Niech V oraz W będą przestrzeniami liniowymi nad tym samym ciałem F. Przekształceniem liniowym nazywamy funkcję ϕ : V W spełniającą warunek (LM) v1,v 2 V a1,a 2
Matematyka dyskretna. Andrzej Łachwa, UJ, /10
Matematyka dyskretna Andrzej Łachwa, UJ, 2018 andrzej.lachwa@uj.edu.pl 10/10 Podziały i liczby Stirlinga Liczba Stirlinga dla cykli (często nazywana liczbą Stirlinga pierwszego rodzaju) to liczba permutacji
Matematyka dyskretna
Matematyka dyskretna Wykład 6: Ciała skończone i kongruencje Gniewomir Sarbicki 2 marca 2017 Relacja przystawania Definicja: Mówimy, że liczby a, b Z przystają modulo m (co oznaczamy jako a = b (mod m)),
5. Algebra działania, grupy, grupy permutacji, pierścienie, ciała, pierścień wielomianów.
5. Algebra działania, grupy, grupy permutacji, pierścienie, ciała, pierścień wielomianów. Algebra jest jednym z najstarszych działów matematyki dotyczącym początkowo tworzenia metod rozwiązywania równań
Algebra konspekt wykladu 2009/10 1. du na dzialanie na zbioze G, jeśli dla dowolnych elementów x, y S, x y S. S jest zamkniety ze wzgle
Algebra konspekt wykladu 2009/10 1 3 Podgrupy Niech S g mówimy, że podzbiór S jest zamknie ty ze wzgle du na dzialanie na zbioze G, jeśli dla dowolnych elementów x, y S, x y S. S jest zamkniety ze wzgle
Rodzinę F złożoną z podzbiorów zbioru X będziemy nazywali ciałem zbiorów, gdy spełnione są dwa następujące warunki.
3. Funkcje borelowskie. Rodzinę F złożoną z podzbiorów zbioru X będziemy nazywali ciałem zbiorów, gdy spełnione są dwa następujące warunki. (1): Jeśli zbiór Y należy do rodziny F, to jego dopełnienie X
Rozdział 4. Ciągi nieskończone. 4.1 Ciągi nieskończone
Rozdział 4 Ciągi nieskończone W rozdziale tym wprowadzimy pojęcie granicy ciągu. Dalej rozszerzymy to pojęcie na przypadek dowolnych funkcji. Jak zauważyliśmy we wstępie jest to najważniejsze pojęcie analizy
Wyk lad 5 Grupa ilorazowa, iloczyn prosty, homomorfizm
Wyk lad 5 Grupa ilorazowa, iloczyn prosty, homomorfizm 1 Grupa ilorazowa Niech H b edzie dzielnikiem normalnym grupy G. Oznaczmy przez G/H zbiór wszystkich warstw lewostronnych grupy G wzgl edem podgrupy
Ciała i wielomiany 1. przez 1, i nazywamy jedynką, zaś element odwrotny do a 0 względem działania oznaczamy przez a 1, i nazywamy odwrotnością a);
Ciała i wielomiany 1 Ciała i wielomiany 1 Definicja ciała Niech F będzie zbiorem, i niech + ( dodawanie ) oraz ( mnożenie ) będą działaniami na zbiorze F. Definicja. Zbiór F wraz z działaniami + i nazywamy
n=0 (n + r)a n x n+r 1 (n + r)(n + r 1)a n x n+r 2. Wykorzystując te obliczenia otrzymujemy, że lewa strona równania (1) jest równa
Równanie Bessela Będziemy rozważać następujące równanie Bessela x y xy x ν )y 0 ) gdzie ν 0 jest pewnym parametrem Rozwiązania równania ) nazywamy funkcjami Bessela rzędu ν Sprawdzamy, że x 0 jest regularnym
Wniosek Niech R będzie pierścieniem, niech I R. WówczasI R wtedy i tylko wtedy, gdy I jest jądrem pewnego homomorfizmu.
11. Wykład 11: Pierścień ilorazowy, twierdzenie o homomorfizmie. Ideały pierwsze i maksymalne. 11.1. Pierścień ilorazowy, twierdzenie o homomorfizmie. Definicja i Uwaga 11.1. Niech R będzie pierścieniem,
Twierdzenie Li-Yorke a Twierdzenie Szarkowskiego
Politechnika Gdańska Wydział Fizyki Technicznej i Matematyki Stosowanej Twierdzenie Li-Yorke a Twierdzenie Szarkowskiego Autor: Kamil Jaworski 11 marca 2012 Spis treści 1 Wstęp 2 1.1 Podstawowe pojęcia........................
1. Elementy (abstrakcyjnej) teorii grup
1. Elementy (abstrakcyjnej) teorii grup Grupy symetrii def. Grupy Zbiór (skończony lub nieskończony) elementów {g} tworzy grupę gdy: - zdefiniowana operacja mnożenia (złożenia) g 1 g 2 = g 3 є G - (g 1
Ciała skończone. 1. Ciała: podstawy
Ciała skończone 1. Ciała: podstawy Definicja 1. Każdy zbiór liczb, w którym są wykonalne wszystkie cztery działania z wyjątkiem dzielenia przez 0 i który zawiera więcej niż jedną liczbę, nazywamy ciałem
Przestrzenie liniowe
Rozdział 4 Przestrzenie liniowe 4.1. Działania zewnętrzne Niech X oraz F będą dwoma zbiorami niepustymi. Dowolną funkcję D : F X X nazywamy działaniem zewnętrznym w zbiorze X nad zbiorem F. Przykład 4.1.
Wyk lad 14 Cia la i ich w lasności
Wyk lad 4 Cia la i ich w lasności Charakterystyka cia la Określenie cia la i w lasności dzia lań w ciele y ly omówione na algerze liniowej. Stosujac terminologie z teorii pierścieni możemy powiedzieć,
Matematyka dyskretna. 1. Relacje
Matematyka dyskretna 1. Relacje Definicja 1.1 Relacją dwuargumentową nazywamy podzbiór produktu kartezjańskiego X Y, którego elementami są pary uporządkowane (x, y), takie, że x X i y Y. Uwaga 1.1 Jeśli
vf(c) =, vf(ft 1... t n )=vf(t 1 )... vf(t n ).
6. Wykład 6: Rachunek predykatów. Język pierwszego rzędu składa się z: symboli relacyjnych P i, i I, gdzie (P i ) oznaczać będzie ilość argumentów symbolu P i, symboli funkcyjnych f j, j J, gdzie (f j
1 Działania na zbiorach
M. Beśka, Wstęp do teorii miary, rozdz. 1 1 1 Działania na zbiorach W rozdziale tym przypomnimy podstawowe działania na zbiorach koncentrując się na własnościach tych działań, które będą przydatne w dalszej
Analiza funkcjonalna 1.
Analiza funkcjonalna 1. Wioletta Karpińska Semestr letni 2015/2016 0 Bibliografia [1] Banaszczyk W., Analiza matematyczna 3. Wykłady. (http://math.uni.lodz.pl/ wbanasz/am3/) [2] Birkholc A., Analiza matematyczna.
Wyk lad 9 Podpierścienie, elementy odwracalne, dzielniki zera
Wyk lad 9 Podpierścienie, elementy odwracalne, dzielniki zera Określenie podpierścienia Definicja 9.. Podpierścieniem pierścienia (P, +,, 0, ) nazywamy taki podzbiór A P, który jest pierścieniem ze wzgledu
Poprawność semantyczna
Poprawność składniowa Poprawność semantyczna Poprawność algorytmu Wypisywanie zdań z języka poprawnych składniowo Poprawne wartościowanie zdań języka, np. w języku programowania skutki wystąpienia wyróżnionych
n=0 Dla zbioru Cantora prawdziwe są wersje lematu 3.6 oraz lematu 3.8 przy założeniu α = :
4. Zbiory borelowskie. Zbiór wszystkich podzbiorów liczb naturalnych będziemy oznaczali przez ω. Najmniejszą topologię na zbiorze ω, w której zbiory {A ω : x A ω \ y}, gdzie x oraz y są zbiorami skończonymi,
Wykład 16. P 2 (x 2, y 2 ) P 1 (x 1, y 1 ) OX. Odległość tych punktów wyraża się wzorem: P 1 P 2 = (x 1 x 2 ) 2 + (y 1 y 2 ) 2
Wykład 16 Geometria analityczna Przegląd wiadomości z geometrii analitycznej na płaszczyźnie rtokartezjański układ współrzędnych powstaje przez ustalenie punktu początkowego zwanego początkiem układu współrzędnych
Teoria miary i całki
Teoria miary i całki Spis treści 1 Wstęp 3 2 lgebra zbiorów 5 3 Pierścienie, ciała, σ ciała zbiorów. 7 3.1 Definicja pierścienia ciała i σ ciała............... 7 3.2 Pierścień, ciało i σ ciało generowane
Definicja odwzorowania ciągłego i niektóre przykłady
Odwzorowania Pojęcie odwzorowania pomiędzy dwoma zbiorami było już definiowane, ale dawno, więc nie od rzeczy będzie przypomnieć, że odwzorowaniem nazywamy sposób przyporządkowania (niekoniecznie każdemu)
Ciągi komplementarne. Autor: Krzysztof Zamarski. Opiekun pracy: dr Jacek Dymel
Ciągi komplementarne Autor: Krzysztof Zamarski Opiekun pracy: dr Jacek Dymel Spis treści 1 Wprowadzenie 2 2 Pojęcia podstawowe 3 2.1 Oznaczenia........................... 3 2.2 "Ciąg odwrotny"........................
Zadania z algebry liniowej - sem. I Struktury algebraiczne
Zadania z algebry liniowej - sem. I Struktury algebraiczne Definicja 1. Działaniem dwuargumentowym w niepustym zbiorze A nazywamy każdą funkcję : A A A, tzn. taką funkcję, że zachodzi a,b A (a, b) ((a,
Układy równań i nierówności liniowych
Układy równań i nierówności liniowych Wiesław Krakowiak 1 grudnia 2010 1 Układy równań liniowych DEFINICJA 11 Układem równań m liniowych o n niewiadomych X 1,, X n, nazywamy układ postaci: a 11 X 1 + +
Sumy kolejnych bikwadratów
Sumy kolejnych bikwadratów Znane są następujące dwie równości Andrzej Nowicki 18 maja 2015, wersja bi-12 3 2 + 4 2 = 5 2 3 3 + 4 3 + 5 3 = 6 3. Czy istnieją podobnego typu równości dla czwartych potęg?
LXIX Olimpiada Matematyczna Rozwiązania zadań konkursowych zawodów stopnia trzeciego 18 kwietnia 2018 r. (pierwszy dzień zawodów)
LXIX Olimpiada Matematyczna Rozwiązania zadań konkursowych zawodów stopnia trzeciego 18 kwietnia 2018 r. (pierwszy dzień zawodów) 1. Dany jest trójkąt ostrokątny ABC, w którym AB < AC. Dwusieczna kąta
1. R jest grupą abelową względem działania + (tzn. działanie jest łączne, przemienne, istnieje element neutralny oraz element odwrotny)
Rozdział 1 Pierścienie i ideały Definicja 1.1 Pierścieniem nazywamy trójkę (R, +, ), w której R jest zbiorem niepustym, działania + : R R R i : R R R są dwuargumentowe i spełniają następujące warunki dla
Grupy generowane przez mep-pary
Grupy generowane przez mep-pary Witold Tomaszewski (przy współudziale Zbigniewa Szaszkowskiego i Marka Żabki) Zakład Algebry Instytut Matematyki Politechnika Śląska e-mail: Witold.Tomaszewski@polsl.pl
Treść wykładu. Pierścienie wielomianów. Dzielenie wielomianów i algorytm Euklidesa Pierścienie ilorazowe wielomianów
Treść wykładu Pierścienie wielomianów. Definicja Niech P będzie pierścieniem. Wielomianem jednej zmiennej o współczynnikach z P nazywamy każdy ciąg f = (f 0, f 1, f 2,...), gdzie wyrazy ciągu f są prawie
Aproksymacja diofantyczna
Aproksymacja diofantyczna Szymon Draga Ustroń, 4 listopada 0 r Wprowadzenie Jak wiadomo, każdą liczbę niewymierną można (z dowolną dokładnością) aproksymować liczbami wymiernymi Powstaje pytanie, w jaki
im = (P )={b 2 R : 9a 2 P [b = (a)]} nazywamy obrazem homomorfizmu.
61 7. Wyk ad 7: Homomorfizmy pierúcieni, idea y pierúcieni. Idea y generowane przez zbiory. PierúcieÒ ilorazowy, twierdzenie o homomorfizmie. Idea y pierwsze i maksymalne. 7.1. Homomorfizmy pierúcieni,
Przykładami ciągów, które Czytelnik dobrze zna (a jeśli nie, to niniejszym poznaje), jest ciąg arytmetyczny:
Podstawowe definicje Definicja ciągu Ciągiem nazywamy funkcję na zbiorze liczb naturalnych, tzn. przyporządkowanie każdej liczbie naturalnej jakiejś liczby rzeczywistej. (Mówimy wtedy o ciągu o wyrazach
Zbiory, relacje i funkcje
Zbiory, relacje i funkcje Zbiory będziemy zazwyczaj oznaczać dużymi literami A, B, C, X, Y, Z, natomiast elementy zbiorów zazwyczaj małymi. Podstawą zależność między elementem zbioru a zbiorem, czyli relację
Indukcja matematyczna, zasada minimum i maksimum. 17 lutego 2017
Indukcja matematyczna, zasada minimum i maksimum 17 lutego 2017 Liczby naturalne - Aksjomatyka Peano (bez zera) Aksjomatyka liczb naturalnych N jest nazwą zbioru liczb naturalnych, 1 jest nazwą elementu
Podstawowe struktury algebraiczne
Rozdział 1 Podstawowe struktury algebraiczne 1.1. Działania wewnętrzne Niech X będzie zbiorem niepustym. Dowolną funkcję h : X X X nazywamy działaniem wewnętrznym w zbiorze X. Działanie wewnętrzne, jak
Kombinacje liniowe wektorów.
Kombinacje liniowe wektorów Definicja: Niech V będzie przestrzenią liniową nad ciałem F, niech A V Zbiór wektorów A nazywamy liniowo niezależnym, jeżeli m N v,, v m A a,, a m F [a v + + a m v m = θ a =
KONGRUENCJE. 1. a a (mod m) a b (mod m) b a (mod m) a b (mod m) b c (mod m) a c (mod m) Zatem relacja kongruencji jest relacją równoważności.
KONGRUENCJE Dla a, b, m Z mówimy, że liczba a przystaje do liczby b modulo m a b (mod m) m (a b) (a b (mod m) można też zapisać jako: a = km + b, k Z). Liczbę m nazywamy modułem kongruencji. Własności:
Wykład 5. Ker(f) = {v V ; f(v) = 0}
Wykład 5 Niech f : V W będzie przekształceniem liniowym przestrzeni wektorowych Wtedy jądrem przekształcenia nazywamy zbiór tych elementów z V, których obrazem jest wektor zerowy w przestrzeni W Jądro
F t+ := s>t. F s = F t.
M. Beśka, Całka Stochastyczna, wykład 1 1 1 Wiadomości wstępne 1.1 Przestrzeń probabilistyczna z filtracją Niech (Ω, F, P ) będzie ustaloną przestrzenią probabilistyczną i niech F = {F t } t 0 będzie rodziną
Przestrzeń unitarna. Jacek Kłopotowski. 23 października Katedra Matematyki i Ekonomii Matematycznej SGH
Katedra Matematyki i Ekonomii Matematycznej SGH 23 października 2018 Definicja iloczynu skalarnego Definicja Iloczynem skalarnym w przestrzeni liniowej R n nazywamy odwzorowanie ( ) : R n R n R spełniające
2 Rodziny zbiorów. 2.1 Algebry i σ - algebry zbiorów. M. Beśka, Wstęp do teorii miary, rozdz. 2 11
M. Beśka, Wstęp do teorii miary, rozdz. 2 11 2 Rodziny zbiorów 2.1 Algebry i σ - algebry zbiorów Niech X będzie niepustym zbiorem. Rodzinę indeksowaną zbiorów {A i } i I 2 X nazywamy rozbiciem zbioru X