MASARYKOVA UNIVERZITA V BRNĚ. Akce grupy

Rozměr: px
Začít zobrazení ze stránky:

Download "MASARYKOVA UNIVERZITA V BRNĚ. Akce grupy"

Transkript

1 MASARYKOVA UNIVERZITA V BRNĚ Přírodovědecká fakulta Bakalářská práce z matematiky Akce grupy Brno 2009 Lenka Macálková

2 Prohlášení: Prohlašuji, že jsem tuto bakalářskou práci vypracovala zcela samostatně pod vedením prof. RNDr. Radana Kučery, DSc. a veškerou použitou literaturu jsem uvedla v seznamu. Současně souhlasím s tím, aby byla práce uložena v knihovně Přírodovědecké fakulty Masarykovy univerzity v Brně a zpřístupněna na internetových stránkách Přírodovědecké fakulty ke studijním účelům. V Brně dne 30. května Lenka Macálková

3 Poděkování: Ráda bych poděkovala prof. RNDr. Radanu Kučerovi, DSc. za ochotu a trpělivost, se kterými vedl moji bakalářskou práci, a za cenné rady a připomínky k ní.

4 Obsah Úvod 5 1 Akce grupy na množině Základní pojmy Základní pojmy Rozklad na nezávislé cykly Akce grupy na sobě násobením zleva, Cayleyova věta Akce grupy na sobě násobením zleva Cayleyova věta Akce grupy na sobě konjugovaností Akce grupy na sobě konjugovaností Konjugovanost v S n Automorfismy Vlastnosti grupy automorfismů Charakteristické podgrupy Sylowovy věty Sylowovy věty Využití Sylowových vět Grupy symetrií a alternující grupy Alternující grupy Grupy symetrií Automorfismy grupy symetrií Struktura centralizéru permutace Literatura 50

5 Úvod V této bakalářské práci se budeme zabývat působením neboli akcí grupy na množině. K tomu, aby čtenář dobře porozuměl textu práce, by měl mít základní znalosti o grupách v rozsahu [6], přičemž pro větší srozumitelnost a čitelnost textu budou některé pojmy připomenuty a tvrzení zopakována. Celá práce je rozdělena do čtyř kapitol. V první kapitole se seznámíme s definicí akce grupy na množině, zavedeme další základní pojmy a rozebereme si dva důležité typy akce: akci grupy působením zleva a akci grupy pomocí konjugovanosti. Ve druhé kapitole se budeme věnovat automorfismům. V první části odvodíme některé vlastnosti grupy automorfismů. Ve druhé si uvedeme definici charakteristické a komutátorové podgrupy a blíže se podíváme, jak vypadají faktorgrupy, jestliže faktorizujeme podle podgrupy obsahující komutátorovou podgrupu. Náplní třetí kapitoly jsou Sylowovy věty. Kromě odvození vlastností p-sylowských podgrup si ukážeme některé aplikace na příkladech. V poslední kapitole se budeme podrobněji věnovat symetrickým a alternujícím grupám. V prvním paragrafu definujeme pojem jednoduché grupy a vzápětí ukážeme, že každá alternující grupa je pro n 5 jednoduchá. Ve druhém paragrafu se dozvíme více o automorfismech symetrických grup. Na závěr práce dokážeme, že centralizér permutace na n-prvkové množině je izomorfní s kruhovým součinem Z k S m pro vhodná k, m N. Tato bakalářská práce byla vysázena systémem L A TEX. 5

6 Kapitola 1 Akce grupy na množině 1.1 Základní pojmy V první části této kapitoly se seznámíme s pojmem akce grupy na množině a odvodíme její základní vlastnosti. Dále ukážeme platnost některých tvrzení, která budeme v pozdějším textu potřebovat. V další části se budeme věnovat akci grupy násobením zleva a s její pomocí dokážeme některá tvrzení včetně Cayleyovy věty. Obsahem posledního paragrafu této kapitoly bude akce grupy pomocí konjugovanosti a na závěr se podrobněji podíváme na konjugovanost v grupách S n Základní pojmy Poznámka Ve většině případů budeme grupu (G, ) označovat pouze písmenem G. Často budeme také vynechávat symbol operace. Tedy pro prvky x, y G bude xy značit součin prvků x a y. Dále poznamejme, že označením N budeme rozumět množinu přirozených čísel. Nulu za přirozené číslo považovat nebudeme. Symbolem H G, resp. H G, budeme označovat podgrupu H grupy G, resp. normální podgrupu H grupy G. Definice Necht G je grupa a A je neprázdná množina. Akcí grupy G na množině A (nebo také působením G na A) nazveme zobrazení : G A A, které splňuje následující dvě podmínky: 1. g 1 (g 2 a) = (g 1 g 2 ) a, pro všechna g 1, g 2 G, a A, 2. 1 a = a, pro všechna a A, kde 1 G je neutrální prvek vůči operaci v grupě G. 6

7 Poznámka Všimněme si, že g a neznačí výsledek operace, ale prvek množiny A. První podmínka tedy říká, že prvek g 1 G působí na prvek g 2 a A se stejným výsledkem, jako součin prvků g 1 g 2 G působí na prvek a A. Věta Necht grupa G působí na množině A. Dále pro libovolné g G označme σ g zobrazení σ g : A A dané předpisem σ g (a) = g a pro každé a A. Pak platí: 1. pro libovolné g G je σ g permutace na množině A, 2. zobrazení ϕ : G S A definované vztahem ϕ(g) = σ g, je homomorfismus grup. Důkaz. 1. K tomu, abychom ukázali, že zobrazení σ g je permutace na A, musíme dokázat, že je to bijekce. Ověříme, že σ g 1 je invezní k σ g. Víme, že toto zobrazení existuje, protože g je prvek grupy G. Pro každé a A platí: (σ g 1 σ g )(a) = σ g 1(σ g (a)) = g 1 (g a). Protože předpokládáme, že grupa G působí na množině A, dostáváme: g 1 (g a) = (g 1 g) a = 1 a = a. Ukázali jsme, že (σ g 1 σ g )(a) = a. Pokud vezmeme místo prvku g prvek g 1 (což můžeme, protože g G je libovolné) a budeme postupovat stejným způsobem, dostaneme, že i (σ g σ g 1)(a) = a. Tedy zobrazení σ g je opravdu bijekce a (σ g ) 1 = σ g Nyní dokážeme, že zobrazení ϕ : G S A, určené předpisem ϕ(g) = σ g pro každé g G, je homomorfismem grup. Necht g 1, g 2 G, a A libovolné. Pak platí, že ϕ(g 1 g 2 )(a) = σ g1 g 2 (a) = (g 1 g 2 ) a Nyní využijeme předpokladu, že grupa G působí na A: (g 1 g 2 ) a = g 1 (g 2 a) = σ g1 (σ g2 (a)) = (ϕ(g 1 ) ϕ(g 2 ))(a). Tedy ϕ je homomorfismus grup. Definice Necht G je grupa, A je množina a necht G působí na A. Homomorfismus ϕ : G S A, ϕ(g) = σ g, který je popsaný v předchozí větě, se nazývá reprezentace permutacemi odpovídající dané akci grupy G na množině A. 7

8 Uvědomme si, že reprezentace permutacemi je jiným vyjádřením akce grupy G na množině A. Naopak pro libovolný homomorfismus ϕ : G S A platí, že předpis g a = ϕ(g)(a), pro všechna g G a všechna a A, jistě splňuje podmínky akce grupy na množině. Před tím, než uvedeme příklady akce grupy G na množině A, definujme ještě dva její speciální typy: Definice Necht G je grupa a necht A je množina. 1. Jestliže g a = a pro všechna a A a všechna g G, pak řekneme, že akce grupy G na A je triviální nebo grupa G působí triviálně na množině A. 2. Akci grupy G na množině A nazveme věrnou, jestliže reprezentace permutacemi odpovídající této akci je injektivní zobrazení. Příklad Označme D n dihedrální grupu, tedy grupu všech symetrií pravidelného n-úhelníku, jehož vrcholy si popíšeme 1, 2,..., n. Uvědomme si, že prvky D n nám zadávají permutace na n-prvkové množině všech vrcholů n-úhelníku. Necht f : D n {1, 2,..., n} {1, 2,..., n} je zobrazení definované předpisem f((α, i)) = α(i), kde α je některá ze symetrií n-úhelníku, i {1, 2,..., n} a α(i) označuje obraz vrcholu i v symetrii α. Zobrazení f je akcí grupy D n na množině {1, 2,..., n}, protože podmínky definice akce jsou splněny díky skládání symetrií pravidelného n-úhelníka. Tato akce je věrná, protože jediná symetrie, která nechá všechny vrcholy na místě, je identita. Příklad Necht G je nekomutativní grupa, množina A = G. Dále necht g 1, g 2, a jsou prvky grupy G. Nejdříve ukážeme, že předpisem g a = ag 1 je určená akce. Ověřme první podmínku z definice 1.1.2: g 1 (g 2 a) = g 1 (ag2 1 ) = = (ag2 1 )g1 1 = = a(g2 1 g1 1 ) = = a(g 1 g 2 ) 1 = = (g 1 g 2 ) a. Druhá podmínka je jistě splněna, protože pro každé a G platí, že 1 a = a. Podívejme se, jak by to vypadalo v případě, že bychom uvážili předpis g a = ag. Protože A = G, platí, že g 1 (g 2 a) = g 1 (ag 2 ) = ag 2 g 1 (g 2 g 1 ) a = ag 1 g 2, a protože G není komutativní, jistě existují prvky g 1, g 2 G takové, že g 1 g 2 g 2 g 1. Pak například pro a = 1 není splněna první podmínka z definice akce. 8

9 Definice Necht grupa G působí na množině A. Množina J = {g G g a = a, a A} se nazývá jádro akce grupy G na množině A. Příklad Necht G působí na A triviálně a současně věrně. Pro triviání akci G na A je jádrem příslušné reprezentace celá grupa G. Aby odpovídající reprezentace permutacemi byla injektivní, musí mít toto zobrazení jednoprvkové jádro. To platí právě tehdy, když G = 1. Definice Necht grupa G působí na množině A a necht a A je libovolný. Množina se nazývá stabilizátor prvku a. G a = {g G g a = a} Lemma Necht grupa G působí na množině A. Potom platí, že jádro je průnikem stabilizátorů všech prvků a A, tj. J = a A G a. Důkaz. Budeme dokazovat dvě inkluze. Jádro je množina všech prvků grupy G, které nechávají na místě všechny prvky množiny A, tedy i libovolný prvek a, tzn. jádro je podmnožinou stabilizátoru libovolného prvku. Naopak, pokud prvek g G patří do průniku stabilizátorů všech prvků z A, nechává tyto prvky na místě, tedy patří i do jádra. Příklad Necht grupa G působí na množině A. Ukažme, že jádro akce grupy G na A je stejné jako jádro odpovídající reprezentace permutacemi ϕ. Označme si jádro reprezentace Ker ϕ a jádro akce J. Tyto množiny mají následující tvar: Ker ϕ = {g G ϕ(g)(a) = a, a A}, J = {g G g a = a, a A}. Protože g a = ϕ(g)(a) jsou tyto množiny stejné, tj. Ker ϕ = J. 9

10 Věta Necht grupa G působí na množině A a necht a A je libovolný. Stabilizátor prvku a A tvoří podgrupu grupy G a jádro akce je dokonce normální podgrupou této grupy. Důkaz. Nejdříve dokážeme, že stabilizátor prvku a je podgrupa grupy G. Neutrální prvek grupy G nechává na místě všechny prvky z A, tedy leží ve stabilizátoru libovolného prvku. Necht g, h G a, a A je pevný. Potom (gh) a = g (h a), protože G působí na A, g (h a) = g a, protože h G a a g a = a, protože g G a. Tedy i gh G a. Ještě je třeba ukázat, že v G a leží i inverze k jeho libovolnému prvku. Necht g G a, a A je pevný, pak platí, že g a = a. Nyní budeme na tuto rovnost působit zleva prvkem g 1. Ten jistě existuje, protože g je prvkem grupy G. Dostáváme tedy, že g 1 (g a) = g 1 a. Na levé straně můžeme změnit uzávorkování, protože G působí na A: (g 1 g) a = g 1 a, 1 a = g 1 a, a = g 1 a, tedy i prvek g 1 G a. Dokázali jsme, že G a je podgrupou grupy G. Jádro akce grupy G na A je i jádrem odpovídající reprezentace ϕ (potřebné úvahy jsme provedli v příkladu ). Protože ϕ je homomorfismus, je jeho jádrem normální podgrupa. Věta Necht grupa G působí na množině A. Relace daná předpisem a b g G : a = g b, je relací ekvivalence. Pro libovolné a A existuje bijekce mezi třídou rozkladu A/ obsahující prvek a a levým rozkladem G/G a grupy G podle podrupy G a, tj. obě množiny mají stejná kardinální čísla. Důkaz. Důkaz povedeme ve dvou krocích. Nejprve ukážeme, že relace je ekvivalence. V druhé části budeme hledat vhodné bijektivní zobrazení mezi levým rozkladem G/G a grupy G podle G a a třídou rozkladu A/ obsahující prvek a. O relaci budeme dokazovat, že je reflexivní, symetrická a tranzitivní: reflexivní: Protože G působí na A, platí, že a = 1 a pro každé a A, tzn. a a. 10

