Grupa

Všechny povolené transformace Rubikovy kostky tvoří grupu
Asociativita  Neutrální prvek   Inverzní prvek   Komutativita
Abelova grupaAnoAnoAnoAnoAnoAnoAnoAno
GrupaAnoAnoAnoAnoAnoAnoNeNe
MonoidAnoAnoAnoAnoNeNeNeNe
PologrupaAnoAnoNeNeNeNeNeNe
LupaNeNeAnoAnoAnoAnoNeNe
KvazigrupaNeNeNeNeAnoAnoNeNe
GrupoidNeNeNeNeNeNeNeNe
Struktury s jednou binární operací

Grupa je v matematice algebraická struktura tvořená množinou spolu s binární operací, která je asociativní, má neutrální prvek a každý prvek má svou inverzi. Matematická disciplína zabývající se studiem grup se nazývá teorie grup. Příkladem grup jsou celá čísla s operací sčítání, nenulová racionální čísla s operací násobení, symetrie pravidelných geometrických útvarů, množiny regulárních matic a automorfismy různých algebraických struktur.

Teorie grup vznikla počátkem 19. století. U jejího zrodu stál matematik Évariste Galois, který dokázal, že polynomiální rovnice nelze obecně řešit pomocí odmocnin. Grupy našly později uplatnění také v geometrii, teorii čísel, algebraické topologii a dalších matematických oborech. Klasifikace jednoduchých konečných grup byla dokončena koncem 20. století a patří k největším výsledkům matematiky vůbec.

Pojem grupy abstraktně popisuje či zobecňuje mnoho matematických objektů a má významné uplatnění i v příbuzných oborech – ve fyzice, informaticechemii. Reprezentace grup hrají důležitou úlohu v teoriích jako jsou částicová fyzika, kvantová teorie pole anebo teorie strun. V informatice se grupy vyskytují například v kryptografii, kódování anebo zpracování obrazu, chemie používá grupy pro popis symetrií molekulkrystalových mřížekkrystalografii.

Definice grupy

Schéma vztahů mezi algebraickými strukturami. Výchozí je grupoid (anglicky magma) s jednou uzavřenou operací. Přidáváním dalších podmínek vznikají např. pologrupa (semigroup) a kvazigrupa (quasigroup).

Grupou nazýváme množinu spolu s binární operací na ní, která se nazývá grupová operace. Tato operace libovolným dvěma prvkům grupy přiřazuje prvek téže grupy . Značení grupové operace se v literatuře liší. Obvykle se značí jako násobení , resp. jenom , v Abelových grupách často jako sčítání , a někdy také pomocí dalších symbolů (, resp. ). Podle kontextu říkáme, že je složení, resp. součin, resp. součet prvků . Dále se v definici grupy požaduje, aby grupová operace splňovala určité vlastnosti, které se nazývají axiomy grupy.[1]

Uzavřenost
Pro všechny prvky je i složení prvkem .[pozn 1]
Asociativita
Pro všechny prvky grupy platí , tj. výsledek složení tří prvků nezávisí na umístění závorek.[pozn 2] Díky tomu má smysl psát složení tří a více prvků i bez závorek.
Existence neutrálního prvku
Existuje prvek takový, že pro všechna platí . Tento prvek se nazývá neutrální prvek anebo jednotkový prvek a značí se také , resp. .[pozn 3]
Existence inverzního prvku
Pro každý prvek grupy existuje prvek takový, že , tj. jejich složení v libovolném pořadí je rovno neutrálnímu prvku . Prvek se také nazývá inverzní prvek k  a značí se . Lze ukázat, že neutrální prvek je v grupě jenom jeden a že inverzní prvek k  je dán jednoznačně.

V grupách obecně záleží na pořadí, ve kterém prvky skládáme, tj. obecně nemusí platit . Grupa, ve které tato rovnost platí pro všechna , se nazývá komutativní grupa nebo také Abelova grupa.

Množina z této definice se označuje jako nosič nebo nosná množina grupy. Označíme-li operaci jako sčítání , mluvíme o aditivní grupě a píšeme . Obvykle se používá aditivní notace pro grupy Abelovy a neutrální prvek se pak zapisuje jako . Označíme-li operaci jako násobení , hovoříme o multiplikativní grupě a píšeme . V takovém případě se často znak nepíše a součin prvků se značí jako . Neutrální prvek multiplikativní grupy se obvykle značí jako .

Definice pomocí tří operací

Ekvivalentně lze grupu definovat pomocí

  • nulární operace (tj. konstanty) představující neutrální prvek,
  • unární operace −1, která každému prvku přiřadí prvek k němu inverzní, a
  • binární operace,

které splňují axiomy uvedené výše. Místo označení „grupa “ se pak používá označení „grupa “. Axiomy grupy lze pak přepsat do výroků, které neobsahují existenční kvantifikátory. Třída všech grup proto tvoří varietu[2], a tak lze na grupy vztáhnout mnohé výsledky dokázané v univerzální algebře.

Ilustrativní příklady

Celá čísla

Známým příkladem grupy je množina celých čísel spolu s operací sčítání.[3][4]

  • Operace sčítání je na této množině binární operace, protože součtem dvou celých čísel je opět celé číslo.
  • Sčítání je asociativní,
  • Nula je neutrální prvek, protože pro každé celé číslo a platí
  • Pro každé celé číslo existuje opačné číslo , .

Axiomy jsou tedy splněny. Tato grupa se obvykle značí .

Dihedrální grupa D4

Symetrie čtverce jsou definovány jako rotace, zrcadlení resp. jejich složení, které převádí čtverec sám na sebe. Množina všech takových symetrií tvoří grupu, která má osm prvků a značí se D4.[4][5] Následuje popis těchto symetrií:


id (identita)

r1 (rotace o 90° doprava)

r2 (rotace o 180° doprava)

r3 (rotace o 270° doprava)

fv (vertikální překlopení)

fh (horizontální překlopení)

fd (diagonální překlopení)

fc (anti-diagonální překlopení)
Prvky grupy symetrií čtverce (D4). Vrcholy jsou očíslovány a obarveny jenom za účelem vizualizace operací.
Násobení v grupě D4
idr1r2r3fvfhfdfc
ididr1r2r3fvfhfdfc
r1r1r2r3idfcfdfvfh
r2r2r3idr1fhfvfcfd
r3r3idr1r2fdfcfhfv
fvfvfdfhfcidr2r1r3
fhfhfcfvfdr2idr3r1
fdfdfhfcfvr3r1idr2
fcfcfvfdfhr1r3r2id
Prvky id, r1, r2 a r3 tvoří podgrupu, zvýrazněnou červeně (levá horní oblast). Prvek levé a pravé třídy rozkladu podle této podgrupy je zvýrazněna zelenou (v posledním řádku) a žlutou (v posledním sloupci).
  • Identita (id) nechává čtverec nezměněn
  • Rotace čtverce o 90°, 180°, a 270° doprava ( a )
  • Překlopení (také reflexe nebo zrcadlení) kolem vertikální a horizontální střední úsečky (), a kolem dvou diagonál ().

Binární operaci v této grupě definujeme jako skládání zobrazení: osm symetrií jsou zobrazení ze čtverce na čtverec a dvě symetrie se dají složit do nové symetrie. Je zřejmé, že výsledek bude opět symetrie čtverce. Výsledek operace „nejdříve a pak “ se obvykle značí zprava doleva jako . Podobné značení se totiž používá pro skládání zobrazení. Například .

Tabulka vpravo znázorňuje výsledky všech možných složení. Například výsledek složení rotace o 270° doprava () a horizontálního překlopení () je stejný jako překlopení kolem diagonály (). Formálně,

což je v tabulce zvýrazněno modrou barvou. Vidíme také, že grupa není komutativní, neboť například

Dějiny

Évariste Galois ve věku 15 let. Přestože zemřel ve věku 20 let, je považován za jednoho ze zakladatelů teorie grup

Koncept grupy se vyvinul z různých oblastí matematiky.[6][7][8] Původní motivace pro teorii grup byla snaha řešit polynomiální rovnice stupně vyššího než 4. Kvadratické rovnice uměli lidé řešit už v starověkých civilizacích.[9] Lodovico Ferrari uměl řešit polynomiální rovnice stupně 3 a 4 kolem roku 1540,[10] řešení publikoval spolu s Gerolamo Cardanem v knize Ars Magna v roce 1545. Pro polynomiální rovnice vyššího stupně však obecně nelze řešení vyjádřit vzorcem, který obsahuje pouze operace sčítání, odčítání, násobení, dělení a odmocninu a to v konečném počtu. Historickou terminologií se jedná o nalezení řešení pomocí radikálů, moderní terminologie mluví o algebraicky řešitelné rovnici.[11] Počátkem 19. století francouzský matematik Évariste Galois, navazuje na starší práce RuffinihoLagrangeho, nalezl kritérium pro algebraickou řešitelnost polynomiálních rovnic. Existence takového řešení závisí na grupě symetrií kořenů daného polynomu. Tato grupa se dnes nazývá Galoisova grupa a její prvky jsou jisté permutace kořenů.

Galoisovy myšlenky byly jeho současníky odmítnuty a publikovány až posmrtně.[12][13] Obecnější permutační grupy byly zkoumány Augustinem Cauchym. První definici konečné grupy a také název „grupa“ zavedl Arthur Cayley v publikaci On the theory of groups, as depending on the symbolic equation θn = 1 (1854).

Geometrie byla druhou oblastí, v které byly grupy systematicky využívány, hlavně grupy symetrií geometrických prostorů zavedené Felixem KleinemErlangenském programu v roce 1872.[14] Klein využil teorii grup pro popis a kategorizaci nově se objevivších geometrií jako hyperbolická geometrie, projektivní geometrie a starší Eukleidova geometrie. Dále tento koncept rozvinul Sophus Lie, který zavedl pojem a studium Lieových grup v roce 1884.[15]

