|
Polomřížky a nerozložitelné prvky
Kuděj, Martin ; Kala, Vítězslav (vedoucí práce) ; Korbelář, Miroslav (oponent)
Tato práce se zabývá teorií polomřížek, což jsou netriviální diskrétní podmo- noidy v Rn se sčítáním, které jsou obsaženy v nějakém kuželi. Speciální pozornost je věnována jejich nerozložitelným prvkům. Nejdůležitější případ polomřížek je odvozen z reálných kvadratických číselných těles, kterému je věnována značná část práce a charakterizace nerozložitelných prvků těchto polomřížek je v práci doká- zána dvěma způsoby, k čemuž je využito různých partií z teorie čísel, především se jedná o řetězové zlomky, k nim příslušné polokonvergenty a jejich aproximační vlastnosti, Fareyho dvojice, ale také je použita algebraická teorie čísel. Závěrečná část práce je dále věnována hornímu odhadu normy nerozložitelných prvků v po- lomřížce, odpovídající Minkowského vnoření příslušného číselného tělesa. 1
|
|
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...
|
|
Konečně generované polookruhy a polotělesa
Šíma, Lucien ; Kala, Vítězslav (vedoucí práce) ; Korbelář, Miroslav (oponent)
Tato práce se zabývá polookruhy. Polookruhy jsou tvořeny nosnou množinou s dvěma binárními operacemi, které jsou komutativní, asociativní a navíc je jedna z nich distributivní vůči druhé. Zaměříme se na třídu ideálově-jednoduchých polookruhů, tedy polookruhů bez vlastních ideálů. Předložíme klasifikaci ideálově-jednoduchých polookruhů a zabýváme se jejich podtřídami, mezi něž patří polotělesa a parapolotělesa. Hlavním výsledkem této práce jsou těsné odhady minimálního počtu polookruhových generátorů parapolotěles. Dále se věnujeme studiu konečně generovaných polotěles a ukážeme, jak mohou vypadat. V neposlední řadě ukážeme, že každý konečně generovaný ideálově jednoduchý polookruh je také konečně generovaný jako multiplikativní grupa.
|
| |
|
Cryptography based on semirings
Mach, Martin ; Korbelář, Miroslav (vedoucí práce) ; El Bashir, Robert (oponent)
Kryptografie založená na polookruzı́ch je jednı́m z možných řešenı́, jak přistu- povat k schématům s veřejným klı́čem v postkvantové kryptografii. V našı́ práci se budeme zabývat jednı́m konkrétnı́m polookruhem - tropickou algebrou. Pro- zkoumáme jedno konkrétnı́ schéma dohody na klı́či - Stickelův protokol upravený pro použitı́ v polookruzı́ch. Přestože na toto schéma byl již navržen útok, tak jsme tento algoritmus naimplementovali a předevšı́m určili jeho složitost. Dále navrhujeme dalšı́ varianty Stickelova protokolu a zkoumáme jejich potenciál pro praktické využitı́. Během tohoto výzkumu jsme narazili na teorii chovánı́ mocnin tropických matic, proto jsme se snažili udělat jejı́ přehled pro použitı́ v krypto- grafii založené na maticı́ch nad tropickou algebrou. 1
|
|
Kryptosystém NTRU a jeho varianty
Poláková, Kristýna ; Příhoda, Pavel (vedoucí práce) ; Korbelář, Miroslav (oponent)
V této práci nejprve uvedeme čtenáře do mřížkových problémů. Dále studujeme různé aspekty kryptosystému NTRU, založeného na těchto problémech a porovnáváme ho s dnes běžně užívanými šifrovacími metodami. Krátce zmíníme jeho předpokládanou kvantovou odolnost. Následně se snažíme minimalizovat nevýhody systému jeho různými obměnami. Powered by TCPDF (www.tcpdf.org)
|
| |
|
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...
|
| |
| |