11 symetrická: Necht a b, tzn. a = g b pro nějaké vhodné g G. Působením zleva prvkem g 1 dostáváme, že g 1 a = g 1 (g b). Protože G působí na A, platí, že g 1 a = (g 1 g) b, g 1 a = 1 b, b = g 1 a b a. tranzitivní: Necht a b a současně b c, tzn. existují g, h G taková, že Dostáváme, že a = g b, b = h c. a = g b = = g (h c) = = (gh) c a c. Tedy relace je relací ekvivalence na množině A. Abychom dokázali druhou část tvrzení, je potřeba najít bijektivní zobrazení mezi levými třídami rozkladu G podle G a a třídou A/ obsahující prvek a. Označme C a = {g a g G}, třídu rozkladu podle ekvivalence, ve které se nachází prvek a, a gg a levou třídu rozkladu G podle G a. Z vlastností tříd rozkladu víme, že g a = h a (h 1 g) a = a h 1 g G a gg a = hg a. (1.1) Nyní definujeme zobrazení ψ z C a do množiny levých rozkladových tříd G podle G a předpisem ψ(g a) = gg a. Tato definice je korektní, nebot z rovnosti g a = h a plyne podle 1.1 rovnost gg a = hg a. Toto zobrazení je surjektivní, protože pro libovolné g G prvek g a jistě leží v C a. To, že obrazení ψ je též injektivní, plyne z ekvivalence 1.1. Tedy zobrazení ψ je bijektivní. Definice Necht grupa G působí na množině A. 1. Množina {g a g G} definovaná v předchozím důkazu se nazývá orbita prvku a v G a označuje se O a. 2. Akci grupy G na A nazveme tranzitivní, jestliže má právě jednu orbitu, tj. a, b A g G : a = g b. 11

12 Důsledek Necht grupa G působí na konečné množině A, a A. Pak platí, že O a = G/G a. Důkaz. Trvzení vyplývá z druhé části věty pro konečné množiny. Příklad Necht grupa G působí triviálně na množině A. Pak celá grupa je stabilizátorem všech prvků, tj. G a = G, a A, a každá orbita je tedy jednoprvková. Tato akce bude tranzitivní pouze v případě, kdy A je jednoprvková. Příklad Necht G = (1 2), (3 4 5) S 5 působí na {1, 2, 3, 4, 5} předpisem σ a = σ(a) pro každé σ G a každé a {1, 2, 3, 4, 5}. Pak orbity v G jsou O 1 = O 2 = {1, 2} a O 3 = O 4 = O 5 = {3, 4, 5}. Na závěr této části ještě odvodíme několik tvrzení, které budeme v pozdějším textu využívat. Lemma Necht p je prvočíslo, G je grupa řádu p α, kde α N, a necht G působí na konečné množině A. Označme A množinu všech prvků a A takových, že při působení každým g G zůstávají na místě, tedy g a = a pro každé g G. Pak platí, že A A (mod p). Důkaz. Uvědomme si, pokud si počet prvků A napíšeme jako součet počtu prvků v jednotlivých orbitách, musí pro každou orbitu každého prvku platit, že počet jejích prvků je mocninou prvočísla p, nebot platí, že počet prvků v orbitě tohoto prvku je roven indexu jeho stabilizátoru, a tedy podle Lagrangeovy věty dělí G. Protože právě prvky, které při této akci zůstávají na místě, mají jednoprvkové orbity, dostáváme tím požadované tvrzení. Věta Necht (G, ), (H, ) jsou grupy. Potom kartézský součin G H s operací danou předpisem tvoří grupu. (g 1, h 1 ) (g 2, h 2 ) = (g 1 g 2, h 1 h 2 ), g 1, g 2 G, h 1, h 2 H, 12

13 Důkaz. Nejdříve ukážeme, že je operace asociativní. Necht g 1, g 2, g 3 G, h 1, h 2, h 3 H, potom dostáváme [(g 1, h 1 ) (g 2, h 2 )] (g 3, h 3 ) = (g 1 g 2, h 1 h 2 ) (g 3, h 3 ) = = ((g 1 g 2 ) g 3, (h 1 h 2 ) h 3 ) = = (g 1 (g 2 g 3 ), h 1 (h 2 h 3 )) = = (g 1, h 1 ) [(g 2, h 2 ) (g 3, h 3 )]. Neutrální prvkem vůči operaci je zřejmě (1 G, 1 H ) a inverzí prvku (g, h) je prvek (g 1, h 1 ). Definice Grupu (G H, ) definovanou ve větě nazýváme přímým součinem grup G a H. Věta Necht G je konečná komutativní grupa a p je libovolné prvočíslo dělící řád grupy G. Pak v grupě G existuje prvek řádu p. Důkaz. K tomu, abychom ukázali platnost tvrzení využijeme matematické indukce vzhledem k řádu grupy G. Pro G = 1 není třeba tvrzení dokazovat. Předpokládejme tedy, že n 2 a že tvrzení platí pro všechny grupy řádu menšího než n a všechna prvočísla dělící jejich řád. Označením x budeme rozumět řád prvku x. Necht G je libovolná grupa řádu n. Jestliže n je prvočíslo, pak z Lagrangeovy věty plyne, že libovolný netriviální prvek má řád n. Předpokládejme, že n není prvočíslo a zvolme a G takové, že a 1. Pokud je řád prvku a je roven číslu mp pro m N, pak prvek a m má jistě řád p. Nyní naopak předpokládejme, že p nedělí řád prvku a. Uvažme podgrupu H generovanou tímto prvkem. Protože G je komutativní, je H normální. Protože H > 1, platí, že G/H < G. Jelikož p H musí p G/H a podle indukčního předpokladu tato grupa již obsahuje prvek kh řádu p. Protože k H a k p H, musí platit, že k > k p. Označme c řád prvku k. Pro prvek k p pak nutně platí, že k p = c (c,p) dělitelný prvočíslem p a jsme hotovi, nebot k c p má řád p.. Z toho plyne, že řád prvku k je Rozklad na nezávislé cykly V této části se budeme zabývat grupami symetrií S n. Uvedeme tvrzení o rozkladu permutace na nezávislé cykly a na příkladu ukážeme, jakým způsobem může grupa S n působit na množině uspořádaných dvojic. 13

14 Věta Každou neidentickou permutaci na n-prvkové množině můžeme zapsat jako součin nezávislých cyklů, a to jednoznačně až na jejich pořadí. Důkaz. Necht A = {1, 2,..., n}, σ S n, necht G = σ a necht G působí na A předpisem σ a = σ(a) pro každé a A. Pak podle věty je A rozdělena do orbit. Označme jednu z nich O x a jednoho jejího reprezentanta x. Mezi prvky z O x a třídami G podle G x existuje podle věty bijektivní zobrazení σ i x σ i G x. Grupa G je cyklická (tzn. je i komutativní), takže G x je normální podgrupou grupy G a G/G x je také cyklická. Označme n nejmenší přirozené číslo splňující σ n G x. Tedy n = G/G x = O x. Třídy rozkladu grupy G podle G x jsou tvaru Z toho vidíme, že prvky orbity O x jsou σ 0 G x, σg x, σ 2 G x,..., σ n 1 G x. x, σ(x), σ 2 (x),..., σ n 1 (x). Všimněme si, že σ obíhá všechny prvky z O x, tzn. σ působí na orbitě velikosti n jako cyklus délky n. Protože orbity jsou navzájem disjunktní (vždyt jsou to třídy rozkladu podle ekvivalence), nemůže se stát, že by prvek σ k (x) ležel ve dvou cyklech. Tudíž pro každé σ S n existuje rozklad na součin nezávislých cyklů. Pokud bychom z orbity O x vybrali za reprezentanta jiný prvek, dostaneme tentýž cyklus délky n, jen posunutý. Tudíž pro každé σ S n existuje rozklad na součin nezávislých cyklů, který je jednoznačný až na pořadí jednotlivých cyklů. Příklad Necht S 3 působí na množině uspořádaných dvojic Ω = {(i, j) 1 i, j 3} tak, že σ (i, j) = (σ(i), σ(j)). Ukážeme, jak vypadá působení prvkem σ = (1 2 3) S 3 pro tuto akci. Pro názornost si vypišme všechny prvky množiny Ω: (1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3). Nyní spočítáme, jak prvek σ = (1 2 3) působí na množinu Ω. σ (1, 1) = (2, 2), σ (1, 2) = (2, 3), σ (1, 3) = (2, 1), σ (2, 1) = (3, 2), σ (2, 2) = (3, 3), σ (2, 3) = (3, 1), σ (3, 1) = (1, 2), σ (3, 2) = (1, 3), σ (3, 3) = (1, 1). Tento zápis není příliš přehledný, proto si situaci znázorněme jestě schématem: 14

15 (1, 1) (2, 2) (3, 3) (1, 2) (2, 3) (3, 1) (1, 3) (2, 1) (3, 2) Tímto způsobem bychom na množinu Ω mohli působit všemi prvky z S 3. Stabilizátor prvku (i, j) Ω by pak obsahoval ty permutace, pro které platí, že σ (i, j) = (i, j). Například stabilizátorem prvku (1, 1) je tedy G (1,1) = {id, (2 3)}. Uvědomme si, že (2 3) neznačí prvek z Ω ale z S Akce grupy na sobě násobením zleva, Cayleyova věta Akce grupy na sobě násobením zleva Poznámka To, že grupa G působí na sobě, znamená, že jsme za množinu, na které grupa působí, zvolili nosnou množinu grupy G. Působení násobením zleva chápeme jako součin prvků v grupě. Tedy pro a, g G g a = ga. Pokud je G konečná grupa řádu n, je výhodné označit si prvky grupy přirozenými čísly jako g 1,..., g n. Působení některým z prvků pak můžeme chápat jako permutaci na indexech. Příklad Necht grupa G působí na sobě násobením zleva a necht G = {1, a, b, c} je Kleinova grupa, tj. necyklická čtyřprvková grupa. Prvky a, b, c jsou prvky řádu 2. Označme si po řadě prvky grupy čísly 1, 2, 3, 4. Spočítejme permutaci σ a danou působením zleva prvkem a = 2: a 1 = 2 1 = 2, tedy σ a (1) = 2, a a = 2 2 = 1, tedy σ a (2) = 1, a b = 2 3 = 4, tedy σ a (3) = 4, a c = 2 4 = 3, tedy σ a (4) = 3. Tedy působení prvkem a odpovídá v reprezentaci permutacemi (1 2)(3 4). Stejným způsobem spočítáme, že (1 3)(2 4) odpovídá prvku b a (1 4)(2 3) prvku c. 15

16 Akce grupy na sobě násobením zleva je tranzitivní a věrná. Stabilizátorem libovolného prvku je podgrupa obsahující právě neutrální prvek grupy. Působení grupy G na sobě samé násobením zleva můžeme zobecnit. A to tím způsobem, že za množinu A, na které G působí, budeme uvažovat množinu levých tříd rozkladu grupy G podle libovolné podgrupy H, tzn. g ah = gah pro všechny g G, ah A. Třídou gah pak rozumíme třídu rozkladu s reprezentantem ga. Ukážeme, že tímto předpisem je opravdu zadaná akce grupy. Ověříme podmínky z definice 1.1.2: g 1 (g 2 ah) = g 1 g 2 ah = g 1 g 2 ah = (g 1 g 2 ) ah, 1 ah = ah. Je zřejmé, že pokud za podgrupu H zvolíme podgrupu obsahující pouze neutrální prvek grupy G, budou třídy rozkladu právě jednoprvkové množiny. Provedeme-li ztotožnění prvku s takovou jednoprvkovou množinou, dostaneme akci grupy G na sobě násobením zleva (tedy přesně tu, kterou jsme uvažovali v úvodu této části). Věta Necht G je grupa, H její podgrupa a necht G působí na množině levých rozkladových tříd G podle H násobením zleva. Pak platí: 1. akce G na množině levých rozkladových tříd G podle H je tranzitivní, 2. stabilizátorem prvku 1H v grupě G je podgrupa H, tj. G 1H = H, 3. jádro této akce je J = x G xhx 1 a navíc je největší normální podgrupou grupy G, která je obsažená v H. Důkaz. Označme A množinu všech rozkladových tříd G podle H. 1. Necht ah, bh A jsou libovolné a necht g = ba 1. Pak při působení prvkem g na ah dostáváme: g ah = (ba 1 )ah = b(aa 1 )H = b1h = bh. Tedy každé dva prvky leží ve stejné orbitě, tzn. akce má pouze jednu orbitu, tzn. je tranzitivní. 2. Podle definice stabilizátoru (definice ) je G 1H = {g G g 1H = 1H} = {g G gh = H} = H. 16