Třetí oblast, která přispěla ke vzniku a rozšíření teorie grup byla teorie čísel. Jisté struktury odpovídající Abelovým grupám byly implicitně použity v Gaussově číselně teoretickém díle Disquisitiones Arithmeticae a explicitněji je používal i Leopold Kronecker.[16] V roce 1847, Ernst Kummer v raných pokusech dokázat Velkou Fermatovu větu zavedl grupy popisující faktorizaci na prvočísla.[17]

Spojování těchto různých motivů do jednotné teorie grup začalo Jordanovou publikací Traité des substitutions et des équations algébriques (1870).[18] Walther von Dyck (1882) zavedl první moderní definici grupy.[19]

Počátkem 20. století získaly grupy široké přijetí díky práci Ferdinanda Frobenia a Williama Burnsidea, kteří pracovali na teorii reprezentací konečných grup a také díky článkům Richarda Brauera (modulární teorie reprezentací) a Issaie Schura.[20] Teorie Lieových grup, a obecněji lokálně kompaktních grup byla publikována Hermannem Weylem, Élie Cartanem a mnoha dalšími.[21] Její algebraický protějšek, teorie algebraických grup, byla prvně popsána Chevalleyem (koncem 30. let) a později Armandem Borelem a Jacquesem Titsem.[22]

V letech 1960–61 zorganizovala Univerzita v Chicagu Rok teorie grup a teoretici jako Daniel Gorenstein, John G. ThompsonWalter Feit založili spolupráci která, s přispěním mnohých jiných matematiků, vedla ke klasifikaci jednoduchých konečných grup v roce 1982. Tento projekt předčil předchozí matematická úsilí svým rozsahem a to jak délkou důkazů, tak počtem zainteresovaných matematiků. Ačkoliv je klasifikace hotova, výzkum pokračuje s cílem zjednodušit důkaz této klasifikace.[23] I v současnosti je teorie grup rozvíjející se oblast matematiky, která ovlivňuje řadu souvisejících teorií.

Základní grupové pojmy

V této kapitole budeme pro grupovou operaci používat symbol pro součin (), složení prvků budeme značit . V případě Abelových grup budeme používat symbol pro součet () a psát .

Řád prvku a grupy

Řádem grupy se nazývá mohutnost její nosné množiny.

Řádem prvku se nazývá nejmenší přirozené číslo takové, že (součin krát prvku ) anebo , pokud takové neexistuje.[24]

Cyklická grupa

Množina komplexních šestých odmocnin z jednotky tvoří šestiprvkovou cyklickou grupu. Například je její generátor, ale není, neboť liché mocniny nejsou mocniny .
Podrobnější informace naleznete v článku Cyklická grupa.

Grupa se nazývá cyklická, pokud je generována jedním prvkem. To znamená, že existuje prvek takový, že každý prvek lze napsat jako pro nějaké celé číslo .[25] Výraz znamená, že prvek je vynásoben sám se sebou  krát, a znamená, že je prvek vynásoben sám se sebou  krát pro nějaké přirozené číslo . Konečnou cyklickou grupu řádu lze reprezentovat množinou řešení rovnice komplexní rovině, což je pro znázorněno na obrázku. Grupové násobení je pak obyčejné násobení komplexních čísel. Jinou reprezentaci představuje množina zbytkových tříd spolu se sčítáním modulo .

Pokud je cyklická grupa nekonečná, je izomorfní grupě celých čísel . Pokud je konečná a má prvků, je izomorfní množině zbytkových tříd .[26]

Abelova grupa

Související informace naleznete také v článku Abelova grupa.

Grupu nazýváme Abelovou (také komutativní), platí-li pro všechna . Pojmenování je po norském matematikovi Henrikovi Abelovi.[27] Příklady Abelových grup jsou celá čísla spolu s operací sčítání , reálná čísla se sčítáním , množiny zbytkových tříd se sčítáním , vektorové prostory se sčítáním, anebo nenulová reálná čísla spolu s operací násobení . Každá Abelova grupa se dá chápat jako modul nad okruhem celých čísel a naopak, modul nad okruhem celých čísel je Abelova grupa.

Konečné Abelovy grupy se dají jednoduše klasifikovat. Každá konečná Abelova grupa je izomorfní direktní sumě cyklických grup, jejichž řády jsou mocniny prvočísel. Speciální případ tohoto tvrzení popisuje čínská věta o zbytcích, která byla částečně popsána už v knize Sun-c' suan-ťing čínského matematika Sun-c’ mezi 3. a 5. stoletím.[28]

Obecněji, každá konečně generovaná Abelova grupa je součtem volných Abelových grup (izomorfních ) a cyklických grup řádů mocnin prvočísel.[29][30] Například racionální čísla spolu se sčítáním však nejsou konečně generovány.[31]

Dalším důležitým příkladem Abelových grup jsou Prüferovy grupy. Prüferova grupa je pro každé prvočíslo spočetná Abelova grupa, v které má každý prvek -tou odmocninu. Tyto grupy hrají důležitou roli v klasifikaci nekonečných Abelových grup.[32]

Podgrupa

Znázornění podgrup dihedrální grupy D4 pomocí grafu. Vrchol úplně nahoře obsahuje všech 8 prvků grupy, které jsou znázorněny jako transformace písmena F a představuje celou grupu D4. Úplně dole je triviální podgrupa, obsahující pouze neutrální prvek. Pokud jsou dva vrcholy v tomto grafu spojeny hranou, představují příslušné vrcholy grupu a její podgrupu.
Související informace naleznete také v článku Podgrupa.

Podgrupa grupy je každá taková podmnožina , která splňuje[33]

  1. Pro libovolné je i
  2. Neutrální prvek
  3. Pro každé je i .

Podgrupa je tedy sama o sobě grupou[pozn 4] (pojem „podgrupa“ se běžně používá jak pro samotnou množinu, tak pro množinu s operací, tj. grupu).

Samotná grupa je vždy podgrupou . Podobně jednoprvková grupa, která obsahuje jenom neutrální prvek, je podgrupou . Tyto podgrupy se nazývají triviální podgrupy; podgrupy, které nejsou triviální, se pak nazývají vlastní podgrupy. Pokud je podgrupa je podgrupa , pak je také podgrupa . Znalost struktury podgrup dané grupy je důležitá pro porozumění grupy jako celku, ačkoliv grupa obecně nemusí být jednoznačně určena strukturou svých vlastních podgrup.[34]

V příkladu dihedrální grupy D4 popsaném výše identita a otočení tvoří podgrupu zvýrazněnou v tabulce násobení v grupě D4 červenou barvou. Složení libovolných rotací je totiž opět rotace a inverze k rotaci je také rotace. V tabulce podgrup dihedrální grupy je reprezentována rotacemi písmena F a odpovídá políčku v druhém řádku uprostřed.

Pro libovolnou množinu můžeme definovat podgrupu generovanou . Je to nejmenší podgrupa , která obsahuje množinu .[35] Ekvivalentně se dá popsat jako množina všech konečných součinů prvků z  a jejich inverzí.[pozn 5] Ve výše uvedeném příkladu podgrupa generovaná obsahuje kromě těchto dvou prvků také . Protože jak , tak , jsou samy k sobě inverzní a libovolný součin těchto prvků je opět prvkem množiny , jedná se o podgrupu (na obrázku znázorňujícím podgrupy D4 odpovídá levému políčku v druhém řádku). Tato podgrupa je komutativní.

Jednoduchá a polojednoduchá grupa

Pokud grupa neobsahuje žádné vlastní normální podgrupy, je označována jako jednoduchá grupa (někdy se též používá prostá grupa). Pokud grupa neobsahuje žádné vlastní normální Abelovy podgrupy, pak je označována jako polojednoduchá grupa (také poloprostá grupa).

Lieových grup se definuje jednoduchá Lieova grupa jako taková, která neobsahuje žádné vlastní normální podgrupy kromě diskrétních.[36][pozn 6]

Homomorfismus a izomorfismus grup

Grupový homomorfismus je zobrazení mezi grupami, které zachovává grupovou strukturu. Explicitně, je homomorfismus mezi , pokud pro libovolné 2 prvky g, k z G platí

.

Z této definice se dá ukázat, že grupový homomorfismus zobrazuje neutrální prvek v grupě na neutrální prvek v grupě a také inverzní prvek na inverzní:

Homomorfismus tedy zachovává strukturu, která je určena grupovými axiomy.[37]

Dvě grupy a se nazývají izomorfní, pokud existují grupové homomorfismy a takové, že složení a jsou identity. Zobrazení a se nazývá izomorfismus grup.

Z abstraktního pohledu, izomorfní grupy jsou považovány za objekty reprezentující stejnou strukturu. Například vlastnost v grupě je ekvivalentní vlastnosti v grupě .

Izomorfismus se nazývá automorfismus. Každý prvek určuje vnitřní automorfismus . Automorfismus, který není vnitřní, se nazývá vnější.

Rozkladové třídy

V mnohých situacích je užitečné považovat dva prvky grupy za ekvivalentní, pokud se liší jenom o násobek nějaké dané podgrupy. Uvažujme například grupu D4 popsanou výše a její podgrupu . Pokud uvažujeme nějaké překlopení čtverce (například fh), tak žádnou rotací už nemůžeme docílit zpátky konfiguraci nebo . Složení překlopení a rotace je vždy překlopení. Rotace tedy nehraje roli, pokud si všímáme jenom, zda bylo nebo nebylo aplikováno nějaké překlopení.

Rozkladové třídy formalizují tuto ideu. Podgrupa grupy definuje takzvané pravélevé rozkladové třídy takto:[38]

Rozkladové třídy pro libovolnou podgrupu tvoří rozklad na disjunktní podmnožiny. Přesněji, sjednocení všech levých rozkladových tříd je celé a libovolné dvě levé rozkladové třídy se buď rovnají, anebo jsou disjunktní.[39] První případ nastává právě když , tj. když se příslušné prvky , liší jenom o prvek z . Analogická tvrzení platí pro pravé rozkladové třídy.

Pravé a levé rozkladové třídy mohou být stejné, ale tato rovnost platit nemusí. Pokud se rovnají, tj. pokud pro všechna platí , pak se podgrupa nazývá normální. Množina všech levých rozkladových tříd se značí a množina všech pravých rozkladových tříd se značí .

