Definicja 1.2. Niech A będzie niepustym zbiorem, a i działaniami w A. (1) Mówimy, że jest łączne, jeżeli. x, y, z A[x (y z) =(x y) z].

Podobne dokumenty
Definicja1.2.Niech Abędzieniepustymzbiorem,a i działaniamiwa. (1)Mówimy,że jestłączne,jeżeli. x,y,z A[x (y z) = (x y) z].

Grupy, pierścienie i ciała

1. Wykład NWD, NWW i algorytm Euklidesa.

Zadania z algebry liniowej - sem. I Struktury algebraiczne

Algebra. Jakub Maksymiuk. lato 2018/19

. : a 1,..., a n F. . a n Wówczas (F n, F, +, ) jest przestrzenią liniową, gdzie + oraz są działaniami zdefiniowanymi wzorami:

Zestaw 2. Definicje i oznaczenia. inne grupy V 4 grupa czwórkowa Kleina D n grupa dihedralna S n grupa symetryczna A n grupa alternująca.

Podstawowe struktury algebraiczne

Podstawowe struktury algebraiczne

Paweł Gładki. Algebra. pgladki/

5. Algebra działania, grupy, grupy permutacji, pierścienie, ciała, pierścień wielomianów.

Działania Definicja: Działaniem wewnętrznym w niepustym zbiorze G nazywamy funkcję działającą ze zbioru GxG w zbiór G.

Ćwiczenia 1 - Pojęcie grupy i rzędu elementu

1 Określenie pierścienia

Pojęcie pierścienia.

1. Określenie pierścienia

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);

Chcąc wyróżnić jedno z działań, piszemy np. (, ) i mówimy, że działanie wprowadza w STRUKTURĘ ALGEBRAICZNĄ lub, że (, ) jest SYSTEMEM ALGEBRAICZNYM.

Uwaga 1.2. Niech (G, ) będzie grupą, H 1, H 2 < G. Następujące warunki są równoważne:

1 Grupy. 1.1 Grupy. 1.2 Podgrupy. 1.3 Dzielniki normalne. 1.4 Homomorfizmy

Pokazać, że wyżej zdefiniowana struktura algebraiczna jest przestrzenią wektorową nad ciałem

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 liniowa. 1. Macierze.

1.1 Definicja. 1.2 Przykład. 1.3 Definicja. Niech G oznacza dowolny, niepusty zbiór.

1. Elementy (abstrakcyjnej) teorii grup

Matematyka dyskretna

Algebra Liniowa 2 (INF, TIN), MAP1152 Lista zadań

Relacje binarne. Def. Relację ϱ w zbiorze X nazywamy. antysymetryczną, gdy x, y X (xϱy yϱx x = y) spójną, gdy x, y X (xϱy yϱx x = y)

Teoria węzłów matematycznych - warkocze. Karolina Krzysztoń 10B2

Wyk lad 2 Podgrupa grupy

Uniwersytet w Białymstoku. Wykład monograficzny

Algorytm Euklidesa. ZADANIE 1. Oblicz korzystając z algorytmu Euklidesa: (a) NWD(120, 195), (b) NWD(80, 208), (c) NWD(36, 60, 90),

Ciała skończone. 1. Ciała: podstawy

Przestrzenie liniowe

Informatyka Stosowana. a b c d a a b c d b b d a c c c a d b d d c b a

1. R jest grupą abelową względem działania + (tzn. działanie jest łączne, przemienne, istnieje element neutralny oraz element odwrotny)

(6) Homomorfizm φ : P R nazywamy epimorfizmem kategoryjnym, jeśli dla każdego pierścienia. jeśli φ ψ 1 = φ ψ 2, to ψ 1 = ψ 2 ;

φ(x 1,..., x n ) = a i x 2 i +

Algebra liniowa z geometrią

Algebra abstrakcyjna

DB Algebra liniowa semestr zimowy 2018

Paweł Gładki. Algebra B. ~ pgladki/

