| |
|
Banschewského funkce na komplementárních modulárních svazech
Mokriš, Samuel ; Růžička, Pavel (vedoucí práce) ; Žemlička, Jan (oponent)
Název práce: Banschewského funkce na komplementárních modulárních svazech Autor: Samuel Mokriš Katedra: Katedra algebry Vedoucí bakalářské práce: Mgr. Pavel Růžička, Ph.D., Katedra algebry Abstrakt: Banaschewského funkce na omezeném svazu L je antimonotónní zo- brazení svazu L do sebe, které každému prvku z L přiřadí nějaký jeho komple- ment. Na libovolném nejvýše spočetném komplementárním modulárním svazu L existuje Banaschewského funkce, jejíž obraz M tvoří booleovský podsvaz v L. Takové M je navíc maximálním booleovským podsvazem L a je určeno až na izomorfismus jednoznačně. V této práci záporně zodpovídáme související otázku, zda jsou každé dva maximální booleovské podsvazy daného spočetného komple- mentárního modulárního svazu izomorfní a zda je každý maximální booleovský podsvaz daného spočetného komplementárního modulárního svazu L obrazem nějaké Banaschewského funkce na L. Protipříklad dále zobecníme pro větší mo- hutnosti množin; pro libovolný daný nekonečný kardinál κ zkonstruujeme kom- plementární modulární svaz L kardinality κ a maximální booleovské podsvazy B a E svazu L takové, že B není obrazem žádné Banaschewského funkce na L, že existuje Banaschewského funkce na svazu L,...
|
| |
|
Abelovsky regulární okruhy
Vejnar, Benjamin ; Žemlička, Jan (vedoucí práce) ; Růžička, Pavel (oponent)
Na/ev praco: Abelovsky regularni okruhy Autor: Benjamin Vejnar Katedra (listav): Katedra algebry VcdoLici bakalafske prace: Mgr. Jan 2emlicka, Ph.D. E-mail vedouctho: Jan.Zcmlicka&mJJ. cuni.cz Abstrakt: V pfcdloxene praci studujeme aritmeticke a strukturni vlastnosti abelovsky regularnich okruhu, tedy okruhu, jcjichx ka/xly levy i pravy konecne generova.ny ideal jo generovan idempotentnim prvkem, klery Ic/i v centra danoho okruhu. Napfiklad ka/,dy Boohmv okruh je abelovsky regularni. Venujume ye podininkam, ktere uplne diarakterizuji tn'du abelovsky regu- larnieli okruhu, jako napfiklad silna regularita. Vsimame si souvislosti mexi Booleovou algebrou vsch centralnich idempo1,entu daneho okruhu a hlavnimi idealy. Dale popiHUJeme topologit na nmo/ine visecli prvoidealu a avcdoniujeine si, '/e splyva s Lo])ologii ultrafiltrii na Booleove algebre idciiipotontd. Klicova slova: okruhy, idempoteiitni prvky, silne regularni okruhy Title: Abelian regular rings Author: Benjamin Vejnar Department: Department of Algebra Supervisor: Mgr. Jan Zemlieka, Ph.D. Supervisor's e-mail address: Jan.Zc:ttilicka((})'niff.cu'iii.cz Abstract: In the present work we study arithmetic and structural properties of abelian regular' rings. This means rings whose every left and right finitely generated ideal is generated by an idempotent...
|
| |
|
Kryptografie založená na kvadratických tělesech
Straka, Milan ; Stanovský, David (vedoucí práce) ; Žemlička, Jan (oponent)
Imaginární kvadratická tělesa byla navržena pro použití v asymetrické kryptografii Buchmannem a Williamsem již v roce 1988 a od té doby vznikly i další kryptografické protokoly. I když tyto protokoly nejsou tak efektivní jako podobná schémata s eliptickými křivkami, mohou konkurovat schématům založeným na RSA, a navíc je jejich bezpečnost považována za nezávislou na bezpečnosti běžných kryptosystémů jako RSA, DSA a ECC. Tato práce shrnuje dosavadní výsledky v oboru kvadratické kryptografie. Jednak popisuje algebraickou teorii nutnou pro zavedení třídové grupy imaginárních kvadratických těles a dále studuje algoritmy operací v třídové grupě, jak asymptoticky, tak prakticky efektivní. Také rozebírá vhodná kryptografická schémata a útoky na ně. Součástí této práce je knihovna, která popsané protokoly efektivně implementuje.
|
| |
| |
|
Řešení soustav rovnic nad komutativními okruhy
Seidl, Jan ; Šťovíček, Jan (vedoucí práce) ; Žemlička, Jan (oponent)
Předmětem této práce je nabídnout algoritmus, jakým se dají řešit soustavy lineárních rovnic Ax=b nad okruhy hlavních ideálů. Dokážeme, že ke každé nenulové matici nad okruhem hlavních ideálů existuje její Smithův tvar. Užitím Smithova tvaru převedeme danou soustavu do jednoduché diagonální podoby a ukážeme, jak z řešení soustavy v této diagonální podobě lze získat řešení původní soustavy. Celý postup demonstrujeme na příkladech pro okruhy Z, Zm a Q[x]. Následně předvedeme, jak je možné algoritmus pro jednotlivé okruhy implementovat v programu Mathematica. Práce by měla také poskytnou postup, podle kterého by nemělo být obtížné modi- fikovat algoritmus tak, aby bylo možné získat řešení soustav i pro jiné okruhy. 1
|
|
Algoritmus pro pevné body homomorfismů na slovech
Matocha, Vojtěch ; Holub, Štěpán (vedoucí práce) ; Žemlička, Jan (oponent)
V předložené práci studuji polynomiální algoritmus, který pro dané slovo rozhoduje, zda je pevným bodem nějakého netriviálního homomorfismu. Součástí práce je zpřesněný odhad složitosti, algoritmus v nejhorším případě pracuje v čase O(m · n), kde n značí délku slova a m velikost použité abecedy. V práci se dále zabývám problémem union-find, který je stěžejní součástí popisovaného algoritmu, a s odhadem jeho složitosti související Ackermannovou funkcí. V práci jsou shrnuty používané metody a důkazy jejich složitostí a je popsán postup, kterým lze řešit speciální případ union-find vyskytující se ve zkoumaném algoritmu. Následuje konkrétní implementace algoritmu, jejíž testovaná složitost odpovídá zpřesněnému odhadu. Součástí práce je také vizualizace chodu algoritmu na konkrétních vstupech.
|