V případě grupy D4 z úvodu a její podgrupy rotací R, levé rozkladové třídy jsou buď množina R všech rotací (a identita) pokud je prvkem R, anebo množina všech překlopení (zvýrazněna v tabulce zeleně) pokud je nějaké překlopení. Levé rozkladové třídy jsou tedy .

Normální podgrupa a faktorová grupa

Podrobnější informace naleznete v článku Faktorová grupa.

Podgrupa se nazývá normální podgrupou grupy , pokud pro každé a existuje takové, že , tj. levé a pravé rozkladové třídy se pro všechna rovnají:

Ekvivalentně, je jádro nějakého homomorfismu grup .[40] Každá podgrupa Abelovy grupy je normální.

Pokud je normální podgrupa , je možné zavést na množině rozkladových tříd strukturu grupy.[41] Grupová operace na množině je definována vztahem pro všechny . Tato grupa se nazývá faktorgrupa. Rozkladová třída je neutrální prvek této grupy a inverze k  je třída . Z toho vidíme, že zobrazení , které prvku přiřadí jeho rozkladovou třídu je homomorfismus grup.[42]

RF
RRF
FFR
Tabulka násobení ve faktorové grupě D4 / R.

V příkladu grupy D4 je její podgrupa normální a rozkladové třídy jsou , kde je množina všech překlopení. Grupová operace na faktorové grupě je znázorněna tabulkou vpravo. Například .

Podgrupa je Abelova, a faktorová grupa je také Abelova, zatímco D4 není Abelova.

Generování a prezentace grupy

Faktorové grupy a podgrupy tvoří spolu způsob, kterým je možné každou grupu popsat její prezentací. Každou grupu je možné zadat jako faktor volné grupy nad nějakou generující množinou podle normální podgrupy generovanou relacemi.[43] Relace jsou výrazy, které se v grupě rovnají neutrálnímu prvku. Grupa zadána generátory a relacemi se zapisuje jako , kde je množina generátorů a množina relací.[44]

Dihedrální grupa D4 je generována například prvky a , což znamená že každá symetrie čtverce se dá vyjádřit jako složení konečně mnoha těchto dvou symetrií a jejich inverzí. Společně s relacemi ,[45] je grupa úplně popsána. Tedy

.

Prezentace grupy se dá použít pro konstrukci Cayleyho grafu, který může graficky popsat diskrétní grupy.

Řešitelná grupa

Grupa G se nazývá řešitelná, pokud existuje posloupnost jejich podgrup

takových, že je normální podgrupa faktorová grupa je Abelova pro všechna , přičemž poslední grupa je grupa triviální.[46]

Například výše diskutovaná grupa D4 je řešitelná, neboť obsahuje komutativní podgrupu R a faktor je komutativní. Nejmenší grupa, která není řešitelná, je alternující grupa , která má 60 prvků.[47]

Slovo řešitelná má historickou souvislost se zkoumáním existence řešení polynomiálních rovnic pomocí radikálů. Galois ukázal, že takové řešení existuje právě tehdy, když má grupa symetrií kořenů polynomu (tzv. Galoisova grupa) výše uvedenou vlastnost.[48]

Příklady a aplikace

Čísla

Související informace naleznete také v článcích Těleso (algebra) a Modulární aritmetika.

Mnohé systémy čísel, například celá nebo racionální čísla mají přirozenou strukturu grupy. V některých případech jako například u racionálních čísel má jak sčítání tak i násobení grupovou strukturu. Takové číselné systémy se dají zobecnit na algebraické struktury jako jsou okruhy, tělesa, moduly, vektorové prostory a algebry.

Grupa celých čísel spolu se sčítáním byla popsána výše. Naproti tomu celá čísla s operací násobení () netvoří grupu. Asociativita je splněna, jednotkový prvek je číslo , ale k číslům obecně neexistují inverzní prvky (už pro celé číslo rovnice nemá řešení v oboru celých čísel).

Pokud chceme, aby k nenulovým číslům existovaly inverzní prvky, musíme zavést zlomky . Zlomky celých čísel se nazývají racionální čísla a množina racionálních čísel se značí . Množina nenulových racionálních čísel spolu s operací násobení je opět grupa. Součin dvou nenulových racionálních čísel je nenulové racionální číslo, neutrální prvek je a inverzní prvek k nenulovému číslu je nenulové číslo . Racionální čísla (s nulou) tvoří také grupu vzhledem ke sčítání.

Obecněji, množina všech prvků tělesa tvoří vždy grupu vzhledem ke sčítání a množina všech nenulových prvků tělesa tvoří grupu vzhledem k násobení.

1234
11234
22413
33142
44321
Tabulka násobení v multiplikativní grupě .

Pro libovolné prvočíslo , můžeme modulární aritmetikou zavést na množině zbytkových tříd násobení a  je pak grupa.[49] Její prvky se dají reprezentovat jako třídy ekvivalence celých čísel s ekvivalencí právě když dělí . Množina zbytkových tříd spolu se sčítáním a násobením je speciálním případem konečného tělesa.[50] Dá se ukázat, že každá multiplikativní grupa nenulových prvků konečného tělesa je cyklická.[51] Tyto grupy se používají v asymetrické kryptografii.

Tabulka vpravo znázorňuje multiplikativní grupu nenulových zbytkových tříd modulo . Rovnost například znázorňuje fakt, že . Vidíme, že každý prvek má inverzní prvek () a grupa je cyklická (například prvek generuje celou grupu, neboť , , ).

Další grupy, které pozůstávají z nějakých čísel, popisují následující příklady.

  • Množina Gaussových čísel , zobecňuje celá čísla do komplexní roviny.
  • Množina invertibilních prvků v obecné množině zbytkových tříd tvoří vzhledem k násobení grupu (viz též grupa jednotek).
  • Množina komplexních čísel absolutní hodnoty spolu s násobením tvoří grupu (značí se ).
  • Množina kvaternionů normy spolu s násobením tvoří grupu (značí se ).
  • Kvaternionová grupa je podgrupa o osmi prvcích, generována prvky v grupě nenulových kvaternionů.

Grupy symetrií

Periodický vzor zadává jistou grupu symetrií roviny.

Grupa symetrií je grupa, jejíž prvky jsou symetrie daného matematického objektu, ať už geometrického (jako grupa symetrií čtverce v úvodu) anebo algebraického, například kořeny polynomu.[52] Teorie grup může být chápana jako studium symetrií. Dá se například dokázat, že každá grupa je grupou symetrie nějakého grafu.[53] Symetrie v matematice často zjednodušuje studium geometrických, analytických anebo fyzikálních objektů. O grupě se říká, že má akci na objektu X pokud každý prvek grupy provede s objektem operaci kompatibilní s grupovou strukturou. Symetrie objektu je pak podgrupa všech takových prvků, které nechávají X nezměněn.

Symetrie dláždění roviny

Rovinné krystalografické grupy (anglicky Wallpaper groups) popisují symetrie periodických dláždění roviny. V příkladu na obrázku je vzorek tvořen kytkou, která se periodicky opakuje. Grupa symetrií tohoto vzoru obsahuje všechny takové transformace roviny, které převádí vzor sám na sebe. Tato grupa se skládá jenom s translací a neobsahuje žádné rotace ani zrcadlení. Jiná periodická dláždění (například nekonečný čtverečkový papír) mají grupu symetrií, která obsahuje kromě translací roviny i různé rotace, zrcadlení a jejich složení. Různých neizomorfních rovinných krystalografických grup existuje celkem 17. Tyto vzory můžeme najít často v islámské architektuře, většina z nich se vyskytuje například v paláci Alhambra.[54] Důkaz, že rovinných krystalografických grup je právě 17, publikoval poprvé E.Fedorov v roce 1891.[55] Kromě těchto dláždění roviny existují i neperiodická dláždění, jejichž grupa symetrií neobsahuje žádnou translaci. Příkladem je slavné Penroseho pokrytí, což je neperiodické dláždění roviny pomocí konečného počtu typů dlaždiček. Jeho grupa symetrie obsahuje například otočení o pětinu kruhu kolem nějakého bodu.[56]

Trojúhelníková grupa (2,3,7) je hyperbolická grupa, která má akci na tomto dláždění hyperbolické roviny.

Podobná periodická dláždění a jejich grupy symetrií můžeme studovat i v neeukleidovských geometriích. Například hyperbolickou rovinu lze pravidelně pokrýt rovnostrannými trojúhelníky takovým způsobem, že každý vrchol je společný 7 trojúhelníkům. Příslušná grupa symetrie je tvořena všemi symetriemi této roviny, které převádějí toto pokrytí samo na sebe. Na obrázku je znázorněno jedno z takových pokrytí. Příslušná grupa se nazývá trojúhelníková grupa (2,3,7). Pro libovolný vrchol nějakého trojúhelníka pak existuje v dané grupě prvek řádu 7, který „otočí“ rovinu kolem daného bodu o  kruhu takovým způsobem, že převede dláždění samo na sebe.

Symetrie v krystalografii

chemických oborech jako krystalografie popisují prostorová grupabodová grupa molekulární symetrie a symetrie krystalů. Tyto symetrie určují chemické a fyzikální vlastnosti těchto systémů a teorie grup v mnohých případech usnadňuje kvantově mechanickou analýzu těchto vlastností.[57][58] Například teorie grup ukazuje, že některé přechody mezi kvantovými stavy nemohou nastat jenom z důvodu symetrií daných stavů.

Nejenom že jsou grupy užitečné na popis symetrií molekul, ale překvapivě dokážou i predikovat, jak molekuly mohou svoji symetrii změnit. Jahn-Tellerův jev je deformace molekuly s vysokou mírou symetrie, která nabude určitý stav, jehož symetrie je z množiny nižších symetrií, které jsou ale vzájemně příbuzné a souvisejí se symetrií původní.[59][60] Podobně, teorie grupa může být použita pro popis změn fyzikálních vlastností, které se dějou u fázového přechodu, například při změně typu mřížky.[pozn 7]