Wykład 4. Określimy teraz pewną ważną klasę pierścieni.

Algebra liniowa z geometrią. wykład I

Projekt matematyczny

Relacje. opracował Maciej Grzesiak. 17 października 2011

Matematyka dyskretna

Matematyka dyskretna

Macierze. Rozdział Działania na macierzach

Grupy. Permutacje 1. (G2) istnieje element jednostkowy (lub neutralny), tzn. taki element e G, że dla dowolnego a G zachodzi.

Zadania egzaminacyjne

Zadania z algebry liniowej - sem. I Przestrzenie liniowe, bazy, rząd macierzy

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

2 Kongruencje 5. 4 Grupy 9. 5 Grupy permutacji Homomorfizmy grup Pierścienie 16

Teoria ciała stałego Cz. I

1 Działania na zbiorach

Rozdział 5. Macierze. a 11 a a 1m a 21 a a 2m... a n1 a n2... a nm

14. Przestrzenie liniowe

Funkcje analityczne. Wykład 2. Płaszczyzna zespolona. Paweł Mleczko. Funkcje analityczne (rok akademicki 2017/2018)

9 Przekształcenia liniowe

Grzegorz Bobiński. Wykład monograficzny Programowanie Liniowe i Całkowitoliczbowe

ALGEBRA Z GEOMETRIĄ PIERŚCIENIE, CIAŁA I HOMOMORFIZMY

0 + 0 = 0, = 1, = 1, = 0.

macierze jednostkowe (identyczności) macierze diagonalne, które na przekątnej mają same

Zadania z Algebry Studia Doktoranckie Instytutu Matematyki Uniwersytetu Śląskiego 1

O pewnych związkach teorii modeli z teorią reprezentacji

dr Mariusz Grządziel 15,29 kwietnia 2014 Przestrzeń R k R k = R R... R k razy Elementy R k wektory;

Funkcje. Oznaczenia i pojęcia wstępne. Elementy Logiki i Teorii Mnogości 2015/2016

3 1 + i 1 i i 1 2i 2. Wyznaczyć macierze spełniające własność komutacji: [A, X] = B

cx cx 1,cx 2,cx 3,...,cx n. Przykład 4, 5

Wyk lad 9 Podpierścienie, elementy odwracalne, dzielniki zera

Przestrzenie wektorowe

Teoria miary. WPPT/Matematyka, rok II. Wykład 5

DB Algebra liniowa 1 semestr letni 2018

1 Elementy logiki i teorii mnogości

Zadania z Algebry liniowej 4 Semestr letni 2009

Lista. Algebra z Geometrią Analityczną. Zadanie 1 Przypomnij definicję grupy, które z podanych struktur są grupami:

SIMR 2016/2017, Analiza 2, wykład 1, Przestrzeń wektorowa

1 Zbiory i działania na zbiorach.

Matematyka dyskretna. Andrzej Łachwa, UJ, B/14

1 Działania na zbiorach

