|
Modules over non-commutative rings for an analysis of control systems
Xia, X. ; Márquez-Martínez, L. ; Zagalak, Petr ; Moog, C.
The paper introduces some concepts of the theory of non-commutative rings into the theory of nonlinear systems with time delays. The left Ore ring of non-commutative polynomials defined over the field of meromorphic functions is studied and some properties of modules over such rings are presented. This approach is then generalized to a special class of nonlinear systems with delays that are called Generalized Roesser Systems. Finally, the theory is used to define and characterize.
|
|
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...
|
| |
|
Vysoké okruhy
Penk, Tomáš ; Žemlička, Jan (vedoucí práce) ; Šťovíček, Jan (oponent)
Perfektní a max okruhy jsou známy přes padesát let. Jejich teorie se stále intenzivně studuje. Podmínky, které je definují, jsou přitom zajímavé hlavně při studiu modulů, které nejsou noetherovské. V této práci nejprve shrneme základní poznatky o okruzích a modulech, přičemž se předpokládají předchozí znalosti pouze na úrovni základního kurzu. Poté, co shrneme některé elementární výsledky týkající se noetherovských modulů, budeme připraveni na definici vysokých modulů a vysokých okruhů. Dále ukážeme, že jsou v určitém směru zobecněním perfektních a max okruhů. Uvedeme některé příklady vysokých a nevysokých okruhů, přičemž se podrobněji zaměříme na komutativní okruhy. Poznatky, které tak získáme, se pokusíme zobecnit a využít je při hledání některých nutných a některých postačujících podmínek pro to, abychom o komutativním okruhu mohli prohlásit, zda je či není vysoký. Na závěr ukážeme, že pro noetherovské komutativní okruhy jsou tyto podmínky navzájem ekvivalentní, a dávají tak k pojmu vysoký okruh ekvivalentní charakterizaci.
|
| |
|
Aplikace Gröbnerových bází v kryptografii
Fuchs, Aleš ; Šťovíček, Jan (vedoucí práce) ; Žemlička, Jan (oponent)
Název práce: Aplikace Gröbnerových bází v kryptografii Autor: Aleš Fuchs Katedra: Katedra algebry Vedoucí diplomové práce: Mgr. Jan Št'ovíček Ph.D., Katedra algebry Abstrakt: V této práci studujeme přípustná uspořádání a postupy redukce polynomu množinou jiných polynomů v prostředí polynomiálních okruhů nad konečnými tělesy. Zde hrají významnou roli Gröbnerovy báze nějakého ideálu, které díky svým vlastnostem umožňují řešit problém náležení do daného ideálu. Zkoumáme také vlastnosti takzvaných redukovaných Gröbnerových bází, které jsou pro daný ideál jednoznačně určené a v jistém ohledu mi- nimální. Dále se zabýváme rozšířením této teorie do prostředí volných alge- ber nad konečnými tělesy, kde proměnné nekomutují. Na rozdíl od prvního případu zde Gröbnerovy báze mohou být nekonečné i pro konečně generované oboustranné ideály. V poslední kapitole uvádíme asymetrický kryptosystém Polly Cracker založený právě na problému náležení do ideálu jak v komuta- tivní, tak v nekomutativní teorii. Zkoumáme známé metody kryptoanalýzy aplikované na tyto systémy a v několika případech i opatření, která útokům předchází. Souhrn opatření aplikujeme v poslední části věnované návrhům...
|
|
Lineární kódy nad okruhy
Kobrle, Tomáš ; Šťovíček, Jan (vedoucí práce) ; Příhoda, Pavel (oponent)
Tato diplomová práce se zaměřuje na speciální typ okruhů nazývaný algebry cest s cílem definovat a popsat lineární kódy nad těmito okruhy. Algebra cest je definována pomocí grafické struktury tak zvaných quiverů, jejich struktura se pak dále přenáší i na moduly algeber cest. Samotné kódy jsou definovány nad nerozložitelnými injektivními moduly algeber cest s ohledem na nedávné výsledky z teorie kódů nad okruhy. Takto definované kódy nám umožňují studovat parametry a verze základních tvrzení z teorie lineárních kódů na tělesy pro kódy nad okruhy. Zmíněná tvrzení se týkají duálních kódů a s nimi spjatou MacWilliams identitou následovaný tvrzením o ekvivalenci kódů. Nakonec se vracíme k algebrám cest s popisem způsobu, jak je lze udělat použitelné v teorii kódů nad okruhy.
|
|
Grupové okruhy v teorii kódů
Horáček, Jan ; Žemlička, Jan (vedoucí práce) ; Šťovíček, Jan (oponent)
Tato práce se zabývá lineárními samoopravnými kódy v grupovém okruhu. Je podán základní úvod do grupových okruhů a do kódování v grupových okruzích. Kód chápeme jako R-podmodul, což je zobecnění definice kódu jako ideálu. Popíšeme kódy odvozené od invertibilního prvku a od dělitele nuly. Provedeme testování parametrů kódu odvozených od invertibilního prvku. Vysvětlíme konstrukci LDPC kódů bez krátkých kružnic. Kromě určení generující a kontrolní matice kódů je kladen důraz na algebraické vlastnosti kódů a grupových okruhů. Zabýváme se také samoduálními kódy, reverzními kódy nebo počtem invertibilních prvků konečné grupové algebry cyklické grupy. 1
|
|
Výroková logika a algebra
Polach, František ; Krajíček, Jan (vedoucí práce) ; Pudlák, Pavel (oponent)
Algebraic proof systems of which the most important are the polynomial calculus and the Nullstellensatz proof system are proof systems that use algebraic means for proving propositional tautologies - they are based on polynomial identities over (commutative) rings. Razborov [9] have proved a non-trivial lower bound on degree for polynomia calculus proofs of the tautologies (a set of polynomials) that express the pigeonhole principle over any field. This work gathers present important results for algebraic proof systems and generalizes the Razborov's construction used in his proof of the lower bound to another set of polynomials. We explicitly describe the basis of the vector space of polynomials that are derivable by a small degree polynomial calculus proof from the tautologies that express a variant of the pigeonhole principle (that generalizes the principle for multifunctions).
|
|
Ř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
|
host ::