Molekula buckminsterfullerenu C60
symetrie ikosaedru (dvacetistěnu).
Amoniak NH3. Jeho grupa symetrie má řád 6 a je generována rotací o 120° a zrcadlením.Molekula kubanu C8H8 vykazuje
symetrii oktaedru (osmistěnu).
komplexní kation hexaaquaměďnatý, Cu[(OH2)6]2+.

Ve srovnání s úplně symetrickým tvarem, molekula je vertikálně odkloněna o asi 22 % (Jahn-Tellerův jev).

Transformační grupy v geometrii

Geometrické vlastnosti, které akce grupy nemění, studuje geometrická teorie invariantů.[61] Felix Klein ve slavné přednášce v Erlangen v roce [1872] definoval geometrii takto:[62]

Geometrie je studium invariantů vůči grupě transformací.

Grupa symetrie nějaké geometrie je množina všech transformací, které zachovávají příslušnou geometrickou strukturu. Například pro Eukleidovu geometrii je to takzvaná Eukleidova grupa Euc(n), která se skládá se všech translací, rotacízrcadlení n-rozměrného Eukleidova prostoru. Akce této grupy zachovává vzdálenosti bodů, a velikosti a úhly vektorů. Podobně pro projektivní geometrii pozůstává příslušná grupa symetrie ze všech kolineací, které zachovávají projektivní invarianty (převádí projektivní přímky na projektivní přímky a zachovávají dvoupoměr).

Tyto grupy symetrií nějaké geometrie se nazývají transformační grupy a pro běžné geometrie jsou to tzv. Lieovy grupy. Pokud je Lieova grupa transformační grupa nějakého geometrického prostoru má na tranzitivní akci, můžeme definovat podgrupu všech transformací, které zachovávají jistý bod . Prostor pak můžeme ztotožnit s prostorem rozkladových tříd

Tento popis geometrie se nazývá Kleinova geometrie.[63] Speciální volba grup G,H vede na Eukleidovskou, afinní a projektivní geometrii. Následuje tabulka, která popisuje některé geometrické struktury a jejich příslušnou transformační grupu .

Podkladový prostorTransformační grupa GInvarianty
Eukleidova geometrieEukleidovský prostor Eukleidova grupa Vzdálenosti bodů, úhly vektorů
Sférická geometrieSféra Ortogonální grupa Vzdálenosti bodů, úhly vektorů
Konformní geometrie na sféřeSféra Lorentzova grupa dimenzionálního prostoru Úhly vektorů
Projektivní geometrieProjektivní prostor Projektivní grupa Projektivní přímky, dvoupoměr
Afinní geometrieAfinní prostor Afinní grupa Přímky, poměry obsahů geometrických útvarů, těžiště trojúhelníků.
Popis některých geometrií pomocí jejich transformačních grup.

Zobecnění těchto idejí na širší třídu geometrií zahrnujících zakřivené prostory v Riemannově geometrii rozpracoval Élie Cartan.

Obecná lineární grupa a teorie reprezentací

Související informace naleznete také v článcích Lineární grupa a Reprezentace (grupa).
Dva vektory na levém obrázku jsou vynásobeny maticí (prostřední a pravý obrázek). Prostřední obrázek reprezentuje rotaci o 90° ve směru hodinových ručiček, na pravém obrázku se navíc zvětšila x-ová souřadnice vektorů na dvojnásobek.

Maticové grupy jsou grupy, které se skládají z matic a grupová operace je maticové násobení. Obecná lineární grupa se skládá ze všech regulárních reálných čtvercových matic dimenze .[64] Její podgrupy se nazývají maticové grupy anebo lineární grupy. Dihedrální grupa v úvodu se dá reprezentovat jako maticová grupa (symetrie čtverce jako otočení nebo překlopení můžeme reprezentovat maticí). Jiná důležitá maticová grupa je speciální ortogonální grupa . Popisuje všechny možné rotace v  rozměrném Eukleidově prostoru.

Teorie reprezentací je jak aplikace grupových konceptů, tak i důležitý nástroj pro hlubší porozumění grup.[65][66] Tato teorie studuje grupy pomocí jejich akcí na vektorových prostorech. Reprezentace grupy na vektorovém prostoru V je grupový homomorfismus

grupy obecné lineární grupy . Tímto způsobem se grupová operace na , která mohla být zadána abstraktním způsobem, převede na skládání lineárních zobrazení, resp. násobení matic, což umožňuje explicitní počty.[pozn 8] Grupová akce na nějakém prostoru je tedy prostředkem jak ke zkoumání daného prostoru, tak i ke zkoumání grupy samotné. Teorie reprezentací dává do souvislosti teorii konečných grup, Lieových grup, algebraických gruptopologických grup, hlavně (lokálně) kompaktních grup.[67][68]

Reprezentace Lieových grup mají aplikace v geometrii a studium reprezentací grup v prostorech nenulové charakteristiky má aplikace v teorii čísel.[69] Některé partie teorie reprezentací jsou zobecněním klasické harmonické analýzy studující funkce prostřednictvím Fourierovy transformace.[70][71][72]

Galoisova grupa

Související informace naleznete také v článku Galoisova grupa.

Galoisova grupa byla vynalezena pro popis řešení polynomických rovnic. Například řešení kvadratické rovnice jsou dány

Podobné vzorce jsou známe pro kubickékvartické rovnice, ale neexistují pro rovnice pátého stupně a vyšší.[73]

Výměna „“ a „“ v tomto výrazu, tj. permutace obou kořenů rovnice se dá chápat jako velmi jednoduchá grupová operace. Kořeny původní rovnice splňují , . Zároveň výměna kořenů nemění jejich součet a součin. Pro obecný polynom se dá definovat Galoisova grupa jako množina všech takových permutací kořenů, že racionální výrazy kořenů (například nebo ), které popisují nějaký racionální výraz koeficientů (například nebo ), se nemění ( a pod).

Abstraktní vlastnosti Galoisovy grupy asociované s polynomem dávají kritérium, zda má polynom všechny své kořeny vyjádřitelné z koeficientů pomocí radikálů, tj. pomocí sčítání, násobení a -tých odmocnin. Je to právě když příslušná Galoisova grupa je řešitelná.[74] Pro některé polynomy stupně 5 však Galoisova grupa pozůstává se všech permutací pěti kořenů.[75] Permutační grupa však není řešitelná[76] a proto obecný vzorec pro rovnice pátého stupně, který by obsahoval pouze sčítání, násobení, dělení a odmocňování, nemůže existovat.

V moderní algebře se Galoisova grupa definuje obecněji pro tělesa jejich rozšíření. Pokud je nadtěleso tělesa , je příslušná Galoisova grupa definována jako množina všech automorfismů tělesa , které nemění prvky tělesa . Základní věta Galoisovy teorie tvrdí, že podgrupy Galoisovy grupy odpovídají mezitělesům .[77]

Grupy v algebraické topologii

Související informace naleznete také v článcích Fundamentální grupa a Homologie (matematika).
Rovina, z které jsme odstranili jeden bod (znázorněn černě). Oranžová křivka, která jde kolem toho bodu, se nedá stáhnout a reprezentuje netriviální prvek fundamentální grupy.

algebraické topologii se topologickým prostorům přiřazují různé grupy, které reflektují jejich vlastnosti. Nejjednodušší je tzv. fundamentální grupa, kterou jako první uvažoval Camille Jordan[78] a formálně definoval Henri Poincaré.[79]

Prvky fundamentální grupy se dají reprezentovat jako smyčky (uzavřené křivky) v daném prostoru. Dvě smyčky reprezentují stejný prvek fundamentální grupy, pokud se dají jedna na druhou převést spojitou deformací. Ilustrativní obrázek ukazuje křivku v rovině bez bodu. Modrá křivka se považuje za triviální a reprezentuje neutrální prvek fundamentální grupy, neboť se dá spojitě stáhnout do jednoho bodu. Naopak oranžová křivka se stáhnout nedá, protože uvnitř ní je díra (chybějící bod). Fundamentální grupa roviny, z které odstraníme jeden bod, je nekonečná cyklická grupa generována oranžovou křivkou.

Podobně se definují vyšší homotopické grupy, které mohou odhalit díry různých dimenzí.[80] Homotopické grupy jsou topologické a dokonce i homotopické invarianty, to znamená, že prostory, které jsou topologicky ekvivalentní (homeomorfní) a dokonce i prostory, které jsou homotopické resp. homotopicky ekvivalentní, mají izomorfní homotopické grupy. Spojitá zobrazení topologických prostorů indukují přirozeným způsobem homomorfismy jejich homotopických grup. Homotopické grupy jsou tedy speciálním případem kovariantního funktoru.[81]

Výpočet vyšších homotopických grup je však často velmi složitý. Dodnes nejsou obecně známy ani homotopické grupy sfér, ačkoliv je známo, že jejich výpočet je algoritmicky možný.[82] Proto se často používají jednodušší homologickékohomologické grupy.[83] Tyto grupy jsou taktéž homotopické invarianty. Homologie té dimenze je kovariantní funktor z kategorie topologických prostorů do kategorie grup. Podobně je kontravariantní funktor.

Využitím homotopických a homologických grup je možné řešit širokou třídu topologických problému: například dokázat neexistence rozšíření spojitého zobrazení s podprostoru na celý prostor (například identita na sféře se nedá rozšířit na zobrazení celé koule na sféru),[84] dokazovat různé věty o pevných bodech (například Brouwerova věta o pevném bodu)[85], dokázat základní větu algebry,[86] anebo ukázat, že otevřené množiny v Eukleidovských prostorech jsou homeomorfní pouze pokud mají stejnou dimenzi (a tedy dimenze prostoru je topologický invariant).[87]

Další využití

Existuje řada dalších teoretických i praktických aplikací teorie grup. Konečné grupy symetrií, jako například Mathiovy grupy se využívají v kódování a v korekci chyb přenášených dat.[88] Multiplikativní grupy konečných těles se využívají v cyklickém kódování, které se používá například v CD přehrávačích.[pozn 9] Diferenciální Galoisova teorie, zobecňuje klasickou Galoisovu teorii a dává grupově teoretická kritéria pro vlastnosti řešení jistých diferenciálních rovnic.[89] Grupy se podstatným způsobem využívají v algebraické geometriiteorii čísel.[90] Kryptografie kombinuje přístup abstraktní teorie grup s výpočetní teorií grup implementovanou pro konečné grupy.[91]

