357502987

357502987



3


1.1. GRUPY, PODGRUPY, HOMOMORFIZMY

równoliczne a ich wspólną moc nazywa się indeksem podgrupy H w grupie G. Zbiór parami rozłącznych warstw lewostronnych a*i/ oznacza się G : H. Moc \G : H\ zbioru warstw G : H, czyli moc zbioru I, jest więc indeksem podgrupy H w grupie G.

Rozkład grupy G na sumę mnogościową parami rozłącznych warstw wraz z faktem, że każde dwie warstwy grupy względem tej samej podgrupy są równoliczne, prowadzi natychmiast do twierdzenia Lagrange’a mówiącego, że dla grupy skończonej G i jej dowolnej podgrupy H mamy

|C:/f|-|ff| = |0|.

Łatwo też zauważyć uogólnienie: dla gi'upy skończonej G, jeśli K < H < G, to \G : H\\H : K\ = \G : K\.

1.1.3 Podgrupy normalne

Podgrupa H grupy G nazywa się podgrupą normalną, jeśli aH = Ha Va € G.

Piszemy wtedy H <G. Zob. [S], zad. 213, gdzie podanych jest 10 innych warunków definiujących podgrupę normalną.

Dwie podstawowe obserwacje:

1.    Jeśli H < G i K < G, to HK = KH i wobec tego HK jest podgrupą grupy G. A więc iloczyn kompleksowy dowolnej podgrupy normalnej i dowolnej podgrupy grupy G jest podgrupą grupy G.

2.    Jeśli H < G oraz a, 6 € G, to

aH ■ bH = a(Hb)H = a(bH)H = abHH = abH.

A więc iloczyn kompleksowy dwóch warstw względem podgrupy normalnej H jest znów warstwą względem H. Zbiór G : H wszystkich warstw aH grupy G względem podgrupy normalnej H oznacza się G/H. Zbiór G/H z kompleksowym mnożeniem warstw jest grupą (z jedynką H). Nazywa się ją grupą ilorazową grupy G względem podgrupy normalnej H.

Przykład 1.1.2. Jeśli grupa G jest abelowa, to każda podgrupa H grupy G jest podgrupą normalną.

W dowolnej grupie G jej centrum

Z(G)={aeG:ag = ga V9 6 G}

jest podgrupą normalną w G.

W pełnej grupie liniowej GL (n,K) stopnia n nad ciałem K centrum składa się z wszystkich macierzy skalarnych al, gdzie aK* oraz I jest macierzą jednostkową stopnia n (zob. [S], zad. 288). Mamy także SL(n, K) < GL(n, K). Dla A GL(n, K) warstwa A • SL(n, K) składa się z wszystkich macierzy grupy GL(n, K), których wyznacznik jest równy det A.

Komutantem grupy G nazywa się podgrupę [G, G] grupy G generowaną przez zbiór wszystkich komutatorów, czyli elementów postaci [a, b\ := a~lb~lab, gdzie a, b są dowolnymi elementami G. W grupie abelowej G mamy [a, 6] = 1 dla każdych a, b € G, zatem także [G,G] = 1. Natomiast w grupie nieabelowej G jej komutant [G, G] jest zawsze nietrywialną podgrupą grupy G. Ponadto, [G, G] < G dla każdej grupy G. Łatwo stwierdzić, że grupa ilorazowa G/[G, G] jest abelowa.

Grupę G^{1} nazywa się prostą, jeśli podgrupa jednostkowa E = {1} oraz cała grupa G są jedynymi podgrupami normalnymi w G.

Przykład 1.1.3. (a) Na podstawie twierdzenia Lagrange’a, jeśli rząd grupy G jest liczbą pierwszą, to grupa G nie posiada właściwych podgrup i tym bardziej nie posiada właściwych podgrup normalnych, jest zatem grupą prostą. A więc grupy reszt Zp, gdzie p jest liczbą pierwszą, są proste, (b) W kursowym wykładzie algebry dowodzi się także, że grupy alternujące An (grupy permutacji parzystych) dla n > 5 są grupami prostymi.



Wyszukiwarka

Podobne podstrony:
Nowy 12 (6) JU Sygnały i ich parametry Szum nazywa się białym, jeśli jego Pxx(f) jest stałe i nie za
Czy wiesz, jak nazywają się zwierzęta pokazane na obrazkach? Wymień ich nazwy. A jak nazywają się do
1.3. DEFINICJA. Homomorfizm liniowy posiadający odwzorowanie odwrotne nazywa się i/omorfi/mem przest
4.2. Rzut prostokątny równoległy4.2.1. Materiał nauczania Rzutowaniem nazywa się przenoszenie obrazu
5 1.1. GRUPY, PODGRUPY, HOMOMORFIZMY1.1.4 Homomorfizmy Homomorfizmem grupy G w grupę G nazywamy każ
7 1.1. GRUPY, PODGRUPY, HOMOMORFIZMY Injektywny homomorfizm grup h : G —> G nazywa się zwykle
1.1. GRUPY, PODGRUPY, HOMOMORFIZMY Wniosek 1.1.9. Jeśli K<G, H <G i K < H, to K<H oraz (
3 1.1. GRUPY, PODGRUPY, HOMOMORFIZMY Dla każdych trzech podzbiorów A, B,C grupy G mamy (A • B) ■ C =
5 1.1. GRUPY, PODGRUPY, HOMOMORFIZMY Rozważymy teraz własność homomorfizmów dualną w stosunku do
71.1. GRUPY, PODGRUPY, HOMOMORFIZMY Zatem a ■ fi_1(L) ■ a-1 C h_1(L). Stąd wynika już, że fi_1(L) &l
img005 (67) 13 Międzynarodowa ochrona praw człowieka. Zarys kańskiej, zaś podstawą ich jest równość.
PAŃSIMO 65 granicach ich wspólnej podstawy, trudno wyjść. Każda laka próba jest równoznaczna z

więcej podobnych podstron