Algebra z Geometrią Analityczną. { x + 2y = 5 x y = 9. 4x + 5y 3z = 9, 2x + 4y 3z = 1. { 2x + 3y + z = 5 4x + 5y 3z = 9 7 1,

Funkcja kwadratowa. f(x) = ax 2 + bx + c,

5. Wykład 5: Grupy proste. Definicja 5.1. Grupę (G, ) nazywamy grupą prostą, gdy G nie zawiera właściwych podgrup normalnych.

Matematyka dyskretna. 1. Relacje

FUNKCJE LICZBOWE. Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y.

R n = {(x 1, x 2,..., x n ): x i R, i {1,2,...,n} },

domykanie relacji, relacja równoważności, rozkłady zbiorów

Macierz o wymiarach m n. a 21. a 22. A =

= b i M i [x], gdy charf = p, to a i jest pierwiastkiem wielomianu x n i

Robert Kowalczyk. Zbiór zadań z teorii miary i całki

Algebra Abstrakcyjna i Kodowanie Lista zadań

Wykład 5. Ker(f) = {v V ; f(v) = 0}

Zbiory, relacje i funkcje

FUNKCJE. (odwzorowania) Funkcje 1

Algebra z geometrią analityczną zadania z odpowiedziami

Baza w jądrze i baza obrazu ( )

Macierze - obliczanie wyznacznika macierzy z użyciem permutacji

Działanie grupy na zbiorze

Algebra z geometrią analityczną zadania z odpowiedziami

Transkrypt:

1. Wykład 1: Grupy i izomorfizmy grup. Podgrupy, podgrupy generowane przez zbiór. 1.1. Grupy i izomorfizmy grup. Definicja 1.1. Niech A będzie niepustym zbiorem. Działaniem wewnętrznym (lub, krótko, działaniem) w zbiorze A nazywamy funkcję : A A A. NiechponadtoB będzie niepustym zbiorem. Działaniem zewnętrznym wzbiorzea nazywamy funkcję : B A A. Uwaga 1.1. To, że w zbiorze A określono działanie wewnętrzne wszczególnościoznacza,że: (1) x, y A[ (x, y) istnieje], (2) x, y A[ (x, y) A]. Zamiast (x, y) będziemy na ogół pisać x y. Podobnie,jeśliB, toto,żewzbiorzea określono działanie zewnętrzne wszczególnościoznacza,że: (1) a B x A[ (a, x) istnieje], (2) a B x A[ (a, x) A]. Zamiast (a, x) będziemy na ogół pisać a x. Natymwykładziebędziemyzajmowaćsięprawiewyłącznie działaniami wewnętrznymi. (1) Dodawanie liczb naturalnych jest działaniem w zbiorze N. Zauważmy,żedodawaniemożemy formalnie zdefiniować rekurencyjnie jako funkcję d : N N N warunkiem: { d(x, 0) = x d(x, y) = d(x, S(y)) = S(d(x, y)), gdzie S : N N oznacza funkcję następnika liczb naturalnych. Symbol + dlaoznaczenia dodawania wprowadził w 1489 roku Johannes Widmann. (2) Mnożenie liczb naturalnych jest działaniem w zbiorze N. Podobniejakdodawanie,mnożenie możemy zdefiniować rekurencyjnie jako funkcję m : N N N daną warunkiem: { m(x, 0) = 0, m(x, y) = m(x, S(y)) = m(x, y)+x, gdzie, jak poprzednio, S : N N oznacza funkcję następnika liczb naturalnych. Znak dla oznaczenia mnożenia wprowadził w 1631 roku William Oughtred, zaś symbol zaproponował Gottfried Wilhelm von Leibniz w roku 1698. (3) Odejmowanie i dzielenie nie są działaniami w zbiorze N: 3 5 / N oraz 1 2 / N. Zdrugiej strony, odejmowanie jest działaniem w Z, a dzielenie jest działaniem w Q \{0}. (4) Mnożenie wektorów na płaszczyźnie przez skalary rzeczywiste jest przykładem działania zewnętrznego. Definicja 1.2. Niech A będzie niepustym zbiorem, a i działaniami w A. (1) Mówimy, że jest łączne, jeżeli (2) Mówimy, że jest przemienne, jeżeli x, y, z A[x (y z) =(x y) z]. x, y A[x y = y x]. 1

2 (3) Mówimy, że ma element neutralny e, jeżeli x A[x e = e x = x]. (4) Mówimy, że y jest elementem odwrotnym do x, jeżeli x y = y x = e. (5) Mówimy, że jest rozdzielne względem, jeżeli x, y, z A[x (y z) =x y x z]. (5) Dodawanie i mnożenie liczb naturalnych są łączne i przemienne. 0 jest elementem neutralnym dodawania, a 1 jest elementem neutralnym mnożenia. Ponadto mnożenie jest rozdzielne względem dodawania. 1 nie ma elementu odwrotnego względem dodawania,a2niemaelementuodwrotnego względem mnożenia. (6) Rozważmy dodawanie i mnożenie liczb całkowitych. Każda liczba całkowita ma element odwrotny względem dodawania, ale 2 nie ma elementu odwrotnego względem mnożenia. (7) Rozważmy dodawanie i mnożenie liczb wymiernych. Każda liczba wymierna ma element odwrotny względem dodawania i każda niezerowa liczba wymierna ma element odwrotny względem mnożenia. (8) Rozważmy dowolny niepusty zbiór X irodzinęa wszystkich funkcji f : X X oraz działanie składania funkcji. Jest to działanie łączne, ale nie jest przemienne. Funkcja identycznościowa X x x X jest elementem neutralnym tego działania, a jedyne funkcje, które mają elementy odwrotne, to funkcje różnowartościowe. Definicja 1.3. (1) Algebrą nazywamy ciąg (A, 1,..., n,b 1,...,B m, 1,..., m), gdziea jest niepustym zbiorem, 1,..., n działaniami wewnętrznymi w zbiorze A, a 1,..., m działaniami zewnętrznymi w zbiorze A (wraz z odpowiadającymi im zbiorami B 1,...,B m ). (2) Grupą nazywamy algebrę (G, ), gdzie jest łączne, ma element neutralny i każdy element w zbiorze G ma element odwrotny. Jeżeli ponadto jest przemienne, to grupę (G, ) nazywamy przemienną (lub abelową). (9) Przykładami algebr znanymi z wykładu z algebry liniowej są ciała, czyli algebry (F, +, ), gdzie + i są działaniami łącznymi, przemiennymi, mającymi elementy neutralne, odpowiednio, 0 i 1 oraz takie, że każdy element zbiorów, odpowiednio, F i F ma element odwrotny. Przykładami algebr, w których występują działania zewnętrzne, są przestrzenie liniowe, czyli algebry (V,+,F, ), gdzie+ jest działaniem wewnętrznym zbioru F,którejestłączne,przemienne, ma element neutralny i względem którergo każdy element zbioru V ma element odwrotny, natomiast : F V V jest pewnym działaniem zewnętrznym, przy czym F jest ciałem. (10) Grupy liczbowe. (Z, +), (Q, +), (R, +), (C, +) są przykładami grup przemiennych. (N, +) nie jest grupą. Podobnie (Q, ), (R, ), (C, ), gdziea = A \{0}, sągrupamiprzemiennymi.(n, ) i (Z, ) nie są grupami. (11) Grupy pochodzące od ciała. Uogólniając poprzedni przykład, dla dowolnego ciała (F,+, ) algebry (F, +) oraz (F, ) są grupami przemiennymi. (12) Grupy reszt. Niech n N ioznaczmyprzezz n = {0, 1,...,n 1}. WzbiorzeZ n definiujemy dodawanie modulo n: x n y = reszta z dzielenia x + y przez n

oraz mnożenie modulo n: Niech ponadto x n y = reszta z dzielenia x y przez n. U(Z n )={k Z n : NWD(k, n) =1}. (Z n, n ) i (U(Z n ), n ) są przykładami grup przemiennych. (Z n, n) na ogół nie jest grupą, chyba że n jest liczbą pierwszą wówczas Z n = U(Z n). (13) Grupy macierzy. Niech F będzie dowolnym ciałem, niech M(n, F ) oznacza zbiór macierzy kwadratowych stopnia n owspółczynnikachzciałaf. (M(n, F ), +) jest grupą przemienną, przy czym + oznacza tu dodawanie macierzy. Niech GL(n, F )={A M(n, F ):deta 0}. (GL(n, F ), ) jest grupą, która na ogół nie jest przemienna, przy czym oznacza tu mnożenie macierzy. Grupę tę nazywamy grupą liniową stopnia n nad ciałem F. Niech SL(n, F )={A M(n, F ):deta =1}. (SL(n, F ), ) jest grupą, która na ogół nie jest przemienna. Grupę tę nazywamy specjalną grupą liniową stopnia n nad ciałem F. (14) Grupy związane z przestrzenią liniową. Niech V będzie przestrzenią liniową. (V,+) jest grupą przemienną, przy czym + oznacza tu dodawanie wektorów. Oznaczmy przez Aut(V ) zbiór automorfizmów liniowych przestrzeni V. (Aut(V ), ) jest grupą, która na ogół nie jest przemienna, przy czym jest tu działaniem składania przekształceń liniowych. Załóżmy, że w przestrzeni V zdefiniowaliśmy funkcjonał dwuliniowy ξ określający na V strukturę przestrzeni euklidesowej. Oznaczmy przez O(V ) zbiór automorfizmów ortogonalnych przestrzeni V. (O(V ), ) jest grupą, która na ogół nie jest przemienna. Grupę tę nazywamy grupą ortogonalną przestrzeni (V,ξ). (15) Grupy funkcji. Niech (G, ) będzie grupą, niech X. Wrodziniefunkcji definiujemy działanie G X = {f : X G : f jest funkcją} (f g)(x) =f(x) g(x). (G X, ) jest grupą, która jest przemienna, gdy G jest przemienna. (16) Grupy zadane tabelkami Cayleya. Działania w grupach często wygodnie jest zapisywać w tabelkach Cayleya. Na przykład tabelka działań w grupie (Z 5, 5) wygląda następująco: 5 4 1 4 2 2 4 1 3 3 3 1 4 2 4 4 3 2 1 Przykładem grupy zadanej przez tabelkę Cayleya, która nie ma odpowiednika wśród grup liczbowych, jest grupa czwórkowa Kleina (K 4, ),gdziek 4 = {a, b, c, d} oraz działanie zdefiniowane 3

4 jest następująco: a b c d a a b c d b b a d c c c d a b d d c b a (17) Grupy przekształceń. Niech X, niech S(X) ={f : X X : f jest bijekcją}. (S(X), ) jest grupą, która na ogół nie jest przemienna, przy czym oznacza tu działanie składania funkcji. Jeśli X = {1, 2,...,n}, togrupęs(x) oznaczamy przez S(n) inazywamygrupą symetryczną stopnia n albo grupą permutacji stopnia n. Dlagrupsymetrycznychprzyjmujemy następującą notację: jeśli σ S(n) i σ(1) = i 1,...,σ(n) =i n,topiszemy σ = ( ) 1 2... n. i 1 i 2... i n Na przykład dla n =3elementy grupy S(3) to następujące funkcje: id 3 : s 1 : ( ) ( ) 1 3 2 o 1 : s 2 : ( ) ( 2 3 1 ) 3 2 1 o 2 : s 3 : ( ) ( 3 1 2 ). 2 1 3 Tym samym tabelka działań w grupie S(3) wygląda następująco: id 3 o 1 o 2 s 1 s 2 s 3 id 3 id 3 o 1 o 2 s 1 s 2 s 3 o 1 o 1 o 2 id 3 s 2 s 3 s 1 o 2 o 2 id 3 o 1 s 3 s 1 s 2 s 1 s 1 s 3 s 2 id 3 o 2 o 1 s 2 s 2 s 1 s 3 o 1 id 3 o 2 s 3 s 3 s 2 s 1 o 2 o 1 id 3.Widzimy,żejesttoprzykładgrupynieprzemiennej:s 1 o 1 = s 2,aleo 1 s 1 = s 3. (18) Grupy izometrii własnych n-kąta foremnego. Dla n 3, n N, oznaczmyprzezd(n) zbiór izometrii własnych n-kąta foremnego. (D(n), ) jest grupą. Na przykład grupa D(3) składa się z

5 następujących izometrii trójkąta równobocznego: ID 3 : O 1 : O 2 : identyczność obrót o 120 obrót o 240 S 1 : S 2 : S 3 : symetria względem symetralnej przechodzącej przez wierzchołek 1 symetria względem symetralnej przechodzącej przez wierzchołek 2 Tabelka działań w grupie D(3) wygląda zatem następująco: symetria względem symetralnej przechodzącej przez wierzchołek 3 ID 3 O 1 O 2 S 1 S 2 S 3 ID 3 ID 3 O 1 O 2 S 1 S 2 S 3 O 1 O 1 O 2 ID 3 S 2 S 3 S 1 O 2 O 2 ID 3 O 1 S 3 S 1 S 2 S 1 S 1 S 3 S 2 ID 3 O 2 O 1 S 2 S 2 S 1 S 3 O 1 ID 3 O 2 S 3 S 3 S 2 S 1 O 2 O 1 ID 3. (19) Skończony produkt grup. Niech (G 1, 1 ),...,(G n, n ) będą grupami. W produkcie kartezjańskim G = G 1... G n definiujemy działanie po współrzędnych : (a 1,...,a n ) (b 1,...,b n )=(a 1 1 b 1,...,a n n b n ). (G, ) jest grupą. Jako przykład rozważmy grupy (Z 2, 2 ) i (Z 2, 2 ).Wówczas itablelkadziałańwyglądanastępująco: Z 2 Z 2 = {(0, 0), (0, 1), (1, 0), (1, 1)} (0, 0) (0, 1) (1, 0) (1, 1) (0, 0) (0, 0) (0, 1) (1, 0) (1, 1) (0, 1) (0, 1) (0, 0) (1, 1) (1, 0) (1, 0) (1, 0) (1, 1) (0, 0) (0, 1) (1, 1) (1, 1) (1, 0) (0, 1) (0, 0) Definicja 1.4. Niech (G 1, 1 ) i (G 2, 2 ) będą grupami. Funkcję f : G 1 G 2 nazywamy izomorfizmem grup, jeżelijestbijekcjąispełnionyjestwarunek x, y G 1 [f(x 1 y)=f(x) 2 f(y)]. Jeżeli istnieje izomorfizm f : G 1 G 2,togrupyG 1 i G 2 nazywamy izomorficznymi, co oznaczamy przez G 1 = G2.

6 (20) Grupy S(3) i D(3) są izomorficzne. Istotnie, rozważmy funkcję f : S(3) D(3), którą, dla wygody oznaczeń, zdefiniujemy tabelką jako: σ id 3 o 1 o 2 s 1 s 2 s 3 f(σ) ID 3 O 1 O 2 S 1 S 2 S 3 Oczywiście jest to bijekcja. Porównując tabelki działan w S(3) i D(3) widzimy, że jest to też izomorfizm grup. (21) Grupy K 4 i Z 2 Z 2 są izomorficzne. Istotnie, izomorfizm ustala funkcja f : K 4 Z 2 Z 2 dana tabelką x a b c d f(x) (0, 0) (0, 1) (1, 0) (1, 1) Wdowolnejgrupie(G, ) wprowadzamy oznaczenie n x i = x 1... x n. i=1 Wszczególności n i=1 x = xn.tradycyjnieużywamywteoriigrupdwóchrównoległychterminologii, addytywnej i multyplikatywnej, według następującego schematu: Definicja Notacja addytywna Notacja multyplikatywna + działanie dodawanie mnożenie suma iloczyn 0 1 element neutralny zero jedynka nx x potęga element odwrotny wielokrotność x element przeciwny Twierdzenie 1.1. Niech (G, ) będzie grupą. Wówczas: potęga x 1 element odwrotny (1) element neutralny e jest wyznaczony jednoznacznie; (2) m i=1 x i m+n j=m+1 x j = m+n k=1 x k,dlax 1,...,x m+n G; (3) x m+n = x m x n,dlax G; (4) (x m ) n = x mn,dlax G; (5) element odwrotny jest wyznaczony jednoznacznie; (6) (x n 1 1... x n k k ) 1 = x n k k... x n 1 1,dlax 1,...,x k G; (7) (x 1 ) 1 = x, dlax G; (8) (x 1 y x) n = x 1 y n x, dlax, y G; (9) jeżeli x y = x z, toy = z oraz jeżeli y x = z x, toy = z (prawo skracania). Dowód. Udowodnimy dla przykładu część (1): jeśli e i e są dwoma elementami neutralnymi, to wówczas e = e e = e.

1.2. Podgrupy, podgrupy generowane przez zbiór. Definicja 1.5. Niech (G, ) będzie grupą. Podzbiór H zbioru G nazywamy podgrupą grupy G (piszemy H<G), gdy (H, H H ) jest grupą. (1) Z < R zdodawaniem; (2) R < C zmnożeniem; (3) SL(n, F ) <SL(n, F ) zmnożeniemmacierzy; (4) Z n nie jest podgrupą grupy Z. Twierdzenie 1.2. Niech = H G iniech(g, ) będzie grupą. Następujące warunki są równoważne: (1) H<G; (2) H ma następujące własności: 1 G H, x, y H(xy H), x H(x 1 H); (3) H ma następującą własność: x, y H(xy 1 H). Dowód. Równoważność (1) (2) jest oczywista. Dla dowodu implikacji (2) (3) ustalmy x, y H. Mamy, że y 1 H, więcxy 1 H. Pozostajeudowodnićimplikację(3) (1). PonieważH, więc istnieje x H. Stąd 1 G = xx 1 H. Dalej: Ustalmy x, y H. Wówczasy 1 H, azatem: x 1 =1 G x 1 H. xy = x(y 1 ) 1 H. (5) Zauważmy, że µ n (C) ={z C : z n =1} < C.Istotnie,ustalmyz 1,z 2 µ n (C), azatemniech z1 n =1i zn 2 =1.Wówczas(z 1z2 1 )n =( z 1 z 2 ) n = zn 1 = 1 =1,czyliz z2 n 1 1z2 1 µ n (C). (6) Zauważmy, że {0, 2, 4} < Z 6 zdodawaniem.istotnie,0 {0, 2, 4}, dodawanienakażdejparzenie wychodzi poza zbiór {0, 2, 4} oraz 0 jest elementem symetrycznym dla 0, 2 dla 4 i 4 dla 2. (7) Zauważmy, że 2Z = {2k : k Z} < Z zdodawaniem.istotnie,ustalmyx, y 2Z, azatemniech x =2k i y =2l. Wówczasx y =2k 2l =2(k l), czylix y 2Z. (8) Zauważmy, że jeśli G jest dowolną grupą, to {1 G } <Goraz G<G. Podgrupy te nazywamy podgrupami niewłaściwymi, wszystkie pozostałe podgrupami właściwymi. Twierdzenie 1.3. Niech R = {H i : i I} będzie rodziną podgrup grupy G; (1) i I H i jest podgrupą grupy G, (2) i I H i jest podgrupą grupy G, oiler jest łańcuchem. 7

8 Dowód. azatem (1) Oznaczmy F = i I H i.ustalmyx, y F.Wtedy i I(x, y H i ), i I(xy 1 H i ), czyli xy 1 F. (2) Oznaczmy F = i I H i.ustalmyx, y F.Wtedy azatem czyli xy 1 F. i 0 I(x, y H i0 ), i 0 I(xy 1 H i0 ), Definicja 1.6. Niech (G, ) będzie grupą oraz A G pewnym zbiorem. Najmniejszą w sensie inkluzji podgrupę grupy G zawierającą zbiór A (tj. przekrój wszystkich podgrup grupy G zawierających A) nazywamy podgrupą generowaną przez A ioznaczamy A. Uwaga 1.2. Podgrupa grupy G generowana przez zbiór A ma następujące własności: (1) A <G, (2) A A, (3) jeśli H<Goraz A H, towtedy A <H. Definicja 1.7. Każdy zbiór A otejwłasności,że A = G nazywamy zbiorem generatorów grupy G. Jeśli A = {a 1,...,a n } to oznaczamy a 1,...,a n = A. Mówimy, że grupa jest skończenie generowana, gdyistniejąelementyg 1,...,g n G takie, że G = g 1,...,g n. Uwaga 1.3. Wszczególnościgrupaskończeniegenerowananiemusibyćskończona, na przykład Z = 1. Twierdzenie 1.4 (o postaci elementów podgrupy generowanej przez zbiór). Niech (G, ) będzie grupą, niech A G. Wówczas A = {a k 1 1 a k 2 2...a kn n : n N,k i Z,a i A}. Dowód. Oznaczmy A 1 = {a k 1 1 ak 2 2...akn n : n N,k i Z,a i A}. Pokażemy, że A 1 <G. Zauważmy, że 1 G A 1 :istotnie,weźmya 1 A. Wtedyzdefinicjipotęgia 0 1 =1 G A 1.Zauważmy dalej, że dla x, y A 1 zachodzi xy A 1 :istotnie,ustalmyx = a k 1 1 a k 2 2...a kn n, y = b l 1 1 b l 2 2...b lm m, n, m N, k i,l i Z, a i,b i A. Mamy: xy = a k 1 1 a k 2 2...a kn n b l 1 1 b l 2 2...b lm m A 1. Na koniec zauważmy, że dla x A 1 zachodzi x 1 A 1 :istotnie,ustalmyx = a k 1 1 a k 2 2...a kn n, n N, k i Z, a i A. Mamy: x 1 =(a k 1 1 a k 2 2...a kn n ) 1 = a kn n a k n 1 n 1...a k 1 1 A 1.

Pozostaje pokazać, że A 1 = A. Inkluzja( ) jest oczywista, pozostaje wykazać inkluzję ( ). Dowód prowadzimy przez indukcję względem n. Dlan =1ustalmy a 1 A. Zdefinicjipodgrupy,a k 1 1 należy do wszystkich podgrup zawierających a 1,awięcizbiórA, zatemzdefinicjia k 1 1 A. Załóżmy, że twierdzenie zachodzi dla pewnej ustalonej liczby n>1, awięcżedlaa 1,a 2,...,a n A, k 1,...,k n Z zachodzi a k 1 1...akn n A. Wówczas dla dla a 1,a 2,...,a n,a n+1 A, k 1,...,k n,k n+1 Z zachodzi Wniosek 1.1. a k 1 1...a kn n }{{} A a k n+1 n+1 }{{} A A. (1) Niech G będzie grupą oraz niech a G. Wówczas a = {a k : k Z}. (2) Niech (G, ) będzie grupą abelową oraz niech {a 1,...,a n } G. Wówczas a 1,...,a n = {a k 1 1...a kn n : k i Z}. (9) 1 = Z; (10) 1 = Z n, n N; (11) 2, 3 = {2k +3l : k, l Z} < Z; (12) 4, 5 = {4 n 5 m : n, m Z} < R ; (13) W grupie D(3) = {ID 3,O 1,O 2,S 1,S 2,S 3 } mamy: ID 3 = {ID 3 }, O 1 = {ID 3,O 1,O 2 }, O 2 = {ID 3,O 1,O 2 }, S 1 = {ID 3,S 1 }, S 2 = {ID 3,S 2 }, S 3 = {ID 3,S 3 }, O 1,S 1 = D(3); (14) Q = {±p k 1 1...p kn n : n N,k i Z,p i P}, gdziep oznacza zbiór liczb pierwszych; (15) W grupie GL(n, F ) rozważmy macierze postaci 1 0... 0... 0... 0 0 1... 0... 0... 0 1 0... 0... 0.............. 0 1... 0... 0 0 0... 1... a... 0. T ij (a) =.......... i............. oraz O i (a) = 0 0... a... 0 0 0... 0... 1... 0 j........................ 0 0... 0... 1 0 0... 0... 0... 1 i i j i 9

10 zwane, odpowiednio, transwekcjami oraz dylatacjami. Wówczas GL(n, F )= {T ij (a),o i (b) :a, b F, i, j {1,...,n}}.