Aplikace teorie grup nejsou omezeny na matematiku a z jejích konceptů také čerpají vědy jako chemie, fyzika a informatika.

Konečné grupy

Grupa se nazývá konečná, pokud má konečně mnoho prvků. Počet jejich prvků se nazývá řád grupy.[92] Důležitý příklad je grupa permutací n-prvkové množiny, která se také nazývá symetrická grupa.[93] Například symetrickou grupu můžeme reprezentovat jako množinu permutací tří písmen ABC. Grupa pozůstává z prvků ABC, ACB, ..., až po CBA, celkem 6 prvků. Symetrické grupy jsou základním příkladem konečných grupy, neboť každá konečná grupa se dá vyjádřit jako podgrupa symetrické grupy pro vhodné přirozené číslo (Cayleyho věta).[94] Grupa se dá také interpretovat jako množina symetrií rovnostranného trojúhelníka, podobně jako dihedrální grupa D4 v úvodu je grupou symetrií čtverce.

Řád prvku grupy je nejmenší přirozené číslo takové, že (součin kopií ) je rovno neutrálnímu prvku . Řád každého prvku konečné grupy je konečný. Grupa je do jisté míry určena svým řádem a strukturou svých podgrup. Lagrangeova věta tvrdí, že pro konečnou grupu počet prvků její libovolné podgrupy dělí počet prvků grupy .[95] Sylowovy věty dávají část obráceného tvrzení.[96]

Graf cyklů dihedrální grupy D4. Rotace generuje 4prvkovou cyklickou podgrupu, překlopení generují pouze 2prvkové cyklické podgrupy.

Dihedrální grupa (uvedena výše) je příkladem konečné grupy řádu 8. Řád prvku je 4, stejně jako řád podgrupy kterou generuje. Řád libovolné reflexe je 2. Oba řády dělí číslo 8, jak tvrdí Lagrangeova věta. Malé grupy se dají částečně popsat grafem cyklů, v kterém vrcholy grafu odpovídají prvkům grupy a cyklickým podgrupám odpovídají hrany od , od a tak dále. Obrázek vpravo znázorňuje graf cyklů Dihedrální grupy D4. Pro grupy řádu menšího než 16 určuje graf cyklů grupu jednoznačně.

Další důležité příklady konečných grup jsou multiplikativní grupy konečných těles a grupy regulárních, ortogonálních respektive symplektických matic nad konečnými tělesy.

Klasifikace jednoduchých konečných grup

Související informace naleznete také v článku Klasifikace jednoduchých konečných grup.

Zatím co klasifikace konečných Abelových grup je jednoduchá, snaha o klasifikaci všech konečných grup vede na hluboké a složité matematické problémy. Podle Lagrangeovy věty, konečné grupy prvočíselného řádu jsou nutně cyklické a tedy izomorfní grupě . O grupách řádu víme že jsou Abelovy, toto tvrzení už ale neplatí pro grupy řádu , jak ukazuje příklad dihedrální grupy D4 řádu 8 = 23.[97] Grupy nízkých řádů se dají popsat i pomocí počítačových programů (např. computer algebra system). Malé grupy jsou známe až do řádu 2000 a až na izomorfismus jich je kolem 50 miliard.[98][pozn 10] Klasifikace všech konečných grup však zatím není známa.

Mezistupeň v porozumění konečných grup představuje klasifikace konečných jednoduchých grup.[pozn 11] Netriviální grupa se jmenuje jednoduchá, pokud jediné její normální podgrupy jsou grupa triviální (jednoprvková) a celá grupa. Jordan–Hölderova věta popisuje jednoduché grupy jako základní prvky pro konstrukci obecných konečných grup.[99]

Dokončení seznamu všech konečných jednoduchých grup byl velký úspěch současné teorie grup. Věta o klasifikaci jednoduchých konečných grup říká, že každá konečná jednoduchá grupa spadá buďto do jedné z 18 nekonečných skupin grup nebo je jednou z 26 takzvaných sporadických grup.[100][pozn 12] Tato věta plně charakterizuje všechny konečné jednoduché grupy. Kvůli ohromné náročnosti jejího důkazu bývá v angličtině také nazývána „Enormous theorem“.

Důkaz této věty nebyl nikdy uveřejněn v celku. Sestává z více než 500 článků od přibližně 100 autorů uveřejněných v nejrůznějších matematických časopisech převážně mezi lety 19551983. Odhaduje se, že celková délka důkazu je 10 000–15 000 stran tištěného textu.[101] Taková rozsáhlost může vyvolat (podobně jako u věty o čtyřech barvách) pochybnosti o správnosti důkazu. Žádný matematik totiž pravděpodobně nepřečetl tento důkaz celý. Každá jednotlivá část důkazu publikovaná v průběhu téměř třiceti let však byla mnoha matematiky přečtena a uznána za správnou. Proto je tento důkaz všeobecně považován za správný.

Grupy s dodatečnou strukturou

Mnoho grup jsou současně příklady jiných matematických struktur. V jazyku teorie kategorií jsou to grupové objekty nějaké kategorie, tedy objekty a morfismy, které jsou kompatibilní s grupovou strukturou.

Topologické grupy

Jednotková kružnicekomplexní rovině. Spolu s násobením komplexních čísel tvoří topologickou grupu, neboť násobení a dělení jednotkových komplexních čísel je spojité. Je to navíc varieta a tedy i Lieova grupa, protože každé okolí nějakého bodu, podobně jako červený oblouk na obrázku, je podobný kousku Eukleidova prostoru, v tomto případě reálné přímky (znázorněno dole).

Některé topologické prostory mohou být vybaveny grupovým násobením. Abychom takovou grupu nazvali topologickou grupu, musí být obě operace vzájemně kompatibilní, což znamená že grupové násobení závisí spojitě na a také inverze je spojitou funkcí .[102]

Nejzákladnějším příkladem jsou reálná čísla spolu se sčítáním , nenulová reálná čísla s násobením a podobně libovolné topologické těleso, jako například komplexní čísla anebo p-adická čísla. Všechny tyto grupy jsou lokálně kompaktní, je na nich tedy možné definovat invariantní Haarovu míru.[103] Díky ní je možné na grupě integrovat a studovat vlastnosti grupy pomocí harmonické analýzy. Invariance v tomto případě znamená, že

pro libovolný prvek grupy c.

Maticové grupy nad těmito tělesy jsou také lokálně kompaktní topologické grupy a taktéž adélyadelické algebraické grupy, které jsou důležité v teorii čísel.[104]

Galoisovy grupy rozšíření těles nekonečného stupně jako například absolutní Galoisova grupa, se dají přirozeně vybavit tzv. Krullovou topologií.[105] Zobecněním těchto idejí adaptovaným na potřeby algebraické geometrie, je etální fundamentální grupa.[106]

Lieovy grupy

Podrobnější informace naleznete v článku Lieova grupa.

Lieovy grupy (pojmenovány po Sophusi Lieovi) jsou grupy, které mají současně strukturu hladké variety, tj. jsou lokálně difeomorfní Eukleidovskému prostoru dané dimenze.[107] Struktura variety musí být opět kompatibilní se strukturou grupy, tj. v tomto případě násobení a inverze musí být hladká (tj. diferencovatelné) zobrazení.

Příkladem Lieovy grupy je obecná lineární grupa, která se skládá ze všech regulárních reálných nebo komplexních matic dimenze . Je to otevřená množina v prostoru všech matic , neboť je určena nerovností

kde je matice.[108] Kromě obecné lineární grupy existují další série Lieových grup, které se nazývají klasické grupy. Jsou to Speciální lineární grupa, která pozůstává pouze z matic s determinantem rovným jedné, ortogonální lineární grupy, unitární grupysymplektické grupy.

Lieovy grupy mají úzkou souvislost s Lieovýma algebrami. Lieova algebra Lieovy grupy popisuje lokální vlastnosti grupy.[109][110] Wilhelm Killing a Élie Cartan popsali klasifikaci jednoduchých Lieových algeber nad komplexními čísly a reálnými čísly. Každá komplexní jednoduchá Lieova algebra patří do 4 nekonečných sérií anebo je jednou z pěti výjimečných Lieových algeber.[111] Grupy, které k těmto algebrám náleží, jsou (až na nakrytí) speciální lineární grupy, ortogonální lineární grupy liché a sudé dimenze, symplektické grupyvýjimečné Lieovy grupy (vše nad komplexními čísly). K těmto komplexním grupám existuje vícero reálných forem (ke každé existuje právě jedna kompaktní).[112]

Lieovy grupy mají zásadní důležitost ve fyzice: teorém Noetherové dává do souvislosti symetrie a kvantity, které se zachovávají.[113] Rotace, podobně jako translaceprostoručasu jsou základní symetrie zákonů klasické mechaniky. Jiný jednoduchý příklad tvoří Lorentzovy transformace, které dávají do souvislosti měření polohy a času ve speciální teorii relativity.[114] Množina všech takových transformací se nazývá Lorentzova grupa a tvoří rotační symetrie Minkowského prostoru, který je model časoprostoru v teorii relativity při absenci hmoty. Grupa všech symetrií Minkowského prostoru, která zahrnuje i translace, se nazývá Poincarého grupa. Tato Lieova grupa hraje hlavní roli v speciální teorii relativity a také v kvantové teorii pole. Unitární grupy vystupují jako grupy symetrií některých částicových teorií a výjimečné Lieovy grupy se vyskytují často v teorii strunkvantové gravitaci.[115]

Důležitou součástí studia Lieových grup je studium jejich reprezentací. Tyto reprezentace mají aplikace v geometrii a díky nim je možné také zobecnit klasickou harmonickou analýzu, která studuje funkce prostřednictvím jejich Fourierovy transformace, na funkce definované na Lieových grupách.[72]

Zobecnění

