|
|
Sudé triangulace a Abelovy grupy
Hrbek, Michal ; Drápal, Aleš (vedoucí práce) ; Kepka, Tomáš (oponent)
Název práce: Sudé triangulace a Abelovy grupy Autor: Michal Hrbek Katedra: Katedra algebry Vedoucí bakalářské práce: prof. RNDr. Aleš Drápal CSc., DSc. Abstrakt: Tato práce se zabývá sudými triangulacemi sféry a algebraickou strukturou na nich definovanou tak, aby odpovídala latinské záměně sdružené s touto triangulací. Nejprve uvedeme potřebné výsledky o vlastnostech těchto triangulací a jejich vnoření do Abelovských grup, potom se věnujeme jednomu konkrétnímu typu skoro 6-homogenních triangulací. V textu předvedeme několik příkladů, poté se explicitně popíší grupy nejjednodušší posloupnosti triangulací. Pro složitější posloupnosti presentujeme rekurentní vzorec pro definující relace grup a příklad jeho použití přes modulární aritmetiku. Nakonec se v textu disku- tují napočítaná data. Klíčová slova: latinská záměna, eulerovská triangulace, Abelova grupa 1
|
|
|
Semigroups of lattice points
Scholle, Marek ; Kepka, Tomáš (vedoucí práce) ; Šaroch, Jan (oponent)
V práci se zabýváme podpologrupami (Nm 0 , +), speciální diskuse je posléze věnována případům m = 1, m = 2 a m = 3. Dokážeme, že podpologrupa Nm 0 je konečně genero- vaná, právě když jí generovaný kužel je konečně generovaný, ekvivalentně polyhedrální, a popisujeme základní topologické vlastnosti takovýchto kuželů. Na příkladech doklá- dáme, že podmínky zaručující konečnou generovanost v N2 0 nelze snadno přenést do vyš- ších dimenzí. Definujeme Hilbertovu bázi a s ní související pojem Carathéodoryho ranku a kromě základních vlastností dokážeme, že Carathéodoryho rank podpologrupy Nm 0 , m = 1, 2, 3, je menší nebo roven m. Zvláštní pozornost věnujeme pologrupám obsahu- jícím netriviální podpologrupu "odčítacích prvků.
|
|
|
Některé otázky definovatelnosti
Lechner, Jiří ; Stanovský, David (vedoucí práce) ; Kepka, Tomáš (oponent)
Zaměříme se na prvořádovou definovatelnost v kvaziuspořádané třídě konečných orientovaných grafů uspořádané vnořitelností. Nejprve dokážeme definovatelnost každého grafu až do velikosti tři. Protože budeme muset k jazyku kvaziuspořádání přidat některé grafy jako konstanty, budeme se snažit najít nejmenší potřebnou množinu co možná nejmenších konstant. Postupně vybudujeme aparát, jehož prostřednictvím budeme schopni vyjádřit v jazyce vnořitelnosti vnitřní strukturu každého grafu. Nakonec vyšetříme některé aspekty definovatelnosti ve svazu univerzálních tříd orientovaných grafů. Ukážeme, že množina konečně generovaných a množina konečně axiomatizovatelných univerzálních tříd jsou definovatelné podmnožiny svazu.
|
|
|
Constructions of Commutative Semirings and Radical Rings
Korbelář, Miroslav ; Kepka, Tomáš (vedoucí práce) ; Němec, Petr (oponent) ; Příhoda, Pavel (oponent)
V této disertaci se budeme zabývat konstruktivními metodami aplikovanými na komutativní polookruhy a komutativní radikálové okruhy. V kapitole 2 budeme studovat třídu komutativních subdiretně ireducibilních radikálových okruhů. Uvedeme několik konstrukčních přístupů a pomocí reflexe z kategorie komutativních okruhů do kategorie komutativních radikálových okruhů odvodíme řadu příkladů s různými vlastnostmi. Ukážeme, že okruh S 2 S je noetherovský právě když je konečný. Dále uvedeme částečné výsledky v klasifikaci faktorů okruhů v S podle monolitu. V kapitole 3 pomocí p-prvočíselných valuací každému podpolookruhu v Q+ přiřadíme množinu jeho characteristických posloupností. Nalezneme a klasifikujeme všechny maximální podpolookruhy kladných racionálních čísel a ukážeme, že každý vlastní podpolookruh v Q+ je obsažen v nějakém z nich. Tento výsledek byl publikován v [16]. V kapitole 4 zkonstruujeme, použitím metod z kapitoly 4, novou širokou podtřídu třídy CongSimp všech vlastních kongruenčně jednoduchých podpolookruhřu v Q+, klasifikujeme všechny maximální prvky v CongSimp a ukážeme, že každý prvek CongSimp je obsažen alespoň v jednom z nich. V kapitole 5 nalezneme ekvivalentní podmínku pro to, aby polookruh Q+[ ] C, 2 C, byl obsažen v nějakém parapolotělese v C a provedeme klasifikaci pro případ, kdy je...
|
|
|
Kategoriální metody v teorii struktur
Opršal, Jakub ; Trnková, Věra (vedoucí práce) ; Kepka, Tomáš (oponent)
Název práce: Kategoriální metody v teorii struktur Autor: Jakub Opršal Katedra / Ústav: Matematický ústav Univerzity Karlovy Vedoucí diplomové práce: prof. RNDr. Věra Trnková, DrSc. Abstrakt: V první části práce se věnujeme funktorovým algebrám. Výjmečnou roli hrají iniciální funk- torové algebry, které lze získat tzv. konstrukcí iniciální algebry. V tomto roce Adámek a Trnková dokázali, že v kategorii množin se konstrukce může zastavit pouze po nejvýše třech krocích, nebo až na libovol- ném regulárním kardinálu. My na tento výsledek navazujeme a zkoumáme souvislost délky konstrukce a velikosti iniciální algebry. Ukazujeme, že délka konstrukce nikdy nepřesáhne kardinalitu iniciální algebry. Jinou transfinitiní konstrukci studoval Kelly v roce 1980. Popsal konstrukci volných algeber pro pointo- vané funktory a definoval třídu dobře pointovaných funktorů, pro které je konstrukce obzvláště jedno- duchá (a ve skutečnosti je zvláštním případem konstrukce relativně terminální algebry, kterou nedávno zkoumali Adámek a Trnková). V poslední kapitole popisujeme všechny dobře pointované funktory v kate- gorii množin a v kategorii k ní duální. Dále se věnujeme dobře pointovaným funktorům v mnohasortových množinách a popíšeme všechny možné třídy algeber pro takové funktory. Klíčová slova: funktorové algebry, konstrukce...
|
|
| |
|
|
Congruence-Simple Semirings
Al-Zoubi, Khaldoun Falah Salim ; Kepka, Tomáš (vedoucí práce) ; Ježek, Jaroslav (oponent) ; Philips, Jon (oponent)
Následující dizertační práce je věnována podrobnému zkoumání kongrunenčně-jednoduchých (konečných) aditivně idempotentních polookruhů. sestává ze čtyř kapitol. V první kapitole jsou zkoumány kvazitriviální polomoduly a polookruhy. Speciálně jsou charakterizovány minimální a kongruenčně-jednoduché kvazitriviální polomoduly. Jsou zobeněny výsledky z knihy. Ve druhé kapitole pokračujeme ve zkoumíní polomodulů. Hlavně s důrazem na minimální a kongruenčně-jednoduché polomoduly. Ve třetí kapitole se zkoumají skoro minimální polomoduly. Klasifikujeme konečné kongruenčně jednoduché polookruhy. Ve čtvrté kapitole dokážeme, že polookruh endomorfismů netriviálního polosvazu je vždy subdirektně nerozložitelný a popíšeme jeho monolit. Polookruh endomorfismů je kongruenčně jednoduchý právě, když příslušný polosvaz má největší i nejmenší prvek. První tři kapitoly jsou souhrnem výsledků [2], [3] a [4]. Obsah poslední kapitoly je adaptován z [17]. K práci patří z ilustrativních důvodů.
|
|
|
Quasigroups with few associative triples
Valent, Viliam ; Drápal, Aleš (vedoucí práce) ; Kepka, Tomáš (oponent)
Táto bakalárska práca sa zaoberá kvazigrupami s malým počtom asociatívnych trojíc. Tie už boli predmetom algebraického štúdia Drápala, Ježka a Kepku, Kotziga a nedávno Grošeka a Horáka. Cieľom tejto práce je budovať na výskume Ǧrošeka a Horáka, replikovať a zlepšiť ich výsledky ohľadom minimálneho počtu asociatívnych trojíc v malých kvazigrupách. Ďalšou dôležitou časťou je zavedenie novej hornej medze na minimálny počet asociatívnych trojíc medzi všetkými kvazigrupami rovnakého stupňa. Poskytneme algoritmus, ktorý konštruuje kvazigrupy s počtom asociatívnych trojíc menším alebo rovným druhej mocnine ich stupňa. Takisto prezentujeme aplikácie takýchto kvazigrúp v kryptografii, hlavne v hašovacích funkciách a zero-knowledge protokoloch. Powered by TCPDF (www.tcpdf.org)
|
|
|
Simple Semirings
Kala, Vítězslav ; Kepka, Tomáš (vedoucí práce) ; El Bashir, Robert (oponent)
Známé tvrzení říká, že poud je komutativní těleso konečně generované jako okruh, je konečné. Tato práce je věnovaná zobecnění tohoto tvrzení - problému, jestli je kadý konečně generovaný ideálově jednoduchý komutativní polookruh aditivně idempotentní nebo konečný. Pomocí charakterizace ideálově jednoduchých polookruhů dokážeme, že tato otázka je ekvivalentní otázce, zda je každé komutativní parapolotěleso (polookruh, jehož multiplikativní pologrupa je grupou), které je konečně generované jako polookruh, aditivně idempotentní. V práci odvodíme řadu užitečných vlastností takovýchto parapolotěles a využijeme jich k vyřešení problému v jednogenerovaném případě. Na závěr uvedeme, jak je možné využít získaných poznatků o parapolotělesech k vyřešení dvougenerovaného případu pomocí zkoumání podpologrup Nm0.
|
|
|
Algebraic Substructures in Cm
Kala, Vítězslav ; Kepka, Tomáš (vedoucí práce) ; Stanovský, David (oponent) ; El Bashir, Robert (oponent)
Název práce: Algebraické podstruktury v ℂ Autor: Vítězslav Kala Katedra: Katedra algebry Vedoucí disertační práce: Prof. RNDr. Tomáš Kepka, DrSc., Katedra algebry Abstrakt: Tato práce je zaměřena na studium struktury konečně generovaných polookruhů, parapolotěles a dalších algebraických struktur za použití geomet- rických metod založených na algebraických podstrukturách Euklidovského pro- storu ℂ . Parapolotělesu , které je konečně generované jako polookruh, přiřadíme vhod- nou podpologrupu pologrupy ℕ0 (definovanou pomocí prvků takových, že + = pro nějaké ∈ a ∈ ℕ). Algebraické a geometrické vlastnosti obsahují důležité informace o struktuře ; použijeme jich k důkazu, že pokud je parapolotěleso 2-generované jako polookruh, pak je aditivně idempotentní. Uvedeme také okruhové přeformulování této hypotézy pro případ -generovaných polookruhů. Dále klasifikujeme všechna aditivně idempotentní parapolotělesa, která jsou ko- nečně generovaná jako polookruh, za použití skutečnosti, že odpovídají třídě jistých konečně generovaných unitálních svazově uspořádaných grup. Ty nedávno klasifikovali Busaniche, Cabrer a Mundici [4] pomocí kombinatorických a geomet- rických "hvězdných posloupností", což jsou posloupnosti...
|
host ::
RSS.