17 3. Označme xh třídu s reprezentantem x. Potom platí: G xh = {g G gxh = xh} = = {g G x 1 (gx)h = x 1 xh} = = {g G (x 1 gx)h = H} = = {g G (x 1 gx) H} = = {g G g xhx 1 }. Tedy stabilizátorem prvku xh je xhx 1 a podle lemmatu platí, že J = xhx 1. x G Předpokládejme, že N je normální podgrupa grupy G, která je obsažená v H, pak N = xnx 1 xhx 1 pro všechna x G, tedy N x G xhx 1 = J. Tudíž J je největší normální podgrupa G ležící v H Cayleyova věta Věta (Cayley) Libovolná grupa G je izomorfní s vhodnou podgrupou grupy symetrií S G. Pokud je G konečná grupa řádu n, pak je G izomorfní s vhodnou podgrupou grupy S n. Důkaz. Necht H = {1} je triviální podgrupa grupy G. Uvažme akci G na sobě působením zleva. Tato akce je věrná, tudíž jádrem je pouze H. Tedy G lze vnořit do S G. Poznámka Tuto větu poprvé dokázal britský matematik Arthur Cayley ( ). Kromě algebry byla objektem jeho zájmu také projektivní geometrií. Byl jedním z prvních, kdo se zabývali problémem čtyř barev. Příklad Necht G je grupa a H je její podgrupa s indexem n N. Ukážeme, že existuje podgrupa K H, která je normální v G, a platí, že G/K dělí n!. Necht grupa G působí na množině G/H násobením zleva. Označme si π H odpovídající reprezentaci permutacemi. Jádro této reprezentace je normální podgrupa. Platí, že G/ Ker π H = πh (G), a tedy π H (G) podgrupou S G/H. Protože G/H = n je S G/H = Sn. Z Lagrangeovy věty pak dostáváme, že G/ Ker π H dělí n!. Podle věty je Ker π H H. Tedy Ker π H je hledanou podgrupou. 17

18 Věta Necht G je konečná grupa řádu n a necht p je nejmenší prvočíslo dělící řád grupy G. Pak libovolná podgrupa H grupy G taková, že G/H = p, je normální. Důkaz. Necht H je podgrupa grupy G s indexem p. Označme A množinu všech levých rozkladových tříd G/H. Necht π H je reprezentace, která odpovídá akci grupy G na množině A násobením zleva, a necht G/ Ker π H = k. Podle věty je Ker π H největší normální podgrupa grupy G, která leží v H. Podle hlavní věty o faktorgrupách platí, že G/ Ker π H = π H (G) S G/H = Sp a podle Lagrangeovy věty G/ Ker π H dělí p!. Tedy platí, že p! = G/H H/ Ker π H r, kde r N. Z toho dostáváme, že (p 1)! = H/ Ker π H r. Číslo H/ Ker π H musí dělit řád grupy G, tedy je to bud 1, nebo je dělitelné nějakým prvočíslem větším nebo rovným p. Zároveň musí H/ Ker π H (p 1)!. Ale všechna prvočísla dělící (p 1)! jsou menší než p. Tedy dostáváme, že H/ Ker π H = 1, tj. H = Ker π H. 1.3 Akce grupy na sobě konjugovaností Akce grupy na sobě konjugovaností Věta Necht G je grupa. Pak zobrazení : G G G dané předpisem g a = gag 1 pro a G a libovolné g G je akcí G na sobě samé. Odpovídající reprezentace tedy libovolnému g G přiřadí permutaci σ g : G G danou předpisem σ g (a) = gag 1 pro každé a G. Důkaz. Postupně ověříme obě podmínky z definice 1.1.2: 1. Necht a G je pevné, g, h G. Pak platí, že (σ g σ h )(a) = σ g (σ h (a)) = σ g (hah 1 ) = g(hah 1 )g 1 = (gh)a(gh) 1 = σ gh (a). 2. Necht 1 značí neutrální prvek G, a G. Pak dostáváme, že σ 1 (a) = 1 a 1 1 = 1 a 1 = a. Tedy tímto předpisem je zadaná akce grupy G na sobě samé. Definice Necht G je grupa. Pak se akce grupy G na sobě samé definovaná v předchozí větě nazývá akce grupy G na sobě konjugovaností. 18

19 Definice Necht G je grupa a a, b G libovolné. Tyto prvky nazveme konjugované, jestliže prvky a, b leží ve stejné orbitě akce grupy G na sobě konjugovaností. Orbity této akce se nazývají třídy konjugovanosti. Věta Necht G je grupa a H je její podgrupa. Pak platí, že H je normální podgrupa grupy G právě tehdy, když H je sjednocením některých tříd konjugovanosti. Důkaz. Postupně dokážeme oba směry ekvivalence. Předpokládejme, že H je normální podgrupa grupy G, tj. ghg 1 = H pro všechna g G. Tedy v H musí s každým prvek ležet i všechny prvky s ním konjugované, tzn. H je sjednocením některých tříd konjugovanosti. Necht podgrupa H je sjednocením některých tříd konjugovanosti. Chceme ukázat, že ghg 1 H pro každé h H, g G. Protože h i ghg 1 leží v téže třídě konjugovanosti a h H, musí i ghg 1 H. Tedy H je normální podgrupa grupy G. Věta Necht g G je libovolné. Pak zobrazení σ g : G G určené předpisem σ g (a) = gag 1 pro každé a G (tedy konjugovanost pomocí prvku g) automorfismem grupy G. Důkaz. V důkazu věty jsme ukázali, že konjugovanost je homomorfismem. Z věty víme, že je to bijekce. Dostáváme tedy, že je to automorfismus. Důsledek Libovolné dva konjugované prvky grupy G mají stejný řád. Důkaz. Z předchozí věty vím, že konjugovanost je automorfismus, a ten zachovává řády prvků, tedy konjugované prvky mají stejný řád. Definice Necht G je grupa a a G. Centralizérem prvku a v grupě G nazýváme množinu C G (a) = {g G ga = ag}. Věta Necht G je grupa. Pak centralizér libovolného prvku a G je podgrupa grupy G. 19

20 Důkaz. Neutrální prvek grupy G jistě leží v C G (a), protože komutuje s každým prvkem grupy. Necht g, h C G (a), tedy g i h komutují s prvkem a. Platí, že (gh)a = g(ha) = g(ah) = (ga)h = (ag)h = a(gh), tzn. i prvek gh komutuje s prvkem a, tudíž (gh) C G (a). Ještě je třeba dokázat, že v centralizéru leží g 1. Vynásobíme zprava i zleva rovnost ag = ga prvkem g 1 a dostáváme, že Tedy C G (a) je podgrupa grupy G. g 1 agg 1 = g 1 gag 1, g 1 a = ag 1. Definice Necht G je grupa. Centrem grupy G nazýváme množinu prvků Z(G) = {g G ga = ag, a G}. Věta (Rovnice tříd rozkladu) Necht G je konečná grupa a necht prvky g 1,..., g k G jsou reprezentanti všech navzájem různých tříd konjugovanosti, které neleží v centru Z(G). Pak platí k G = Z(G) + G/C G (g i ). i=1 Důkaz. Pokud je prvek z centra grupy, je jeho třídou konjugovanosti jednoprvková množina. Necht tedy Z(G) = {1, z 1,..., z m }. Dále označme K i třídu konjugovanosti s reprezentantem g i. Pak působení grupy G na sobě pomocí konjugovanosti má tyto orbity: {1}, {z 1 },..., {z m }, K 1,..., K k. Protože centralizér prvku g i je jeho stabilizátorem při akci grupy konjugovaností, je počet prvků v K i podle věty roven G/C G (g i ). Tedy platí, že G = m 1 + i=0 = Z(G) + k K i = i=1 k G/C G (g i ). i=1 20