Asociativita  Neutrální prvek   Inverzní prvek   Komutativita
Abelova grupaAnoAnoAnoAnoAnoAnoAnoAno
GrupaAnoAnoAnoAnoAnoAnoNeNe
MonoidAnoAnoAnoAnoNeNeNeNe
PologrupaAnoAnoNeNeNeNeNeNe
LupaNeNeAnoAnoAnoAnoNeNe
KvazigrupaNeNeNeNeAnoAnoNeNe
GrupoidNeNeNeNeNeNeNeNe
Struktury s jednou binární operací

abstraktní algebře je možné definovat obecnější struktury vynecháním některých axiomů grupy.[116][117] Pokud například vynecháme v definici grupy požadavek, aby ke každému prvku existoval inverzní prvek, výsledná algebraická struktura se nazývá monoid. Množina přirozených čísel (včetně nuly) spolu se sčítáním tvoří monoid, podobně množina všech celých čísel spolu s operací násobení. Existuje obecná metoda jak formálně přidat inverzní prvky k libovolnému komutativnímu monoidu podobným způsobem jako jsou odvozena racionální čísla od a takto vzniklá grupa se nazývá Grothendieckova grupa. Dalším příkladem algebraické struktury je kvazigrupa, v které sice neexistuje neutrální prvek, přesto je ale možné dělit, tj. rovnice mají řešení pro každé . Struktura, v které je dána pouze binární operace bez žádných dalších předpokladů o ní, se nazývá grupoid.

Další matematické pojmy zobecňující grupu jsou morfismy nějaké kategorie. Morfismy se dají skládat, a jejich složení splňuje asociativní zákon, ovšem obecně nemusí existovat inverzní morfismy a také není možné složit libovolné morfismy (jenom prvky ). Kategorie, v které je každý morfismus izomorfismem, se nazývá grupoid v teorii kategorií. Morfismy tohoto objektu splňují asociativitu, existenci neutrálního i inverzního prvku, ovšem opět je možné skládat jenom takové morfismy, že složení má smysl.

Libovolný z těchto konceptů se dá dále zobecňovat na obecnou -ární operaci (tj. operace, která má jako vstup argumentů). Vhodným zobecněním axiomů grupy dostáváme tzv. -ární grupu.[118]

Odkazy

Poznámky

  1. Tento axiom je implicitně obsažen v tom, že je binární operace na a někdy se proto vynechává.
  2. Výsledek složení více než dvou prvků grupy tedy nezávisí na pořadí, v kterém opakující se binární operaci vyhodnocujeme. Výraz znamená, že nejdříve spočítáme a tento výsledek vynásobíme zprava . Výraz znamená, že nejdříve spočítáme a tento výsledek vynásobíme zleva .
  3. Často používané písmeno je odvozeno z německého Einheit, viz Identity Element na Wolfram mathword.
  4. Asociativita grupové operace platí, protože grupová operace je asociativní na celém .
  5. Myslí se součiny libovolného konečného počtu prvků, které se mohou opakovat.
  6. Obvykle se jednoduchá Lieova grupa definuje abstraktněji jako taková grupa, jejíž Lieova algebra je jednoduchá Lieova algebra. Tato definice vylučuje například komutativní Lieovy grupy. Pro přesnou definici, viz např. HELGASON, Sigurdur. Differential geometry, Lie groups, and symmetric spaces. [s.l.]: Academic Press, 1981. 630 s. Dostupné online. ISBN 9780123384607. S. 131. (anglicky) 
  7. Analogické spontánní narušení symetrie se využívá v kvantové teorii pole k teoretickému vysvětlení vzájemných interakcí částic, např. v teorii elektroslabé interakce, viz např. KILIAN, Wolfgang. Electroweak Symmetry Breaking: The Bottom-Up Approach. [s.l.]: Springer, 2003. Dostupné online. ISBN 9780387400976. (anglicky) 
  8. Tato věc se byla klíčová pro klasifikaci jednoduchých konečných grup, viz např. Aschbacher, Michael (2004), The Status of the Classification of the Finite Simple Groups (PDF), Notices of the American Mathematical Society 51 (7): 736–740.
  9. V CD technologii se používá jako ochrana před poškrábáním a chybami tzv. Reedův–Solomonův kód, viz např. WICKER,, Stephen B.; BHARGAVA, Vijay K. Reed-Solomon Codes and Their Applications. [s.l.]: John Wiley and Sons, 1999. ISBN 9780780353916. S. 14. (anglicky) 
  10. Naprostá většina z nich je řádu 1024.
  11. Mezera mezi klasifikací jednoduchý group a všech grup spočívá v problému extenze, který je příliš obtížný na obecné řešení. Viz např. Aschbacher (2004), The Status of the Classification of the Finite Simple Groups, str. 737.
  12. Největší z nich, tzv. monstergrupa, obsahuje asi prvků.

Reference

V tomto článku byl použit překlad textu z článku Group (mathematics) na anglické Wikipedii.

  1. RAMOND, Pierre. Group Theory: A Physicist's Survey. [s.l.]: Cambridge University Press, 2010. 310 s. Dostupné online. ISBN 9780521896030. S. 5. (anglicky) 
  2. PLOTKIN, Boris Isaakovich. Universal algebra, algebraic logic, and databases. [s.l.]: Springer, 1994. 438 s. Dostupné online. ISBN 9780792326656. S. 48. (anglicky) 
  3. ROSICKÝ, Jiří. Algebra. 4 (1.dotisk). vyd. Brno: Masarykova univerzita, 2005. 133 s. ISBN 80-210-2964-1. Kapitola 1, s. 9. 
  4. a b PROCHÁZKA, Ladislav, a kol. Algebra. Praha: Academia, 1990. 560 s. ISBN 80-200-0301-0. Kapitola III., s. 100. 
  5. VALVODA, Václav; POLCAROVÁ, Milena; LUKÁČ, Pavel. Základy strukturní analýzy. 1. vyd. Praha: Karolinum, 1992. 489 s. ISBN 80-7066-648-X. 
  6. WUSSING, Hans. The Genesis of the Abstract Group Concept: A Contribution to the History of the Origin of Abstract Group Theory. New York: Dover Publications, 2007. Dostupné online. ISBN 978-0-486-45868-7. (anglicky) 
  7. KLEINER, Israel. The evolution of group theory: a brief survey. Mathematics Magazine. 1986, s. 195–215. DOI 10.2307/2690312. (anglicky) 
  8. SMITH, David Eugene. History of Modern Mathematics. [s.l.]: [s.n.], 1906. Dostupné online. (anglicky) 
  9. The History Behind The Quadratic Formula
  10. O'Connor, John J.; Robertson, Edmund F., Lodovico Ferrari, MacTutor History of Mathematics archive, University of St Andrews.
  11. HAVLÍČEK, Karel. Cesty moderní matematiky. Praha: Horizont, 1976. S. 62. 
  12. GALOIS, Évariste. Manuscrits de Évariste Galois. Paris: Gauthier-Villars, 1908. Dostupné online. (francouzsky)  (Galoisovo dílo bylo prvně publikováno Josephem Liouvillem v roce 1843)
  13. Kleiner, str. 202
  14. Wussig, §III.2
  15. LIE, Sophus. Gesammelte Abhandlungen, Band 1. New York: Johnson Reprint Corp., 1973. (německy) .
  16. Kleiner, str. 204
  17. Wussig, §I.3.4
  18. JORDAN, Camille. Traité des substitutions et des équations algébriques. Paris: Gauthier-Villars, 1870. Dostupné online. (francouzsky) 
  19. VON DYCK, Walther. Gruppentheoretische Studien. Mathematische Annalen. 1882, s. 1–44. DOI 10.1007/BF01443322. (anglicky) 
  20. CURTIS, Charles W. Pioneers of Representation Theory: Frobenius, Burnside, Schur, and Brauer. Providence, R.I.: American Mathematical Society, 2003. Dostupné online. ISBN 978-0-8218-2677-5. (anglicky) .
  21. MACKEY, George Whitelaw. The theory of unitary group representations. [s.l.]: University of Chicago Press, 1976. Dostupné online. (anglicky) 
  22. BOREL, Armand. Essays in the History of Lie Groups and Algebraic Groups. Providence, R.I.: American Mathematical Society, 2001. ISBN 978-0-8218-0288-5. (anglicky) 
  23. ASCHBACHER, Michael. The Status of the Classification of the Finite Simple Groups. Notices of the American Mathematical Society. 2004, s. 736–740. Dostupné online. (anglicky) 
  24. LANDIN, Joseph. An introduction to algebraic structures. [s.l.]: Courier Dover Publications, 1989. 247 s. Dostupné online. ISBN 9780486659404. S. 68, definice 8. (anglicky) 
  25. LANG, Serge. Undergraduate Algebra. Berlin, New York: Springer, 2005. Dostupné online. ISBN 978-0-387-22025-3. Kapitola §II.1, s. 22. (anglicky) 
  26. MAC LANE, S.; BIRKHOFF, G. Algebra. Bratislava: Vydavateľstvo technickej a ekonomickej literatúry, 1974. Kapitola III (grupy), s. 106, Veta 4,5. (slovensky) 
  27. JACOBSON, Nathan. Basic algebra. [s.l.]: American Mathematical Society, 2009. ISBN 978-0-486-47189-1. S. 41. (anglicky) 
  28. The MacTutor History of Mathematics archive, Sun Zi Archivováno 1. 12. 2010 na Wayback Machine.
  29. HUNGERFORD, Thomas W. Algebra. [s.l.]: Springer, 1996. 502 s. Dostupné online. ISBN 9780387905181. Kapitola 2, věta 2.2, s. 76. (anglicky) 
  30. Wolf Holzmann, Classification of Finitely Generated Abelian Groups (online)
  31. LA HARPE, Pierre. Topics in geometric group theory. [s.l.]: AMS, 2000. ISBN 9780226317212. S. 46. (anglicky) 
  32. HAZEWINKEL, Michiel. Encyclopaedia of mathematics. [s.l.]: Springer, 1995. 3748 s. ISBN 9781556080104. S. 13–14. (anglicky) 
  33. Rosický, definice 5.1
  34. SUZUKI, Michio. On the lattice of subgroups of finite groups. Transactions of the American Mathematical Society. 1951, s. 345–371. DOI 10.2307/1990375. JSTOR 1990375. (anglicky) 
  35. LEDERMANN, Walter. Introduction to group theory. New York: Barnes and Noble, 1973. Kapitola II.12, s. 39. (anglicky) 
  36. MOTL, Luboš; ZAHRADNÍK, Miloš. Pěstujeme lineární algebru. Praha: Karolinum, 1997. Dostupné v archivu pořízeném dne 2004-12-25. ISBN 9788071841869. Kapitola Grupa.  Archivováno 25. 12. 2004 na Wayback Machine.
  37. Lang 2005, kap. §II.3, s. 34
  38. Lang 2005, II.4, s. 41
  39. LANG, Serge. Algebra. New York: Springer, 2002. Dostupné online. ISBN 978-0-387-95385-4. Kapitola §I.2, s. 12. (anglicky) 
  40. Lang 2005, §II.4, s. 45
  41. Lang 2005, §II.4, p. 45
  42. Lang 2005, §II.4, s. 46. Cor. 4.6.
  43. BOGOPOLʹSKIJ, Oleg Vladimirovič. Introduction to group theory. [s.l.]: European Mathematical Society, 2008. 177 s. Dostupné online. ISBN 9783037190418. Kapitola 5, s. 58. (anglicky) 
  44. Bogopolʹskij, s. 59
  45. Lang, 2002, §I.2, p. 9
  46. Lang 2005, §II.4, s. 49
  47. ARTIN, Emil; BLANK, Albert A. Algebra with Galois theory. [s.l.]: AMS, 2007. 126 s. Dostupné online. ISBN 9780821841297. S. 115. (anglicky) 
  48. EDWARDS, Harold M. Galois theory. [s.l.]: Springer, 1984. 152 s. Dostupné online. ISBN 9780387909806. S. 89, (Theorem). (anglicky) 
  49. Lang 2005, Kap. VII
  50. WAN, Zhe-Xian. Lectures on finite fields and galois rings. [s.l.]: World Scientific, 2003. 342 s. Dostupné online. ISBN 9789812385703. S. 103. (anglicky) 
  51. Wan, str. 115, Theorem 6.3
  52. WEYL, Hermann. Symmetry. [s.l.]: Princeton University Press, 1983. 342 s. ISBN 978-0-691-02374-8. S. 103. (anglicky) 
  53. FRUCHT, R. Herstellung von Graphen mit vorgegebener abstrakter Gruppe [Construction of Graphs with Prescribed Group]. Compositio Mathematica. 1939, s. 239–50. Dostupné v archivu pořízeném dne 01-12-2008. (anglicky) .
  54. Branko Grünbaum, What Symmetry Groups Are Present in the Alhambra?, notices of AMS, vol. 53, n. 6
  55. FJODOROV, J. V. Симметрия на плоскоcти [Simmetrija na ploskosti]. Записки Императорского С.-Петербургского Минералогического общества [Zapiski Imperatorskogo Sant-Petersburgskogo Mineralogičeskogo Obščestva]. 1891, svazek 28, čís. 2. 
  56. David Austin, Penrose Tiles Talk Across Miles, Math Samplings (AMS)
  57. CONWAY, John Horton; DELGADO FRIEDRICHS, Olaf; HUSON, Daniel H.; THURSTON, William P. On three-dimensional space groups. Beiträge zur Algebra und Geometrie. 2001, s. 475–507. arXiv math.MG/9911185. (anglicky) 
  58. BISHOP, avid H. L. Group theory and chemistry. New York: Dover Publications, 1993. ISBN 978-0-486-67355-4. (anglicky) 
  59. BERSUKER, Isaac. The Jahn-Teller Effect. [s.l.]: Cambridge University Press, 2006. Dostupné online. ISBN 0-521-82212-2. S. 2. (anglicky) 
  60. JAHN, H.; TELLER, E. Stability of Polyatomic Molecules in Degenerate Electronic States. I. Orbital Degeneracy. Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences (1934–1990). 1937, s. 220–235. DOI 10.1098/rspa.1937.0142. (anglicky) 
  61. MUMFORD, David; FOGARTY, J.; KIRWAN, F. Geometric invariant theory. Berlin, New York: Springer-Verlag, 1994. (3). ISBN 978-3-540-56963-3. (anglicky) 
  62. GALARZA, A.I.R.; SEADE, J. Introduction to Classical Geometries. [s.l.]: Birkhäuser Basel, 2007. Dostupné online. ISBN 978-3764375171. S. 16. (anglicky) , dostupné online
  63. SHARPE, R.W. Differential Geometry: Cartan's Generalization of Klein's Erlangen Program. [s.l.]: Springer, 1997. ISBN 978-0387947327. (anglicky)  Transformace známých geometrií jsou popisovány pomocí Lieových grup a naopak, studium Lieových grup vedlo k popisu nových geometrických struktur.
  64. REES, Elmer G. Notes on geometry. [s.l.]: Springer, 1988. Dostupné online. ISBN 9783540120537. S. 3. (anglicky) 
  65. FULTON, William.; HARRIS, Joe. Representation theory. A first course. New York: Springer, 1991. ISBN 978-0-387-97495-8. (anglicky) 
  66. SERRE, Jean-Pierre. Linear representations of finite groups. New York: Springer, 1977. Dostupné online. ISBN 978-0-387-90190-9. (anglicky) 
  67. Fulton-Harris
  68. RUDIN, Walter; HARRIS, Joe. Fourier Analysis on Groups. New York: Wiley Classics, Wiley-Blackwell, 1990. ISBN 0-471-52364-X. (anglicky) 
  69. GELBART, Stephen. An Elementary Introduction to the Langlands Program. Bulletin of the American Mathematical Society. 1984, s. 177–219. Dostupné online. DOI 10.1090/S0273-0979-1984-15237-6. (anglicky) 
  70. Anthony W. Knapp, Group Representations and Harmonic Analysis from Euler to Langlands, Part II, Notices of the AMS, vol 43 (5), May 1996, 537--549
  71. James Arthur, Harmonic Analysis and Group Representations, Notices of the AMS, vol 47 (1), 26--34
  72. a b VARADARAJAN, V. S. An Introduction to Harmonic Analysis on Semisimple Lie Groups. New York: Cambridge University Press, 1999. ISBN 978-0521663625. (anglicky) 
  73. Lang 2002, Kapitola VI (konkrétní příklady například na str. 273)
  74. Lang, 2002, str. 292 (Theorem VI.7.2)
  75. Lang 2002, str. 273
  76. HUNGERFORD, Thomas W. Algebra. [s.l.]: Springer, 1996. 502 s. Dostupné online. ISBN 9780387905181. S. 103. (anglicky) 
  77. ROTMAN, Joseph J. Galois theory. [s.l.]: Birkhäuser, 1998. 157 s. ISBN 9780387985411. S. 83–84. (anglicky) 
  78. The MacTutor History of Mathematics archive, Marie Ennemond Camille Jordan
  79. POINCARÉ, Henri. Analysis Situs. Journal de l'École Polytechnique ser 2. 1895, s. 1–123. (anglicky) .
  80. HATCHER, Allen. Algebraic topology. [s.l.]: Cambridge University Press, 2001. 556 s. Dostupné online. ISBN 978-0521795401. S. 340. (anglicky) 
  81. SPANIER, Edwin Henry. Algebraic topology. [s.l.]: Springer, 1994. Dostupné online. ISBN 9780387944265. S. 371. (anglicky) 
  82. BROWN, Edgar H. Finite Computability of Postnikov Complexes. The Annals of Mathematics. 1957, s. 1–20. Dostupné online. (anglicky) 
  83. Hatcher, kap. 2,3
  84. HU, Sze-Tsen. Homotopy theory. [s.l.]: Academic Press, 1959. 347 s. Dostupné online. ISBN 9780123584502. S. 1–4. (anglicky) 
  85. Hu, str. 4
  86. Hatcher, str. 31
  87. Hatcher, str. 126
  88. HUFFMAN, William Cary; PLESS, Vera. Fundamentals of error-correcting codes. [s.l.]: Cambridge University Press, 2003. 646 s. Dostupné online. ISBN 9780521782807. (anglicky) 
  89. KUGA, Michio. Galois' dream: group theory and differential equations. Boston: Birkhäuser Boston, 1993. Dostupné online. ISBN 978-0-8176-3688-3. S. 105–113. (anglicky) 
  90. NEUKIRCH, Jürgen. Algebraic Number Theory. Berlin: Springer, 1999. Dostupné online. ISBN 978-3-540-65399-8. Kapitola §I.12, I.13. (anglicky) 
  91. SERESS, Ákos. An introduction to computational group theory. Notices of the American Mathematical Society. 1997, s. 671–679. Dostupné v archivu pořízeném dne 08-02-2007. (anglicky) .
  92. Landin, str. 67
  93. Landin, str. 83
  94. Landin, str. 126
  95. Landin, str. 110
  96. MORANDI, Patrick. Field and Galois theory. [s.l.]: Springer, 1996. 281 s. ISBN 9780387947532. S. 247. (anglicky) 
  97. ARTIN, Michael. Algebra. [s.l.]: Prentice Hall, 1991. 618 s. Dostupné online. ISBN 9780130047632. Kapitola 6, Theorem 6.1.14. (anglicky) 
  98. BESCHE, Hans Ulrich; EICK, Bettina; O'BRIEN, E. A. The groups of order at most 2000. Electronic Research Announcements of the American Mathematical Society. 2001, s. 1–4. Dostupné online. DOI 10.1090/S1079-6762-01-00087-7. (anglicky) 
  99. Lang, 2002, §I. 3, str. 22
  100. ASCHBACHER, Michael. The Status of the Classification of the Finite Simple Groups. Notices of the American Mathematical Society. 2004, s. 736–740. Dostupné online. (anglicky) .
  101. GARNIER, Rowan; TAYLOR, John. 100% Mathematical Proof. [s.l.]: John Wiley & Sons, 1996. ISBN 0-471-96198-1.  str. 12.
  102. HIGGINS, Philip J. Introduction to topological groups. London: CUP Archive, 1974. 109 s. Dostupné online. ISBN 9780521205276. Kapitola 2, s. 16. (anglicky) 
  103. HUSAIN, Taqdir. Introduction to topological groups. [s.l.]: Saunders, 1966. 218 s. Dostupné online. S. 101. (anglicky) 
  104. NEUKIRCH, Jürgen. Algebraic Number Theory. Berlin: Springer, 1999. 571 s. Dostupné online. ISBN 978-3-540-65399-8. (anglicky) 
  105. SHATZ, Stephen S. Profinite groups, arithmetic, and geometry. [s.l.]: Princeton University Press, 1972. ISBN 978-0-691-08017-8. (anglicky) 
  106. MILNE, James S. Étale cohomology. [s.l.]: Princeton University Press, 1980. Dostupné online. ISBN 978-0-691-08238-7. (anglicky) 
  107. WARNER, Frank Wilson. Foundations of differentiable manifolds and Lie groups. [s.l.]: Springer, 1971. 272 s. Dostupné online. ISBN 9780387908946. S. 82. (anglicky) 
  108. BOREL, Armand. Linear algebraic groups. [s.l.]: Springer, 1991. 288 s. ISBN 978-0-387-97370-8. S. 29. (anglicky) 
  109. HARRIS, Joe; FULTON,, William. Representation theory: a first course. [s.l.]: Springer, 1991. 551 s. ISBN 9780387974958. Kapitola II.8. (anglicky) 
  110. CORNWEL, J. F. Group theory in physics: an introduction. [s.l.]: Academic Press, 1997. 349 s. Dostupné online. ISBN 9780121898007. S. 135. (anglicky) 
  111. HUMPHREYS, James E. Introduction to Lie algebras and representation theory. [s.l.]: Birkhäuser, 2000. 172 s. Dostupné online. ISBN 9780387900537. Kapitola III.11. (anglicky) 
  112. ONISHCHIK, A. L.; VINBERG, Ėrnest Borisovich. Lie groups and Lie algebras III. [s.l.]: Springer, 1994. 248 s. ISBN 9783540546832. Kapitola 4.1, 4.2. (anglicky) 
  113. GOLDSTEIN, Herbert. Classical Mechanics. [s.l.]: Addison-Wesley Publishing, 1980. Dostupné online. ISBN 0-201-02918-9. S. 588–596. (anglicky) 
  114. WEINBERG, Steven. Gravitation and Cosmology. New York: John Wiley & Sons, 1972. Dostupné online. ISBN 978-0-471-92567-5. S. 25–29. (anglicky) 
  115. EL NASCHIE, M.S. String theory, exceptional Lie groups hierarchy and the structural constant of the universe. Chaos, Solitons & Fractals. 2008, roč. 35, s. 7–12. Dostupné online. 
  116. MAC LANE, Saunders. Categories for the Working Mathematician. Berlin, New York: Springer, 1998. ISBN 978-0-387-98403-2. (anglicky) 
  117. DENECKE, Klaus; WISMATH, Shelly L. Universal algebra and applications in theoretical computer science. London: CRC Press, 2002. Dostupné online. ISBN 978-1-58488-254-1. (anglicky) 
  118. DUDEK, W.A. On some old problems in n-ary groups. Quasigroups and Related Systems. 2001, s. 15–36. Dostupné v archivu pořízeném dne 14-07-2009. (anglicky) 