21 Příklad Za grupu G z předchozí věty zvolme grupu kvaternionů Q 8. Grupa Q 8 = {±1, ±i, ±j, ±k} je nekomutativní a operace je v ní definována následující tabulkou: 1 1 i i j j k k i i j j k k i i j j k k i i i 1 1 k k j j i i i 1 1 k k j j j j j k k 1 1 i i j j j k k 1 1 i i k k k j j i i 1 1 k k k j j i i 1 1 Vidíme, že v centru grupy se nácházejí pouze prvky 1, 1, a centralizér prvku a / Z(Q 8 ) je podgrupa generovaná tímto prvkem, tj. Q 8 / a = 2. Třídy konjugovanosti jsou {1}, { 1}, {i, i}, {j, j}, {k, k} } {{ } } {{ } prvky z centra prvky mimo centrum a rovnice tříd rozkladu pro tuto grupu je tvaru Q 8 = Z(Q 8 ) + Q 8 / a = 2 + ( ). a {i,j,k} Poznámka Roku 1843 představil William R. Hamilton světu kvaterniony. Kvaternionem q rozumíme lineální kombinaci jednotek 1, i, j, k, tedy q = q 1 + q 2 i + q 3 j + q 4 k, kde koeficienty q 1,..., q 4 jsou reálná čísla. Kvaterniony sčítáme po složkách. Operaci násobení odpovídá tabulka z předchozího příkladu. Jak už jsme viděli, kvaterniony jsou vůči násobení nekomutativní. Okruhu kvaternionů se někdy říká Hamiltonův okruh. Ten je dokonce nekomutativním okruhem s dělením. V roce 1843 John T. Graves publikoval práci o oktionech. Oktiony jsou rozšířením kvaternionů. Libovolný oktion a můžeme vždy zapsat pomocí lineální kombinace osmi základních jednotek 1, i, j, k, l, li, lj, lk, tj. a = a 1 + a 2 i + a 3 j + a 4 k + a 5 l + a 6 li + a 7 lj + a 8 lk, kde a 1,..., a n R. Sčítání probíhá po složkách. To, jak probíhá operace násobení, můžeme popsat tabulkou: 21

22 1 i j k l li lj lk 1 1 i j k l li lj lk i i 1 k j li l lk lj j j k 1 i lj lk l li k k j i 1 lk lj li l l l li lj lk 1 i j k li li l lk lj i 1 k j lj lj lk l li j k 1 i lk li lj li l k j i 1 Všimněme si, že oktiony jsou stejně jako kvaterniony nekomutativní a nejsou navíc ani asociativní. V roce 1845 popsal oktiony též A. Cayley (nezávisle na J. T. Gravesovi), proto se také oktiony někdy nazývají Cayleyova čísla. Věta Necht G je grupa, p je prvočíslo a necht G = p α, α N. Pak má grupa G netriviální centrum. Důkaz. Podle věty platí, že G = Z(G) + k G/C G (g i ), kde g i jsou reprezentanti různých tříd konjugovanosti, které neleží v centru grupy. Protože centralizér je podgrupa grupy G, je jeho index mocnina prvočísla p. Protože G/C G (g i ) je větší než 1, a tedy dělitelný p, dělí p levou stranu a také součet indexů centralizérů, musí tedy dělit i Z(G). i=1 Poznámka Všimněme si, že věta je v podstatě jen speciální případem lemmatu , kde uvažovanou akcí je akce grupy na sobě samé pomocí konjugovanosti. Působení grupy G na sobě samé pomocí konjugovanosti můžeme zobecnit. Dvě podmnožiny T, S G nazveme konjugované, pokud existuje g G pro které platí, že T = gsg 1. To je ekvivalentní s tím, že T, S leží ve stejné orbitě akce grupy G na množině všech podmnožin grupy G, kterou dále budeme označovat P(G), pomocí konjugovanosti. To nám umožňuje zformulovat následující definice. Definice Necht grupa G působí na P(G) konjugovaností. Potom stabilizátor množiny A při této akci nazýváme normalizérem A a označujeme N G (A), tj. N G (A) = {g G gag 1 = A}. 22

23 Definice Necht grupa G působí na P(G) konjugovaností a H je podgrupa grupy G. Potom centralizérem podgrupy H v grupě G nazýváme průnik centralizérů všech prvků z H, tj. C G (H) = h H C G (h). Poznámka Centralizérem podgrupy H je tedy množina všech prvků z G takových, že komutují se všemi prvky z H. Například centralizérem celé grupy je její centrum. Uvědomme si také, že přímo z definice plyne, že C G (H) N G (H) Konjugovanost v S n V této části se budeme zabývat konjugovaností v grupě symetrií S n. Ukážeme, jak vypadají prvky konjugované s danou permutací a jak najít prvek, s jehož pomocí jsou permutace konjugované. Věta Necht σ, τ S n a necht rozklad σ na součin nezávislých cyklů je tvaru (a 1 a 2... a k1 )(b 1 b 2... b k2 )... Pak prvek s ním konjugovaný pomocí prvku τ má rozklad na součin nezávislých cyklů následujícího tvaru: τστ 1 = (τ(a 1 ) τ(a 2 )... τ(a k1 ))(τ(b 1 ) τ(b 2 )... τ(b k2 ))..., tj. libovolný prvek i v rozkladu σ na nezávislé cykly nahradíme prvkem τ(i). Důkaz. Necht σ(i) = j, pak jistě platí, že τστ 1 (τ(i)) = τσ(i) = τ(j). Příklad Necht σ = (1 2)(3 4 5)( ), τ = ( )( ). Pak podle návodu z věty dostáváme, že τστ 1 = (3 4)(5 6 7)( ). Tohoto návodu můžeme také využít, pokud známe dva konjugované prvky σ 1, σ 2 a máme najít prvek τ, pomocí kterého jsou spolu konjugované. Necht σ 1 = (1 3)(2 4 6), σ 2 = (2 4)(3 5 6). Hledané τ není určené jednoznačně, můžeme ho tedy zvolit více způsoby, například τ 1 (1) = 2, τ 1 (2) = 3, τ 1 (3) = 4, τ 1 (4) = 5, τ 1 (6) = 6, tj. τ 1 = ( )(6). Další možnost, jak může vypadat τ, je tedy τ 2 = ( ). τ 2 (1) = 4, τ 2 (2) = 5, τ 2 (3) = 2, τ 2 (4) = 6, τ 2 (6) = 3, 23

24 Definice Necht σ S n je součinem nezávislých cyklů délek n 1, n 2,..., n k tak, že n 1 n 2... n k, kde 1 n i n, pak se k-tice čísel n 1, n 2,..., n k nazývá tvarem cyklů permutace σ. Definice Necht n N. Rozdělením čísla n nazveme neklesající posloupnost přirozených čísel takových, že jejich součet je rovný číslu n. Příklad Tvar cyklů pro permutaci vyjádřenou jedním cyklem délky m v S n je 1, 1,..., 1, m. } {{ } n m Věta Dva prvky grupy S n jsou konjugované právě tehdy, když mají stejný tvar cyklů. Počet tříd konjugovanosti S n se rovná počtu rozdělení čísla n. Důkaz. Nejprve dokážeme první část tvrzení. Protože jde o ekvivalenci, budeme postupovat dvěma směry. Předpokládejme, že prvky σ 1, σ 2 jsou konjugované. Pak jsou podle věty permutacemi se stejným tvarem cyklů. Necht σ 1, σ 2 mají stejný tvar cyklů. Cykly v zápise permutací σ 1, σ 2 seřadíme tak, aby jejich délky tvořily neklesající posloupnost. Pokud si zápis σ 1, σ 2 (včetně cyklů délky jedna) představíme bez uzávorkování, dostaneme n-tice, kde se každé z čísel 1,..., n objevuje právě jednou. Nyní definujme zobrazení τ tak, že číslo, které se v σ 1 nachází na i-tém místě, zobrazí na číslo, které se v σ 2 nachází na tom samém místě. Protože mají obě permutace stejný tvar cyklů, zůstaly závorky na svých pozicích. Zobrazení τ splňuje požadavky z věty , tudíž σ 1, σ 2 jsou konjugované. Nyní dokážeme druhou část tvrzení. Uvědomme si, že každý prvek je konjugován pouze s prvky se stejným tvarem cyklů a každý tvar cyklů odpovídá jednomu rozdělení čísla n, tedy počet tříd konjugovanosti je roven počtu rozdělení čísla n. Příklad Necht n = 6. V tabulce uvedeme rozdělení n a reprezentanta třídy konjugovanosti, která odpovídá tomuto rozdělení. 24

25 rozdělení 6 reprezentant třídy konjugovanosti 1, 1, 1, 1, 1, 1 identita 1, 1, 1, 1, 2 (1 2) 1, 1, 2, 2 (1 2)(3 4) 2, 2, 2 (1 2)(3 4)(5 6) 1, 1, 1, 3 (1 2 3) 3, 3 (1 2 3)(3 4 5) 1, 1, 4 ( ) 1, 5 ( ) 6 ( ) 1, 2, 3 (1 2)(3 4 5) 2, 4 (1 2)( ) Necht σ S 6 je cyklus délky 3, pak počet všech cyklů této délky (tedy počet prvků v třídě konjugovanosti příslušné prvku σ) je 2 (6 3) = 40, což je S6 /C S6 (σ). Samotný centralizér prvku σ je podgrupa generovaná σ a prvky, v jejichž rozkladu na nezávislé cykly se neobjevuje žádné číslo, které bylo v rozkladu σ na nezávislé cykly, tj. C S6 (σ) = {σ i τ i = 1, 2, 3; τ S 3 }, kde S 3 označuje podgrupu, která nechává na místě všechna čísla obsažená v σ. 25

26 Kapitola 2 Automorfismy V této kapitole se budeme zabývat izomorfními zobrazeními grupy G na sebe samu automorfismy. Množinu všech automorfismů na grupě G budeme označovat Aut(G). Uvědomme si, že složením dvou automorfismů je opět automorfismem a inverzním zobrazením k automorfismu je opět automorfismus. Tedy (Aut(G), ) je grupa. V další části definujeme pojmy charakteristická a komutátorová podgrupa a odvodíme některé vlastnosti těchto podgrup. 2.1 Vlastnosti grupy automorfismů Věta Necht G je grupa, H je její normální podgrupa a necht G působí na H konjugovaností. Pak odpovídající reprezentace permutacemi je homomorfismus ψ : G Aut(H) a Ker ψ = C G (H). Důkaz. Protože H je normální podgrupa grupy G, můžeme definovat zobrazení ϕ g : H H předpisem ϕ g (a) = gag 1 pro libovolné a H. Protože H je normální, platí, že ϕ g (H) = H a zřejmě ϕ g Aut(H). Označme ψ : G S H reprezentaci permutaci odpovídající akci konjugovaností G na H, ta je dána předpisem ψ(g) = ϕ g. Platí, že Ker ψ = {g G ϕ g = id} = = {g G ghg 1 = h, h H} = = C G (H). Důsledek Necht G je grupa, H její normální podgrupa a necht ψ je reprezentace permutacemi odpovídající akci G na H pomocí konjugovanosti. Potom G/C G (H) = ψ(g). 26

27 Důkaz. Plyne z předchozího tvrzení, protože C G (H) = Ker ψ. Věta Necht G je grupa a necht H je její libovolná podgrupa. Pak platí, že faktorgrupa N G (H)/C G (H) je izomorfní s vhodnou podgrupou grupy Aut(H). Důkaz. Všimněme si, že N G (H) je podgrupa grupy G, ve které je H normální, potom volbou N G (H) místo G z věty dostáváme, že N G (H)/C NG (H)(H) je izomorfní s podgrupou grupy Aut(H). Ovšem přímo z definic dostáváme, že C NG (H)(H) = C G (H), protože N G (H) jistě obsahuje všechny prvky grupy G se kterými komutují prvky grupy H. Definice Necht G je grupa a necht g G. Pak automorfismus ϕ g grupy G určený předpisem ϕ g (x) = gxg 1 (tedy konjugovanost prvkem g) nazýváme vnitřním automorfismem na grupě G. Množinu všech vnitřních automorfismů grupy G označujeme Inn(G). Věta Necht G je grupa. Množina vnitřních automorfismů na grupě G tvoří normální podgrupu grupy Aut(G). Důkaz. 1. Nejprve dokážeme, že Inn(G) tvoří podgrupu Aut(G), tedy je neprázdná, uzavřená vzhledem ke skládání zobrazení a ke každému vnitřnímu automorfismu v ní leží jeho inverze. (a) Inn(G), protože identita je jistě vnitřním automorfismem. (b) Necht g, h G, necht ϕ g, ϕ h Inn(G) a x G je libovolný pevný prvek. Potom dostáváme, že Tedy i ϕ g ϕ h Inn(G). (ϕ g ϕ h )(x) = ϕ g (ϕ h (x)) = = ϕ g (hxh 1 ) = = g(gxh 1 g 1 ) = = (gh)x(gh) 1 = = ϕ gh (x) (c) Necht ϕ g Inn(G). K ϕ g jistě existuje inverzní zobrazení, protože je to automorfismus. Intuitivně tušíme, že (ϕ g ) 1 = ϕ g 1. Ukážeme, že tomu tak opravdu je: (ϕ g ϕ g 1)(x) = ϕ g (ϕ g 1(x)) = 27 = ϕ g (g 1 xg) = = g(g 1 xg)g 1 = = (gg 1 )x(gg 1 ) = x.

28 Analogicky bychom ukázali, že i ϕ g 1 ϕ g je identita. Tedy (ϕ g ) 1 = ϕ g 1 je také vnitřním automorfismem. Množina vnitřních automorfismů je podgrupou grupy Aut(G). 2. Nyní ukážeme, že Inn(G) je normální v Aut(G). Necht x, g G, ψ Aut(G) a ϕ g Inn(G). Potom platí, že (ψ ϕ g ψ 1 )(x) = ψ(ϕ g (ψ 1 (x))) = Inn(G) je normální podgrupou grupy Aut(G). = ψ(g(ψ 1 (x))g 1 ) = = ψ(g) (ψ(ψ 1 (x))) ψ(g) 1 = = ψ(g) x ψ(g 1 ) = ϕ ψ(g) (x). Poznámka Eulerovou funkcí rozumíme funkci, která pro dané n N udává počet přirozených čísel nesoudělných s n nepřevyšujících n. Budeme ji označovat ϕ(n). Symbolem Z n multiplikativní grupu zbytkových tříd modulo n. Ta je řádu ϕ(n). Věta Necht G je cyklická grupa řádu n. Pak její grupa automorfismů je izomorfní s grupou Z n. Důkaz. Pro libovolný prvek α = [a] n Z n definujme ψ α : G G předpisem ψ α = x a. Je třeba ukázat, že tato definice je korektní. Jestliže α = [c] n, pak platí, že n a c a tedy x a = x c pro každé x G. Protože je G komutativní, pro každé x, y G je ψ α (x y) = (xy) a = x a y a = ψ α (x) ψ α (y), a proto je ψ α : G G homomorfismus. Pro libovolné α = [a] n, β = [b] n Z n a pro každé x G platí, že ψ αβ (x) = ψ [ab]n (x) = x ab = (x b ) a = ψ α (ψ β (x)) = (ψ α ψ β )(x), a tedy ψ αβ = ψ α ψ β. Protože ψ [1]n je identita, dostáváme, že ψα 1 = ψ α 1, a tedy ψ α je automorfismus grupy G. Nyní definujme zobrazení Ψ : Z n Aut(G) předpisem Ψ(α) = ψ α. Výše jsme již ukázali, že Ψ je homomorfismus grup. Protože zřejmě Ker Ψ = {[1] n }, je Ψ injektivní. Zvolme pevně generátor g grupy G. Necht ψ : G G je libovolný automorfismus. Pak ψ(g) = g b pro nějaké b {1,..., n} Libovolné x G je tvaru x = g c pro vhodné c {1,..., n}. Pak ψ(x) = ψ(g c ) = g bc = (g c ) b = x b. 28

29 Protože ψ je automorfismus, existuje d {1,..., n} takové, že ψ(g d ) = g, tj. g bd = g. Z toho dostáváme, že bd 1(mod n). Tedy (b, n) = 1, a získáváme, že ψ = Ψ([b] n ) pro [b] n Z n. 2.2 Charakteristické podgrupy Definice Necht G je grupa a H je její podgrupa. Podgrupa H se nazývá charakteristická v G jestliže je invariantní vůči všem automorfismům grupy G, tj. pro každé ψ Aut(G) platí, že ψ(h) = H. Věta Necht G je grupa a H je charakteristická podgrupa grupy G. Pak H je normální. Důkaz. Všimněme si, že podgrupa H grupy G je normální právě tehdy, když pro ni platí, že ghg 1 = H pro všechna g G. Tedy všechny vnitřní automorfismy ji zobrazí samu na sebe a protože charateristická podgrupa je invariantní vůči všem automorfismům (tedy i vůči vnitřním), je také normální podgrupou grupy G. Příklad Uvědomme si, že ne každá normální podgrupa je charakteristická. Podívejme se například na Kleninovu čtyřprvkovou grupu. S tou jsme se již setkali v příkladu Označme si její prvky 1, a, b, c. Každý z prvků a, b, c generuje normální dvouprvkovou podgrupu. Pokud uvážíme automorfismus takový, že a b, b c a c a, tak tento automorfismus nenechá podgrupy generované prvky a, b, c na místě a to znamená, že tyto dvojprvkové podgrupy nejsou charakteristické v Kleinově čtyřprvkové grupě. Věta Necht G je grupa a H je její podgrupa. Pokud kromě H není v G jiná podgrupa stejného řádu jako H, pak H je charakteristická v G. Důkaz. Libovolný automorfismus zachovává řády podgrup, tudíž H se musí zobrazit na podgrupu stejného řádu. Protože H je jediná podgrupa tohoto řádu, musí ji libovolný automorfismus zobrazit samu na sebe. Tedy H je charakteristická. Věta Necht G je grupa, H, K její podgrupy takové, že K H. Jestliže K je charakteristická v H a H je normální podgrupa grupy G, pak K je normální podgrupa G. 29

30 Důkaz. Využijeme toho, že normální podgrupy jsou invariantní vůči vnitřním automorfismům. Tedy libovolný vnitřní automorfismus nechá na místě podgrupu H. Pro libovolný prvek g G je zúžení vnitřního automorfismu ϕ g : G G na podgrupu H automorfismem (ale ne nutně vnitřním) podgrupy H. Protože K je charakteristická podgrupa H, platí, že ϕ g (K) = K, tedy K je normální podgrupa grupy G. Věta Necht G je grupa. Pak její centrum je charakteristická podgrupa a navíc platí, že každá podgrupa centra je normální podgrupou grupy G. Důkaz. Neprve ukážeme, že centrum je charakteristická podgrupa. Necht g Z(G) a necht ψ je libovolný automorfismus grupy G, pak pro každé a G můžeme najít prvek b G tak, že platí a = ψ(b). Pokud tuto rovnici vynásobíme zleva prvkem ψ(g) úpravami postupně získáváme ψ(g)a = ψ(g)ψ(b), ψ(g)a = ψ(g)ψ(b) = = ψ(gb) = = ψ(bg) = = aψ(g). Tedy ukázali jsme, že prvek z centra bude při zobrazení libovolným automorfismem opět prvekem z centra, tedy centrum je invariantní vůči všem automorfismům, tj. je to charakteristická podgrupa. Nyní dokážeme zbývající část tvrzení. Je vidět, že pokud H je podgrupou Z(G), pak všechny prvky h H komutují se všemi prvky grupy G, tj. pro každé g G a každé h H platí, že gh = hg. Z toho plyne, že g 1 hg = h, tudíž H je normální podgrupou grupy G. Věta Necht G je grupa. Pak platí, že G/Z(G) je izomorfní s Inn(G). Důkaz. V důsledku zvolíme H = G. Protože ψ(g) = Inn(G), kde ψ je reprezentace permutacemi odpovídající akci pomocí konjugovanosti, a C G (G) = Z(G), dostáváme požadované tvrzení. 30

31 Příklad Podívejme se nyní, jak vypadají grupy vnitřních automorfismů některých grup. Nejprve si rozebereme, jak vypadá Inn(Q 8 ), kde Q 8 je grupa kvaternionů, kterou jsme popsali v příkladu Centrem této grupy je podgrupa obsahující pouze prvky 1, 1. Podle věty platí, že Inn(G) = G/Z(G). Tedy Inn(Q 8 ) je čtyřprvková a je izomofní s Kleinovou grupou. Dalším zajímavým příkladem jsou beze sporu grupy permutací na n-prvkové množině. Pro každé n 3 je centrem triviální podgrupa obsahující pouze identitu, dostáváme tedy, že Inn(S n ) = S n /Z(S n ) = S n. Definice Necht G je grupa a H je její podgrupa. Pak H se nazývá úplně charakteristická, pokud pro každý homomorfismus ψ : G G platí, že ψ(h) H. Poznámka Uvědomme si, že každá úplně charakteristická podgrupa H je zároveň i charakteristická, protože je invariantní vůči všem homomorfismům G G, tedy i vůči automorfismům. Je-li ψ Aut(G) libovolný, je ψ(h) H i ψ 1 (H) H. Odtud aplikací ψ dostaneme H = ψ(ψ 1 (H)) ψ(h). Dohromady tedy dostáváme, že ψ(h) = H. Definice Necht G je grupa a necht g, h G. Prvek ghg 1 h 1 se nazývá komutátorem prvků g, h (v tomto pořadí). Podgrupu generovanou množinou všech komutátorů obvykle označujeme G a nazýváme bud komutátorovou podgrupou grupy G nebo komutantem grupy G. Věta Necht G je grupa a G její komutátorová podgrupa. Pak G je úplně charakteristická podgrupa grupy G. Důkaz. Necht ψ je homomorfismus G G a necht g je komutátor. Pak g jistě můžeme zapsat ve tvaru xyx 1 y 1 pro vhodná x, y G. Ukažme, že inverzním prvkem k prvku g bude opět komutátor: g 1 = (xyx 1 y 1 ) 1 = (xy(yx) 1 ) 1 = (yx)(xy) 1 = yxy 1 x 1 Necht a G. Prvek a je tedy možné zapsat jako součin konečně mnoha komutátorů a protože pro každý komutátor g platí, že ψ(g) = ψ(xyx 1 y 1 ) = ψ(x)ψ(y)ψ(x 1 )ψ(y 1 ), lze i ψ(a) zapsat jako součin komutátorů. Tedy ψ(a) G. Tím jsem ukázali, že G je úplně charakteristická podgrupa grupy G. 31

32 Věta Necht G je grupa a G její komutátorová podgrupa. Potom G je nejmenší normální podgrupa grupy G taková, že G/G je komutativní. Důkaz. To, že G je normální, je vidět z předchozí věty. Nejprve ukážeme, že G/G je komutativní. Necht ag, bg G/G, pak platí, že ag bg = (ab)g = = 1(ab)G = = (ba)(ba) 1 (ab)g = = (ba) (a 1 b 1 ab) G = } {{ } G = (ba)g = = bg ag. Zbývá nám ukázat, že G je nejmenší normální podgrupa grupy G taková, že faktorgrupa G/G je komutativní. Předpokládejme tedy, že H je normální podgrupa grupy G taková, že G/H je komutativní. Potom pro každé a, b G platí, že (aba 1 b 1 )H = ah bh a 1 H b 1 H = = ah a 1 H bh b 1 H = = 1H = H Z toho dostáváme, že v H leží komutátory všech prvků, tj. G H. 32

33 Kapitola 3 Sylowovy věty Peter Ludwig Mejdell Sylow ( ) byl norský matematik. Zabýval se studiem Galoisovy teorie. Svoje poznatky od tzv. Sylowových podgrupách publikoval roku Mimoto se dále zabýval eliptickými funkcemi (f : C C) a kuželosečkami. V roce 1894 se stal šéfredaktorem Acta Mathematica. Jak již napovídá název, v této kapitole se budeme zabývat Sylowovými větami. Pro lepší čitelnost připomene některé pojmy uvedené v [6] a odvodíme tvrzení potřebná k tomu, abychom mohli Sylowovy věty dokázat. Ve druhém odstavci této kapitoly si na příkladech ukážeme některé jejich aplikace. 3.1 Sylowovy věty Definice Necht G je konečná grupa řádu p e m, kde p je prvočíslo, e, m N a platí, že p m. Pak každou podgrupu řádu p e nazýváme p-sylowskou podgrupou grupy G. Množinu všech p-sylowských podgrup dané grupy označujeme Syl p (G) a počet těchto podgrup n p (G), popř. n p. Lemma Necht G je konečná grupa, K, L její podgrupy a necht KL = {kl k K, l L}. Pak platí, že KL = K L K L. Důkaz. Platí, že KL je sjednocení levých tříd rozkladu grupy G podle L takových, že jejich reprezentanti jsou prvky z K, tj. KL = kl. k K 33

34 Všechny levé rozkladové třídy dle L mají právě L prvků. Zbývá nám tedy zjistit, kolik různých tříd rozkladu se v KL skrývá. Víme, že třídy rozkladu prvků k, k se rovnají, jestliže pro tyto dva prvky platí, že k 1 k L. To ale znamená, že prvek k 1 k leží v K i v L, tedy v jejich průniku. Jinými slovy kl = k L právě tehdy, když k a k leží ve stejné třídě rozkladu grupy K podle podgrupy K L. Těchto tříd je právě K K L. Lemma Necht G je grupa, K, L její podgrupy a L je normální podgrupou grupy G. Potom KL = {kl k K, l L} je podgrupa grupy G. Důkaz. Množina KL je jistě neprázdná, protože v ní leží neutrální prvek grupy G. Necht k 1, k 2 K, l 1, l 2 L. Potom pro součin prvků k 1 l 1 a k 2 l 2 platí, že k 1 l 1 k 2 l 2 = k 1 l 1 l 2 l2 1 k 2 l } {{ } 2 KL } L, nebot L G {{ } L Nyní zbývá ukázat, že inverzní prvek prvku k 1 l 1 je také prvkem KL: (k 1 l 1 ) 1 = l1 1 k1 1 = k1 1 k 1 l 1 k1 1 } {{ } Dostáváme tedy, že KL je podgrupa grupy G. L, nebot L G KL. Věta Necht P je p-sylowská podgrupa grupy G. Jestliže Q je p-podgrupa grupy G, pak platí, že Q N G (P ) = Q P. Důkaz. Označme si K = Q N G (P ) a p m řád P. Postupně ukážeme obě inkluze. Protože platí, že P N G(P ), dostáváme, že Q P K. Jistě je K Q, takže je ještě třeba ukázat, že K P. Protože K N G(P ) a P je normální podgrupou grupy N G (P ), P K je podle lemmatu podgrupa grupy N G (P ), a tedy i G. Z lemmatu víme, že platí P K = P K P K. Protože všechna čísla v tomto zlomku jsou mocniny prvočísla p, je i P K p-podgrupa. Protože P je podgrupou P K, musí platit, že p m P K. Ale to je nejvyšší mocnina p, která dělí řád grupy G, tedy P K = P. Z toho dostáváme, že K P. 34

35 Věta (Sylow) Necht G je grupa a necht G = p e m, kde p je prvočíslo, e N {0}, m N a platí p m. Pak existuje podgrupa grupy G řádu p e. Důkaz. K důkazu této věty využijeme matematickou indukci vzhledem k řádu grupy G. 1. Je vidět, že pro G = 1 věta platí. 2. Nyní předpokládejme, že n > 1 a že pro každou grupu H takovou, že H n 1, byla věta dokázána, a dokažme ji pro libovolnou grupu řádu n. Pokud p n, věta zřejmě platí. Předpokládejme tedy, že p n. Jestliže p Z(G), pak z věty plyne, že v centru se nachází podgrupa o p prvcích. Označme ji K a faktorgrupu G/K symbolem G. Jistě platí, že G = p e 1 m. Podle indukčního předpokladu má G podgrupu P o p e 1 prvcích. Označme P = {a G ak P }, aby K P a P = P/K. Pak P má P/K K = p e prvků. Je to tedy hledaná p-sylowská podgrupa grupy G. Rozeberme ještě případ, kdy p Z(G). Necht prvky g 1,..., g s jsou reprezentanti tříd konjugovanosti, které nejsou obsaženy v centru. Rovnice tříd rozkladu vypadá následovně: s G = Z(G) + G/C G (g i ). Pokud by indexy všech centralizérů byly dělitelné prvočíslem p, muselo by p dělit i počet prvků centra, což by byl spor s naším předpokladem. Z toho tedy vyplývá, že existuje i takové, že G/C G (g i ) není dělitelný p. Tento centralizér si označme K = C G (g i ). Protože g i Z(G), platí, že K G, a tedy K = p e k < G. Podle indukčního předpokladu víme, že K má p-sylowskou podgrupu, která je zároveň i p-sylowskou podgrupou grupy G. i=1 Věta (Sylow) Necht G je grupa a necht G = p e m, kde p je prvočíslo, e, m N a platí p m. Dále necht P je p-sylowská podgrupa grupy G a K je p-podgrupa. Pak K je obsažena v některé podgrupě konjugované s P, tj. g G takové, že K gp g 1. Důkaz. Označme si A množinu všech levých rozkladových tříd G podle P. Nyní uvažme působení K na A násobením zleva. Z Lagrangeovy věty plyne, že prvočíslo p nedělí A (nebot P je p-sylowská), a z lemmatu dostáváme, že existuje prvek g G takový, že gp zůstává při působení libovolným k K na místě. To znamená, že pro libovolné k K platí rovnost kgp = gp, což je ekvivalentní s tím, že g 1 kg P. Tudíž g 1 Kg P, což je to samé jako K gp g 1. 35

Matematika IV - 3. přednáška Rozklady grup

Matematika IV - 3. přednáška Rozklady grup Matematika IV - 3. přednáška Rozklady grup Michal Bulant Masarykova univerzita Fakulta informatiky 3. 3. 2008 Obsah přednášky Rozklady podle podgrup ô Normální podgrupy Martin Panák, Jan Slovák, Drsná

Více

Y36BEZ Bezpečnost přenosu a zpracování dat. Úvod. Róbert Lórencz. http://service.felk.cvut.cz/courses/y36bez lorencz@fel.cvut.cz

Y36BEZ Bezpečnost přenosu a zpracování dat. Úvod. Róbert Lórencz. http://service.felk.cvut.cz/courses/y36bez lorencz@fel.cvut.cz Y36BEZ Bezpečnost přenosu a zpracování dat Róbert Lórencz 1. přednáška Úvod http://service.felk.cvut.cz/courses/y36bez lorencz@fel.cvut.cz Róbert Lórencz (ČVUT FEL, 2007) Y36BEZ Bezpečnost přenosu a zpracování

Více

Součin matice A a čísla α definujeme jako matici αa = (d ij ) typu m n, kde d ij = αa ij pro libovolné indexy i, j.

Součin matice A a čísla α definujeme jako matici αa = (d ij ) typu m n, kde d ij = αa ij pro libovolné indexy i, j. Kapitola 3 Počítání s maticemi Matice stejného typu můžeme sčítat a násobit reálným číslem podobně jako vektory téže dimenze. Definice 3.1 Jsou-li A (a ij ) a B (b ij ) dvě matice stejného typu m n, pak

Více

Regulární matice. Věnujeme dále pozornost zejména čtvercovým maticím.

Regulární matice. Věnujeme dále pozornost zejména čtvercovým maticím. Regulární matice Věnujeme dále pozornost zejména čtvercovým maticím. Věta. Pro každou čtvercovou matici A = (a ij ) řádu n nad tělesem (T, +, ) jsou následující podmínky ekvivalentní: (i) Řádky matice

Více

Matematika IV - 3. přednáška Rozklady grup

Matematika IV - 3. přednáška Rozklady grup S Matematika IV - 3. přednáška Rozklady grup Michal Bulant Masarykova univerzita Fakulta informatiky 3. 3. 2008 s Obsah přednášky Rozklady podle podgrup ô Normální podgrupy s Doporučene zdroje Martin Panák,

Více

Jazyk matematiky. 2.1. Matematická logika. 2.2. Množinové operace. 2.3. Zobrazení. 2.4. Rozšířená číslená osa

Jazyk matematiky. 2.1. Matematická logika. 2.2. Množinové operace. 2.3. Zobrazení. 2.4. Rozšířená číslená osa 2. Jazyk matematiky 2.1. Matematická logika 2.2. Množinové operace 2.3. Zobrazení 2.4. Rozšířená číslená osa 1 2.1 Matematická logika 2.1.1 Výrokový počet logická operace zapisujeme čteme česky negace

Více

Algebraické struktury

Algebraické struktury Algebraické struktury KMA/ALG Sylabus Teorie grup - grupy, podgrupy, normální podgrupy, faktorgrupy, Lagrangeova věta. Homomorfismus grup, věty o izomorfismu grup, cyklické grupy a jejich struktura. Direktní

Více

Skalární součin je nástroj, jak měřit velikost vektorů a úhly mezi vektory v reálných a komplexních vektorových prostorech.

Skalární součin je nástroj, jak měřit velikost vektorů a úhly mezi vektory v reálných a komplexních vektorových prostorech. Kapitola 9 Skalární součin Skalární součin je nástroj, jak měřit velikost vektorů a úhly mezi vektory v reálných a komplexních vektorových prostorech. Definice 9.1 Je-li x = (x 1,..., x n ) T R n 1 reálný

Více

Lineární algebra I. látka z. I. semestru informatiky MFF UK. Obsah. Zpracovali: Ondřej Keddie Profant, Jan Zaantar Štětina

Lineární algebra I. látka z. I. semestru informatiky MFF UK. Obsah. Zpracovali: Ondřej Keddie Profant, Jan Zaantar Štětina 1 Lineární algebra I látka z I semestru informatiky MFF UK Zpracovali: Ondřej Keddie Profant, Jan Zaantar Štětina Obsah Matice2 Grupy4 Grupa permutací4 Znaménko, inverze a transpozice grup5 Podgrupy5 Tělesa6

Více

KATEDRA INFORMATIKY UNIVERZITA PALACKÉHO LINEÁRNÍ ALGEBRA 1 OLGA KRUPKOVÁ VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN

KATEDRA INFORMATIKY UNIVERZITA PALACKÉHO LINEÁRNÍ ALGEBRA 1 OLGA KRUPKOVÁ VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN KATEDRA INFORMATIKY PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITA PALACKÉHO LINEÁRNÍ ALGEBRA 1 OLGA KRUPKOVÁ VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN EVROPSKÝM SOCIÁLNÍM FONDEM A STÁTNÍM ROZPOČTEM ČESKÉ REPUBLIKY

Více

PŘEDNÁŠKA 7 Kongruence svazů

PŘEDNÁŠKA 7 Kongruence svazů PŘEDNÁŠKA 7 Kongruence svazů PAVEL RŮŽIČKA Abstrakt. Definujeme svazové kongruence a ukážeme jak pro vhodné binární relace svazu ověřit, že se jedná o svazové kongruence. Popíšeme svaz Con(A) kongruencí

Více

3. Matice a determinanty

3. Matice a determinanty . Matice a determinanty Teorie matic a determinantů představuje úvod do lineární algebry. Nejrozsáhlejší aplikace mají matice a determinanty při řešení systémů lineárních rovnic. Pojem determinantu zavedl

Více

Kapitola 11. Vzdálenost v grafech. 11.1 Matice sousednosti a počty sledů

Kapitola 11. Vzdálenost v grafech. 11.1 Matice sousednosti a počty sledů Kapitola 11 Vzdálenost v grafech V každém grafu lze přirozeným způsobem definovat vzdálenost libovolné dvojice vrcholů. Hlavním výsledkem této kapitoly je překvapivé tvrzení, podle kterého lze vzdálenosti

Více

ALGEBRA. Téma 4: Grupy, okruhy a pole

ALGEBRA. Téma 4: Grupy, okruhy a pole SLEZSKÁ UNIVERZITA V OPAVĚ Matematický ústav v Opavě Na Rybníčku 1, 746 01 Opava, tel. (553) 684 611 DENNÍ STUDIUM Téma 4: Grupy, okruhy a pole Základní pojmy unární operace, binární operace, asociativita,

Více

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 3. PREDNÁŠKA - KOMPAKTNÍ PROSTORY.

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 3. PREDNÁŠKA - KOMPAKTNÍ PROSTORY. TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 3. PREDNÁŠKA - KOMPAKTNÍ PROSTORY. PAVEL RŮŽIČKA 3.1. Kompaktní prostory. Buď (X, τ) topologický prostor a Y X. Řekneme, že A τ je otevřené pokrytí množiny Y, je-li

Více

Skalár- veličina určená jedním číselným údajem čas, hmotnost (porovnej životní úroveň, hospodaření firmy, naše poloha podle GPS )

Skalár- veličina určená jedním číselným údajem čas, hmotnost (porovnej životní úroveň, hospodaření firmy, naše poloha podle GPS ) LINEÁRNÍ ALGEBRA Úvod vektor Skalár- veličina určená jedním číselným údajem čas, hmotnost (porovnej životní úroveň, hospodaření firmy, naše poloha podle GPS ) Kartézský souřadnicový systém -je taková soustava

Více

Kongruence na množině celých čísel

Kongruence na množině celých čísel 121 Kapitola 4 Kongruence na množině celých čísel 4.1 Relace kongruence na množině celých čísel Vraťme se k úvahám o dělení se zbytkem. Na základní škole jsme se naučili, že když podělíme číslo 11 číslem

Více

MASARYKOVA UNIVERZITA

MASARYKOVA UNIVERZITA MASARYKOVA UNIVERZITA PŘÍRODOVĚDECKÁ FAKULTA ŘEŠITELNÉ GRUPY BAKALÁŘSKÁ PRÁCE Brno 2006 Martin Štoudek Prohlašuji, že tato práce je mým původním autorským dílem, které jsem vypracoval samostatně. Všechny

Více

GRAFY A GRAFOVÉ ALGORITMY

GRAFY A GRAFOVÉ ALGORITMY KATEDRA INFORMATIKY PŘÍRODOVĚDECKÁ FAKULTA UNIVERZITA PALACKÉHO GRAFY A GRAFOVÉ ALGORITMY ARNOŠT VEČERKA VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN EVROPSKÝM SOCIÁLNÍM FONDEM A STÁTNÍM ROZPOČTEM ČESKÉ

Více

Lineární algebra Kapitola 1 - Základní matematické pojmy

Lineární algebra Kapitola 1 - Základní matematické pojmy Lineární algebra Kapitola 1 - Základní matematické pojmy 1.1 Relace a funkce V celém textu budeme používat následující označení pro číselné množiny: N množina všech přirozených čísel bez nuly, N={1, 2,

Více

Grupy Mgr. Růžena Holubová 2010

Grupy Mgr. Růžena Holubová 2010 Grupy Mgr. Růžena Holubová 2010 1. Úvod Cílem této práce je přehledně zpracovat elementární teorii algebraických struktur s jednou operací se zaměřením na teorii grup a sestavit sbírku řešených úloh, proto

Více

Věta o dělení polynomů se zbytkem

Věta o dělení polynomů se zbytkem Věta o dělení polynomů se zbytkem Věta. Nechť R je okruh, f, g R[x], přičemž vedoucí koeficient polynomu g 0 je jednotka okruhu R. Pak existuje jediná dvojice polynomů q, r R[x] taková, že st(r) < st(g)

Více

Vysoké učení technické v Brně Fakulta informačních technologií. Regulární pologrupy. Semestrální práce do předmětu Algebra, Kombinatorika, Grafy

Vysoké učení technické v Brně Fakulta informačních technologií. Regulární pologrupy. Semestrální práce do předmětu Algebra, Kombinatorika, Grafy Vysoké učení technické v Brně Fakulta informačních technologií Regulární pologrupy Semestrální práce do předmětu Algebra, Kombinatorika, Grafy Tomáš Masopust Brno, 2006 Obsah Úvod 1 1 Základní definice

Více

Úlohy k procvičování textu o univerzální algebře

Úlohy k procvičování textu o univerzální algebře Úlohy k procvičování textu o univerzální algebře Číslo za pomlčkou v označení úlohy je číslo kapitoly textu, která je úlohou procvičovaná. Každá úloha je vyřešena o několik stránek později. Kontrolní otázky

Více

Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace

Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace RELACE Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace slouží k vyjádření vztahů mezi prvky nějakých množin. Vztahy mohou být různé povahy. Patří sem vztah býti potomkem,

Více

Co je to univerzální algebra?

Co je to univerzální algebra? Co je to univerzální algebra? Při studiu řadu algebraických struktur (grupoidy, pologrupy, grupy, komutativní grupy, okruhy, obory integrity, tělesa, polosvazy, svazy, Booleovy algebry) se často některé

Více

Lenka Zalabová. Ústav matematiky a biomatematiky, Přírodovědecká fakulta, Jihočeská univerzita. zima 2012

Lenka Zalabová. Ústav matematiky a biomatematiky, Přírodovědecká fakulta, Jihočeská univerzita. zima 2012 Algebra - třetí díl Lenka Zalabová Ústav matematiky a biomatematiky, Přírodovědecká fakulta, Jihočeská univerzita v Českých Budějovicích zima 2012 Obsah 1 Dělitelnost 2 Grupy zbytkových tříd 3 Jedna z

Více

2.2. SČÍTÁNÍ A NÁSOBENÍ MATIC

2.2. SČÍTÁNÍ A NÁSOBENÍ MATIC 22 SČÍTÁNÍ A NÁSOBENÍ MATIC V této kapitole se dozvíte: jak je definováno sčítání matic a jaké má základní vlastnosti jak je definováno násobení matic číslem a jaké má základní vlastnosti zda a proč se

Více

Edita Kolářová ÚSTAV MATEMATIKY

Edita Kolářová ÚSTAV MATEMATIKY Přípravný kurs z matematik Edita Kolářová ÚSTAV MATEMATIKY Přípravný kurs z matematik 1 Obsah 1 Přehled použité smbolik 3 Základní pojm matematické logik a teorie množin 4.1 Element matematické logik.........................

Více

Učební texty k státní bakalářské zkoušce Matematika Matice. študenti MFF 15. augusta 2008

Učební texty k státní bakalářské zkoušce Matematika Matice. študenti MFF 15. augusta 2008 Učební texty k státní bakalářské zkoušce Matematika Matice študenti MFF 15. augusta 2008 1 12 Matice Požadavky Matice a jejich hodnost Operace s maticemi a jejich vlastnosti Inversní matice Regulární matice,

Více

zejména Dijkstrův algoritmus pro hledání minimální cesty a hladový algoritmus pro hledání minimální kostry.

zejména Dijkstrův algoritmus pro hledání minimální cesty a hladový algoritmus pro hledání minimální kostry. Kapitola Ohodnocené grafy V praktických aplikacích teorie grafů zpravidla graf slouží jako nástroj k popisu nějaké struktury. Jednotlivé prvky této struktury mají často přiřazeny nějaké hodnoty (může jít

Více

Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz. Algebra Struktury s jednou operací

Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz. Algebra Struktury s jednou operací Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Algebra Struktury s jednou operací Teoretická informatika 2 Proč zavádíme algebru hledáme nástroj pro popis objektů reálného světa (zejména

Více

TEORIE GRAFŮ. Petr Kovář

TEORIE GRAFŮ. Petr Kovář TEORIE GRAFŮ Petr Kovář Text byl vytvořen v rámci realizace projektu Matematika pro inženýry 21. století (reg. č. CZ.1.07/2.2.00/07.0332), na kterém se společně podílela Vysoká škola báňská Technická univerzita

Více

Učební texty k státní bakalářské zkoušce Matematika Algebra. študenti MFF 15. augusta 2008

Učební texty k státní bakalářské zkoušce Matematika Algebra. študenti MFF 15. augusta 2008 Učební texty k státní bakalářské zkoušce Matematika Algebra študenti MFF 15. augusta 2008 1 8 Algebra Požadavky Grupa, okruh, těleso definice a příklady Podgrupa, normální podgrupa, faktorgrupa, ideál

Více

Západočeská univerzita v Plzni. Fakulta aplikovaných věd Katedra matematiky. Geometrie pro FST 1. Pomocný učební text

Západočeská univerzita v Plzni. Fakulta aplikovaných věd Katedra matematiky. Geometrie pro FST 1. Pomocný učební text Západočeská univerzita v Plzni Fakulta aplikovaných věd Katedra matematiky Geometrie pro FST 1 Pomocný učební text František Ježek, Marta Míková, Světlana Tomiczková Plzeň 29. srpna 2005 verze 1.0 Předmluva

Více

3. ročník, 2013/ 2014 Mezinárodní korespondenční seminář iks

3. ročník, 2013/ 2014 Mezinárodní korespondenční seminář iks Řešení 3. série Úloha C3. Rovnostranný trojúhelník o straně délky n je vyplněný jednotkovou trojúhelníčkovou mřížkou. Uzavřená lomená čára vede podél této mřížky a každý vrchol mřížky potká právě jednou.

Více

Západočeská univerzita v Plzni FAKULTA PEDAGOGICKÁ

Západočeská univerzita v Plzni FAKULTA PEDAGOGICKÁ Západočeská univerzita v Plzni FAKULTA PEDAGOGICKÁ BAKALÁŘSKÁ PRÁCE KONEČNÉ GRUPY MALÝCH ŘÁDŮ Ivana Čechová Vedoucí práce: doc. RNDr. Jaroslav Hora, CSc. Plzeň 2012 Prohlašuji, že jsem bakalářskou práci

Více

Jak pracovat s absolutními hodnotami

Jak pracovat s absolutními hodnotami Jak pracovat s absolutními hodnotami Petr Matyáš 1 Co to je absolutní hodnota Absolutní hodnota čísla a, dále ji budeme označovat výrazem a, je jeho vzdálenost od nuly na ose x, tedy je to vždy číslo kladné.

Více

Matematika pro studenty ekonomie

Matematika pro studenty ekonomie w w w g r a d a c z vydání upravené a doplněné vydání Armstrong Grada Publishing as U Průhonu 7 Praha 7 tel: + fax: + e-mail: obchod@gradacz wwwgradacz Matematika pro studenty ekonomie MATEMATIKA PRO STUDENTY

Více

Gymnázium, Brno. Matice. Závěrečná maturitní práce. Jakub Juránek 4.A Školní rok 2010/11

Gymnázium, Brno. Matice. Závěrečná maturitní práce. Jakub Juránek 4.A Školní rok 2010/11 Gymnázium, Brno Matice Závěrečná maturitní práce Jakub Juránek 4.A Školní rok 2010/11 Konzultant: Mgr. Aleš Kobza Ph.D. Brno, 2011 Prohlášení Prohlašuji, že jsem předloženou práci zpracoval samostatně

Více

Maticový a tenzorový počet

Maticový a tenzorový počet Maticový a tenzorový počet Doc. RNDr. Martin Kovár, Ph.D. Ústav matematiky Fakulta elektrotechniky a komunikačních technologií VUT v Brně Obsah. Test vstupních znalostí............................. 5 Matice

Více

Množiny, relace, zobrazení

Množiny, relace, zobrazení Množiny, relace, zobrazení Množiny Množinou rozumíme každý soubor určitých objektů shrnutých v jeden celek. Zmíněné objekty pak nazýváme prvky dané množiny. Pojem množina je tedy synonymem pojmů typu soubor,

Více

0. Lineární rekurence Martin Mareš, 2010-07-04

0. Lineární rekurence Martin Mareš, 2010-07-04 0 Lineární rekurence Martin Mareš, 2010-07-04 V tomto krátkém textu se budeme zabývat lineárními rekurencemi, tj posloupnostmi definovanými rekurentní rovnicí typu A n+k = c 0 A n + c 1 A n+1 + + c k 1

Více

Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...

Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R... Kapitola 1 Úvod 1.1 Značení N... přirozená čísla (1, 2, 3,...). Z... celá čísla ( 3, 2, 1, 0, 1, 2,...). Q... racionální čísla ( p, kde p Z a q N) q R... reálná čísla C... komplexní čísla 1.2 Výroky -

Více

Základy teorie množin

Základy teorie množin 1 Základy teorie množin Z minula: 1. Cantorovu větu (x P(x)) 2. základní vlastnosti disjunktního sjednocení, kartézského součinu a množinové mocniny (z hlediska relací, ) 3. vztah P(a) a 2 4. větu (2 a

Více

PŘEDNÁŠKA 2 POSLOUPNOSTI

PŘEDNÁŠKA 2 POSLOUPNOSTI PŘEDNÁŠKA 2 POSLOUPNOSTI 2.1 Zobrazení 2 Definice 1. Uvažujme libovolné neprázdné množiny A, B. Zobrazení množiny A do množiny B je definováno jako množina F uspořádaných dvojic (x, y A B, kde ke každému

Více

Báze a dimenze vektorových prostorů

Báze a dimenze vektorových prostorů Báze a dimenze vektorových prostorů Buď (V, +, ) vektorový prostor nad tělesem (T, +, ). Nechť u 1, u 2,..., u n je konečná posloupnost vektorů z V. Existují-li prvky s 1, s 2,..., s n T, z nichž alespoň

Více

1. Základy logiky a teorie množin

1. Základy logiky a teorie množin . Základy logiky a teorie množin Studijní text. Základy logiky a teorie množin A. Logika Matematická logika vznikla v 9. století. Jejím zakladatelem byl anglický matematik G. Boole (85 864). Boole prosadil

Více

Lineární algebra II. Adam Liška. 9. února 2015. Zápisky z přednášek Jiřího Fialy na MFF UK, letní semestr, ak. rok 2007/2008

Lineární algebra II. Adam Liška. 9. února 2015. Zápisky z přednášek Jiřího Fialy na MFF UK, letní semestr, ak. rok 2007/2008 Lineární algebra II Zápisky z přednášek Jiřího Fialy na MFF UK, letní semestr, ak rok 2007/2008 Adam Liška 9 února 2015 http://kammffcunicz/~fiala http://wwwadliskacom 1 Obsah 10 Permutace 3 11 Determinant

Více

PŘEDNÁŠKA 5 Konjuktivně disjunktivní termy, konečné distributivní svazy

PŘEDNÁŠKA 5 Konjuktivně disjunktivní termy, konečné distributivní svazy PŘEDNÁŠKA 5 Konjuktivně disjunktivní termy, konečné distributivní svazy PAVEL RŮŽIČKA Abstrakt. Ukážeme, že každý prvek distributivního svazu odpovídá termu v konjuktivně-disjunktivním (resp. disjunktivně-konjunktivním)

Více

Několik poznámek na téma lineární algebry pro studenty fyzikální chemie

Několik poznámek na téma lineární algebry pro studenty fyzikální chemie Několik poznámek na téma lineární algebry pro studenty fyzikální chemie Jiří Kolafa Vektory. Vektorový prostor Vektor je často zaveden jako n-tice čísel, (v,..., v n ), v i R (pro reálný vektorový prostor);

Více

Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan. 2.

Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan. 2. Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan 2. Homomorfismy V souvislosti se strukturami se v moderní matematice studují i zobrazení,

Více

2 Spojité modely rozhodování

2 Spojité modely rozhodování 2 Spojité modely rozhodování Jak již víme z přednášky, diskrétní model rozhodování lze zapsat ve tvaru úlohy hodnocení variant: f(a i ) max, a i A = {a 1, a 2,... a p }, kde f je kriteriální funkce a A

Více

Cyklické kódy. Definujeme-li na F [x] n sčítání a násobení jako. a + b = π n (a + b) a b = π n (a b)

Cyklické kódy. Definujeme-li na F [x] n sčítání a násobení jako. a + b = π n (a + b) a b = π n (a b) C Ať C je [n, k] q kód takový, že pro každé u 1,..., u n ) C je také u 2,..., u n, u 1 ) C. Jinými slovy, kódová slova jsou uzavřena na cyklické posuny. Je přirozené takový kód nazvat cyklický. Strukturu

Více

ALGEBRA I. Hlavním tématem je teorie grup. Kromě základních vlastností grup se věnujeme jejich

ALGEBRA I. Hlavním tématem je teorie grup. Kromě základních vlastností grup se věnujeme jejich ALGEBRA I JAN TRLIFAJ Tento text pokrývá látku probíranou na přednášce Algebra I (NALG026) pro druhý ročník bakalářského studia obecné matematiky. Hlavním tématem je teorie grup. Kromě základních vlastností

Více

Pavel Horák, Josef Janyška LINEÁRNÍ ALGEBRA UČEBNÍ TEXT

Pavel Horák, Josef Janyška LINEÁRNÍ ALGEBRA UČEBNÍ TEXT Pavel Horák, Josef Janyška LINEÁRNÍ ALGEBRA UČEBNÍ TEXT 2 0 1 8 Obsah 1 Vektorové prostory 1 1 Vektorový prostor, podprostory........................ 1 2 Generování podprostor u............................

Více

15. Moduly. a platí (p + q)(x) = p(x) + q(x), 1(X) = id. Vzniká tak struktura P [x]-modulu na V.

15. Moduly. a platí (p + q)(x) = p(x) + q(x), 1(X) = id. Vzniká tak struktura P [x]-modulu na V. Učební texty k přednášce ALGEBRAICKÉ STRUKTURY Michal Marvan, Matematický ústav Slezská univerzita v Opavě 15. Moduly Definice. Bud R okruh, bud M množina na níž jsou zadány binární operace + : M M M,

Více

Teorie množin. Čekají nás základní množinové operace kartézské součiny, relace zobrazení, operace. Teoretické základy informatiky.

Teorie množin. Čekají nás základní množinové operace kartézské součiny, relace zobrazení, operace. Teoretické základy informatiky. Teorie množin V matematice je všechno množina I čísla jsou definována pomocí množin Informatika stojí na matematice Znalosti Teorie množin využijeme v databázových systémech v informačních systémech při

Více

5. Maticová algebra, typy matic, inverzní matice, determinant.

5. Maticová algebra, typy matic, inverzní matice, determinant. 5. Maticová algebra, typy matic, inverzní matice, determinant. Matice Matice typu m,n je matice složená z n*m (m >= 1, n >= 1) reálných (komplexních) čísel uspořádaných do m řádků a n sloupců: R m,n (resp.

Více

STEREOMETRIE ZÁKLADNÍ POJMY, METRICKÉ VLASTNOSTI, ODCHYLKY, VZDÁLENOSTI. STEREOMETRIE geometrie v prostoru

STEREOMETRIE ZÁKLADNÍ POJMY, METRICKÉ VLASTNOSTI, ODCHYLKY, VZDÁLENOSTI. STEREOMETRIE geometrie v prostoru Předmět: Ročník: Vytvořil: Datum: MATEMATIKA DRUHÝ Mgr. Tomáš MAŇÁK 4. května 2014 Název zpracovaného celku: STEREOMETRIE ZÁKLADNÍ POJMY, METRICKÉ VLASTNOSTI, ODCHYLKY, VZDÁLENOSTI STEREOMETRIE geometrie

Více

Úvod do informatiky. Miroslav Kolařík

Úvod do informatiky. Miroslav Kolařík Úvod do informatiky přednáška pátá Miroslav Kolařík Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008 a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní

Více

Základy teorie grup Elements of Group Theory

Základy teorie grup Elements of Group Theory Technická univerzita v Liberci FAKULTA PEDAGOGICKÁ Katedra: Studijní program: Kombinace: Matematiky a didaktiky matematiky Učitelství pro 3. stupeň matematika, zeměpis Základy teorie grup Elements of Group

Více

Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice

Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice Vektorové podprostory K množina reálných nebo komplexních čísel, U vektorový prostor nad K. Lineární kombinace vektorů u 1, u 2,...,u

Více

grupa těleso podgrupa konečné těleso polynomy komutativní generovaná prvkem, cyklická, řád prvku charakteristika tělesa

grupa těleso podgrupa konečné těleso polynomy komutativní generovaná prvkem, cyklická, řád prvku charakteristika tělesa grupa komutativní podgrupa těleso generovaná prvkem, cyklická, řád prvku Malá Fermatova věta konečné těleso charakteristika tělesa polynomy ireducibilní prvky, primitivní prvky definice: G, je grupa kde

Více

Tento text je stručným shrnutím těch tvrzení Ramseyovy teorie, která zazněla

Tento text je stručným shrnutím těch tvrzení Ramseyovy teorie, která zazněla Ramseyovy věty Martin Mareš Tento text je stručným shrnutím těch tvrzení Ramseyovy teorie, která zazněla na mé letošní přednášce z Kombinatoriky a grafů I Předpokládá, že čtenář se již seznámil se základní

Více

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 4. PREDNÁŠKA - SOUČIN PROSTORŮ A TICHONOVOVA VĚTA.

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 4. PREDNÁŠKA - SOUČIN PROSTORŮ A TICHONOVOVA VĚTA. TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 4. PREDNÁŠKA - SOUČIN PROSTORŮ A TICHONOVOVA VĚTA. PAVEL RŮŽIČKA 4.1. (Kvazi)kompaktnost a sub-báze. Buď (Q, ) uspořádaná množina. Řetězcem v Q budeme rozumět lineárně

Více

Teorie grup 1 Příklad axiomatické teorie

Teorie grup 1 Příklad axiomatické teorie Teorie grup 1 Příklad axiomatické teorie Alena Šolcová 1 Binární operace Binary operation Binární operací na neprázdné množině A rozumíme každé zobrazení kartézského součinu A x A do A. Multiplikativní

Více

Matice se v některých publikacích uvádějí v hranatých závorkách, v jiných v kulatých závorkách. My se budeme držet zápisu s kulatými závorkami.

Matice se v některých publikacích uvádějí v hranatých závorkách, v jiných v kulatých závorkách. My se budeme držet zápisu s kulatými závorkami. Maticové operace Definice Skalár Představme si nějakou množinu, jejíž prvky lze sčítat a násobit. Pěkným vzorem jsou čísla, která už známe od mala. Prvky takové množiny nazýváme skaláry. Matice Matice

Více

Těleso racionálních funkcí

Těleso racionálních funkcí Těleso racionálních funkcí Poznámka. V minulém semestru jsme libovolnému oboru integrity sestrojili podílové těleso. Pro libovolné těleso R je okruh polynomů R[x] oborem integrity, máme tedy podílové těleso

Více

Spojitost funkcí více proměnných

Spojitost funkcí více proměnných Reálné funkce více proměnných Reálnou funkcí n reálných proměnných rozumíme zobrazení, které každé uspořádané n ticireálnýchčíselznějaképodmnožinykartézskéhosoučinur R=R n přiřazuje nějaké reálné číslo.

Více

Teoretická informatika Tomáš Foltýnek Teorie čísel Nekonečno

Teoretická informatika Tomáš Foltýnek Teorie čísel Nekonečno Tomáš Foltýnek foltynek@pef.mendelu.cz Teorie čísel Nekonečno strana 2 Opakování z minulé přednášky Jak je definována podmnožina, průnik, sjednocení, rozdíl? Jak je definována uspořádaná dvojice a kartézský

Více

FAKULTA STAVEBNÍ MATEMATIKA II MODUL 2 STUDIJNÍ OPORY PRO STUDIJNÍ PROGRAMY S KOMBINOVANOU FORMOU STUDIA

FAKULTA STAVEBNÍ MATEMATIKA II MODUL 2 STUDIJNÍ OPORY PRO STUDIJNÍ PROGRAMY S KOMBINOVANOU FORMOU STUDIA VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ FAKULTA STAVEBNÍ MATEMATIKA II MODUL KŘIVKOVÉ INTEGRÁLY STUDIJNÍ OPORY PRO STUDIJNÍ PROGRAMY S KOMBINOVANOU FORMOU STUDIA Typeset by L A TEX ε c Josef Daněček, Oldřich Dlouhý,

Více

11. Geometrická optika

11. Geometrická optika Trivium z optiky 83 Geometrická optika V této a v následující kapitole se budeme zabývat studiem světla v situacích, kdy je možno zanedbat jeho vlnový charakter V tomto ohledu se obě kapitoly podstatně

Více

Euklidovský prostor Stručnější verze

Euklidovský prostor Stručnější verze [1] Euklidovský prostor Stručnější verze definice Eulidovského prostoru kartézský souřadnicový systém vektorový součin v E 3 vlastnosti přímek a rovin v E 3 a) eprostor-v2, 16, b) P. Olšák, FEL ČVUT, c)

Více

Masarykova univerzita. Základy konvexní analýzy a optimalizace v R n.

Masarykova univerzita. Základy konvexní analýzy a optimalizace v R n. Masarykova univerzita Ondřej Došlý Základy konvexní analýzy a optimalizace v R n. První vydání Brno 2004 Došlý Ondřej Název knihy c prof. RNDr. Ondřej Došlý, DrSc., 2005 Největší životní umění je neoptimalizovat

Více

Základy teorie množin

Základy teorie množin 1 Základy teorie množin Z minula: 1. zavedení pojmů relace, zobrazení (funkce); prostá zobrazení, zobrazení na, bijekce 2. rozklady, relace ekvivalence, kongruence, faktorizace 3. uspořádání a některé

Více

Lineární zobrazení. V prvním z následujících tvrzení navíc uvidíme, že odtud plynou a jsou tedy pak rovněž splněny podmínky:

Lineární zobrazení. V prvním z následujících tvrzení navíc uvidíme, že odtud plynou a jsou tedy pak rovněž splněny podmínky: Lineární zobrazení Nechť (V, +, ) a (W, +, ) jsou dva vektorové prostory nad týmž tělesem (T, +, ). Nechť f : V W je zobrazení splňující následující podmínky: ( u, v V)(f(u + v) = f(u) + f(v)), ( s T )(

Více

Základy teorie grup. Martin Kuřil

Základy teorie grup. Martin Kuřil Základy teorie grup Martin Kuřil Abstrakt Text je vhodný pro samostudium a jako studijní opora pro studenty distanční a kombinované formy studia. V textu jsou vyloženy základy teorie grup od zavedení pojmu

Více

Algebra 2 KMI/ALG2. Zpracováno podle přednášek prof. Jiřího Rachůnka a podle přednášek prof. Ivana Chajdy. slidy k přednáškám

Algebra 2 KMI/ALG2. Zpracováno podle přednášek prof. Jiřího Rachůnka a podle přednášek prof. Ivana Chajdy. slidy k přednáškám Algebra 2 slidy k přednáškám KMI/ALG2 Zpracováno podle přednášek prof. Jiřího Rachůnka a podle přednášek prof. Ivana Chajdy. Vytvořeno za podpory projektu FRUP_2017_052: Tvorba a inovace výukových opor

Více

Lineární algebra : Násobení matic a inverzní matice

Lineární algebra : Násobení matic a inverzní matice Lineární algebra : Násobení matic a inverzní matice (8. přednáška) František Štampach, Karel Klouda frantisek.stampach@fit.cvut.cz, karel.klouda@fit.cvut.cz Katedra aplikované matematiky Fakulta informačních

Více

9. Úvod do teorie PDR

9. Úvod do teorie PDR 9. Úvod do teorie PDR A. Základní poznatky o soustavách ODR1 Diferenciální rovnici nazveme parciální, jestliže neznámá funkce závisí na dvou či více proměnných (příslušná rovnice tedy obsahuje parciální

Více

Řešení soustav diferenčních rovnic pro

Řešení soustav diferenčních rovnic pro Univerzita Karlova v Praze Matematicko-fyzikální fakulta DIPLOMOVÁ PRÁCE Jana Kučerová Řešení soustav diferenčních rovnic pro sčítání a booleovské operace Katedra algebry Vedoucí diplomové práce: Doc.

Více

Numerická realizace metod. lineárního a kvadratického

Numerická realizace metod. lineárního a kvadratického Matematicko-fyzikální fakulta Univerzita Karlova Praha Numerická realizace metod vnitřního bodu pro řešení úloh lineárního a kvadratického programování Věra Koubková Diplomová práce Praha 1997 Studijní

Více

Cyklické grupy a grupy permutací

Cyklické grupy a grupy permutací Cyklické grupy a grupy permutací Jiří Velebil: A7B01MCS 5. prosince 2011: Cyklické grupy, permutace 1/26 Z minula: grupa je důležitý ADT Dnešní přednáška: hlubší pohled na strukturu konečných grup. Aplikace:

Více

Matematika kr sy. 5. kapitola. V hoda pr ce s grupami

Matematika kr sy. 5. kapitola. V hoda pr ce s grupami 5. kapitola Matematika kr sy V hoda pr ce s grupami Původním úkolem geometrie byl popis různých objektů a vztahů, pozorovaných v okolním světě. Zrakem vnímáme nejen struktury tvaru objektů, všímáme si

Více

Kapitola 1. Tenzorový součin matic

Kapitola 1. Tenzorový součin matic Kapitola 1 Tenzorový součin matic Definice 1.1. Buď F komutativní těleso. Pro matice A F m n a B F r s definujeme tenzorový součin A B jako matici o rozměru mr ns zapsanou blokově: A 11 B A 12 B A 1n B

Více

Lineární algebra : Násobení matic a inverzní matice

Lineární algebra : Násobení matic a inverzní matice Lineární algebra : Násobení matic a inverzní matice (8. přednáška) František Štampach, Karel Klouda LS 2013/2014 vytvořeno: 17. března 2014, 12:42 1 2 0.1 Násobení matic Definice 1. Buďte m, n, p N, A

Více

Pavel Horák LINEÁRNÍ ALGEBRA A GEOMETRIE 1 UČEBNÍ TEXT

Pavel Horák LINEÁRNÍ ALGEBRA A GEOMETRIE 1 UČEBNÍ TEXT Pavel Horák LINEÁRNÍ ALGEBRA A GEOMETRIE 1 UČEBNÍ TEXT 2 0 1 7 Obsah 1 Vektorové prostory 2 1 Vektorový prostor, podprostory........................ 2 2 Generování podprostor u............................

Více

Algebra I Cvičení. 4) Množina všech matic s nulou v levém dolním rohu a s jedničkami na diagonále.

Algebra I Cvičení. 4) Množina všech matic s nulou v levém dolním rohu a s jedničkami na diagonále. Algebra I Cvičení Podle následující sbírky probíhalo cvičení na PřF v semestru Jaro 2003. Příklady jsou rozděleny na ty, které jsme dělali na cvičení (označeno C), úlohy na kterých lze procvičovat probranou

Více

MNOŽINY. x A. Jeho varianty paradox mostu se šibenicí, paradox holiče.

MNOŽINY. x A. Jeho varianty paradox mostu se šibenicí, paradox holiče. MNOŽINY Naivní definice (pojetí): Množina [set] je přesně definovaný soubor prvků, které mají nějakou vlastnost. O čemkoliv je třeba umět jednoznačně rozhodnout, zda do dané množiny patří či nikoliv. Vztah

Více

Množinu všech slov nad abecedou Σ značíme Σ * Množinu všech neprázdných slov Σ + Jazyk nad abecedou Σ je libovolná množina slov nad Σ

Množinu všech slov nad abecedou Σ značíme Σ * Množinu všech neprázdných slov Σ + Jazyk nad abecedou Σ je libovolná množina slov nad Σ Abecedou se rozumí libovolná konečná množina Σ. Prvky abecedy nazýváme znaky (symboly) Slovo (řetězec) v nad abecedou Σ je libovolná konečná posloupnost znaků této abecedy. Prázdné posloupnosti znaků odpovídá

Více

[1] x (y z) = (x y) z... (asociativní zákon), x y = y x... (komutativní zákon).

[1] x (y z) = (x y) z... (asociativní zákon), x y = y x... (komutativní zákon). Grupy, tělesa grupa: množina s jednou rozumnou operací příklady grup, vlastnosti těleso: množina se dvěma rozumnými operacemi příklady těles, vlastnosti, charakteristika tělesa lineární prostor nad tělesem

Více

Funkce zadané implicitně

Funkce zadané implicitně Kapitola 8 Funkce zadané implicitně Začneme několika příklady. Prvním je známá rovnice pro jednotkovou kružnici x 2 + y 2 1 = 0. Tato rovnice popisuje křivku, kterou si však nelze představit jako graf

Více

Lineární algebra a analytická geometrie sbírka úloh a ř ešených př íkladů

Lineární algebra a analytická geometrie sbírka úloh a ř ešených př íkladů Lineární algebra a analytická geometrie sbírka úloh a ř ešených př íkladů Linear algebra and analytic geometry problems and solved examples Klára Javornická Bakalářská práce 2010 UTB ve Zlíně, Fakulta

Více

MATEMATIKA IV - PARCIÁLNÍ DIFERENCIÁLNÍ ROVNICE - ZÁPISKY Z. Obsah. 1. Parciální diferenciální rovnice obecně. 2. Kvaazilineární rovnice prvního řádu

MATEMATIKA IV - PARCIÁLNÍ DIFERENCIÁLNÍ ROVNICE - ZÁPISKY Z. Obsah. 1. Parciální diferenciální rovnice obecně. 2. Kvaazilineární rovnice prvního řádu MATEMATIKA IV - PARCIÁLNÍ DIFERENCIÁLNÍ ROVNICE - ZÁPISKY Z PŘEDNÁŠEK JAN MALÝ Obsah 1. Parciální diferenciální rovnice obecně 1. Kvaazilineární rovnice prvního řádu 1 3. Lineární rovnice druhého řádu

Více

INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.

INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28. INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 Relace, zobrazení, algebraické struktury Michal Botur Přednáška

Více

Nechť M je množina. Zobrazení z M M do M se nazývá (binární) operace

Nechť M je množina. Zobrazení z M M do M se nazývá (binární) operace Kapitola 2 Algebraické struktury Řada algebraických objektů má podobu množiny s nějakou dodatečnou strukturou. Například vektorový prostor je množina vektorů, ty však nejsou jeden jako druhý : jeden z

Více

Greenova funkce pro dvoubodové okrajové úlohy pro obyčejné diferenciální rovnice

Greenova funkce pro dvoubodové okrajové úlohy pro obyčejné diferenciální rovnice Greenova funkce pro dvoubodové okrajové úlohy pro obyčejné diferenciální rovnice Jan Tomeček Tento stručný text si klade za cíl co nejrychlejší uvedení do teorie Greenových funkcí pro obyčejné diferenciální

Více

3 Množiny, Relace a Funkce

3 Množiny, Relace a Funkce 3 Množiny, Relace a Funkce V přehledu matematických formalismů informatiky se v této lekci zaměříme na základní datové typy matematiky, tj. na množiny, relace a funkce. O množinách jste sice zajisté slyšeli

Více

Matematické symboly a značky

Matematické symboly a značky Matematické symboly a značky Z Wikipedie, otevřené encyklopedie Matematický symbol je libovolný znak, používaný v. Může to být znaménko pro označení operace s množinami, jejich prvky, čísly či jinými objekty,

Více