Literatura

Česká
  • ALEXANDROV, Pavel Sergejevič. Úvod do teorie grup. Překlad M. Volf. Moskva: Mir, 1985. 120 s. 
  • BOČEK, Leo; ŠEDIVÝ, Jaroslav. Grupy geometrických zobrazení. Praha: Státní pedagogické nakladatelství, 1979. 213 s. 
  • DRÁPAL, Aleš. Teorie grup (základní aspekty). Praha: Karolinum, 2000. 207 s. ISBN 80-246-0162-1. 
  • LIVIO, Mario. Neřešitelná rovnice. Praha: Argo, Dokořán, 2008. 320 s. ISBN 978-80-7363-150-5. 
  • LITZMAN, Otto; SEKANINA, Milan. Užití grup ve fyzice. Praha: Academia, 1982. 276 s. 
  • PROCHÁZKA, Ladislav, a kol. Algebra. Praha: Academia, 1990. 560 s. ISBN 80-200-0301-0. Kapitola III. 
  • PROCHÁZKA, Ladislav. Rozšíření grup a grupy krystalografické. Praha: Academia, 2001. 119 s. ISBN 9788024604060. 
  • RACHŮNEK,, Jiří. Grupy a okruhy. Olomouc: Univerzita Palackého v Olomouci, 2005. 106 s. ISBN 9788024409986. 
Anglická
  • CORNWELL, J. F. Group theory in physics: an introduction. San Diego: Academic Press, 1997. 349 s. ISBN 9780121898007. 
  • LESK, Arthur M. Introduction to symmetry and group theory for chemists. Dordrecht ; Boston: Kluwer Academic Publishers, 2004. 122 s. ISBN 9781402021503. 
  • MCWEENY, Roy. Symmetry: an introduction to group theory and its applications. Mineola: Dover Publications, 2002. 248 s. ISBN 9780486421827. 
  • MILLER, Willard. Symmetry groups and their applications. New York: Academic Press, 1972. 432 s. ISBN 9780124974609. 
  • STERNBERG, Shlomo. Group theory and physics. Cambridge: Cambridge University Press, 1995. 444 s. Dostupné online. ISBN 9780521558853. 

Externí odkazy

České
Anglické

Média použitá na této stránce

Symbol delete vote darkened.svg
cancel symbol dark red
Dih4 subgroups.svg
The lattice of subgroups of the dihedral group Dih4, represented as groups of rotations and reflections of a plane figure.
Hexaaquacopper(II)-3D-balls.png

Ball-and-stick model of the hexaaquacopper(II) complex, [Cu(H2O)6]2+.

Image generated in Accelrys DS Visualizer.
C60a.png
Autor:

Původně soubor načetl Mstroeck na projektu Wikipedie v jazyce angličtina

Later versions were uploaded by Bryn C at en.wikipedia., Licence: CC BY-SA 3.0

A 3D model of a en:C60 molecule, also called a "Buckyball". Created by Michael Ströck (mstroeck) on February 6, 2006 in iMol for Mac OS X and Photoshop CS2. Released under the .

Code for generation of the core coordinates:

d=0.140 %double bond 
s=0.146 %single bond = pentagon bond

r=s/2/sin(2*pi/10) %radius of pentagon

phi=(sqrt(5)+1)/2 %golden ratio
p=sqrt(phi^2+1)  %Pythagoras. Somehow I need this often

c_c=r*phi+d/2*p  %Penta center from icosahedron center distance

rota=[phi 0 1  ; 0 p 0 ; 1 0 -phi ] / p  %Rotation from mirror plane to 5 fold axis

figure(1)
plot3(0, 0, 0, '*')
hold on

for i_r3=0:2
    trafo_r3=([0 1 2 ; 1 2 0 ; 2 0 1]==ones(3)*i_r3);
    for i_m2=-1:2:1 %mirror plane (-1)^i
        trafo_m2=trafo_r3*[1 0 0 ; 0 1 0 ; 0 0 i_m2];
        for i_m1=-1:2:1 %mirror plane (-1)^i
            trafo_m1=trafo_m2*[i_m1 0 0 ; 0 1 0 ; 0 0 1];
            for i_p=0:4 %5 fold rotation (i/5*360)
                trafo_p=trafo_m1*rota;
                v=trafo_p*([-cos(2*pi *  (i_p/5))*r ; sin(2*pi *  (i_p/5))*r ; c_c ]);
                plot3( v(1), v(2), v(3), 'o' , 'markersize' , 30 , 'MarkerFaceColor',trafo_r3(1,:) );
            end
        end
    end
end
Ammonia-3D-balls-A.png
Ball-and-stick model of the ammonia molecule, NH3.
Group D8 fh.svg
Symmetry of a dihedral group: fh (horizontal flip)
Symbol confirmed.svg
A green check symbol.
Group D8 id.svg
Symmetry of a dihedral group: id (keeping it as is)
Group D8 180.svg
Symmetry of a dihedral group: r2 (rotation by 180° right)
Cyclic group.svg
Autor:
Vektory:
, Licence: CC BY-SA 3.0
depiction of a cyclic group with 6 elements
Matrix multiplication.svg
Autor: en:User:Jakob.scholbach (original); Pbroks13 (talk) (redraw), Licence: CC BY-SA 3.0
Two vectors under matrix multiplication. SVG redraw of original image.
Group D8 270.svg
Symmetry of a dihedral group: r3 (rotation by 270° right)
Group D8 90.svg
Symmetry of a dihedral group: r1 (rotation by 90° right)
Group D8 f13.svg
Symmetry of a dihedral group: fd (diagonal flip)
Evariste galois.jpg
Portrait of Évariste Galois, young man in front of bust coating a redingote.
Magma to group4 cz.svg
Autor: User:Ethaniel (then translated), Licence: CC0
Grafické znázornění vztahů mezi termíny jako grupoid, grupa, kvazigrupa, pologrupa apod.
Group D8 fv.svg
Symmetry of a dihedral group: fv (vertical flip)
Fundamental group.svg
Autor: Jakob.scholbach (original); Pbroks13 (talk) (redraw), Licence: CC BY-SA 3.0
Depiction of elements of the fundamental group of the plane minus a point
Uniform tiling 73-t2 colored.png
(c) Jakob.scholbach na projektu Wikipedie v jazyce angličtina, CC BY-SA 3.0
2,3,7 group with some parts of the tiling highlighted
Group D8 f24.svg
Symmetry of a dihedral group: fc (counter-diagonal flip)
Rubik's cube.svg
Autor: This image was created by me, Booyabazooka, Licence: CC BY-SA 3.0
Rubikova kostka
Dih4 cycle graph pf.svg
Graf cyklu dehidralni grupy D4
Cubane-3D-balls.png

Ball-and-stick model of the cubane molecule.

Image generated in Accelrys DS Visualizer.