|
|
Arithmetics of number fields and generalized continued fractions
Tinková, Magdaléna ; Kala, Vítězslav (vedoucí práce) ; Blomer, Valentin (oponent) ; Earnest, Andrew (oponent)
Tato práce se zaměřuje na aditivně nerozložitelné prvky v totálně reálných číselných tělesech a na jejich použití při studiu univerzálních kvadratických forem. Pro určení takových prvků jsme vytvořili dvě různé metody, které jsou založeny na jejich geomet- rických vlastnostech a na vícerozměrných řetězových zlomcích, speciálně na takzvaném Jacobi-Perronově algoritmu. Zejména se zajímáme o kvadratická, bikvadratická a ku- bická číselná tělesa. Pro ně uvádíme několik nových výsledků ohledně počtu proměnných jejich univerzálních kvadratických forem a o struktuře, normách a minimálních stopách jejich nerozložitelných prvků. Jedna část se také věnuje související otázce takzvaného Pythagorova čísla, kde používáme naše výsledky ohledně nerozložitelných prvků. 1
|
|
|
Algebraic proofs of Dirichlet's theorem on arithmetic progressions
Čech, Martin ; Kala, Vítězslav (vedoucí práce) ; Příhoda, Pavel (oponent)
Dirichletova věta o aritmetických posloupnostech říká, že každá aritmetická posloupnost an = kn + pro nesoudělná čísla k, obsahuje nekonečně mnoho prvočísel. Původní důkaz této věty byl analytický a využíval mnoho neele- mentárních metod. Cílem této práce je najít nutné a postačující podmínky, za kterých může existovat elementárnější algebraický důkaz této věty a v těchto případech větu dokázat. 1
|
|
|
Solving diophantine equations by factorization in number fields
Hrnčiar, Maroš ; Kala, Vítězslav (vedoucí práce) ; Příhoda, Pavel (oponent)
Název práce: Řešení diofantických rovnic rozkladem v číselných tělesech Autor: Bc. Maroš Hrnčiar Katedra: Katedra algebry Vedoucí diplomové práce: Mgr. Vítězslav Kala, Ph.D., Mathematisches Institut, Georg-August Universität Göttingen Abstrakt: Problém řešitelnosti diofantických rovnic je jedním z nejstarších ma- tematických problémů v historii. Postupně se vyvinuly různé přístupy k řešení určitých typů rovnic, z nichž se v práci zabýváme převážně metodou využívající faktorizaci v algebraickém číselném tělese. Myšlenkou této metody je vyjádřit rovnici ve tvaru L = yn , kde levá strana L je součin typicky lineárních fak- torů s koeficienty v daném číselném tělese. Při splnění několika předpokladů po- tom můžeme každý z faktorů napsat jako n-tou mocninu. Klíčovou roli při apli- kaci metody hraje struktura číselných těles, proto neoddělitelnou součást práce tvoří přehled algebraické teorie čísel. Kromě výkladu obecné teorie jsou zde uve- dené i výpočty v jednotlivých kvadratických a kubických tělesech popisující jejich vlastnosti. Hlavním předmětem práce je však řešení konkrétních úloh. Například v rovnici x2 + y2 = z3 se potýkáme s netriviálními společnými děliteli faktorů v...
|
|
|
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...
|
|
|
Universal quadratic forms over number fields
Svoboda, Josef ; Kala, Vítězslav (vedoucí práce) ; Hejda, Tomáš (oponent)
Cílem této práce je studium univerzálních kvadratických forem nad bikvadratickými tělesy. V práci defininujeme bikvadratická tělesa a popisujeme jejich strukturu. Konkrétně studujeme některé význačné (totálně kladné a aditivně nerozložitelné) prvky, jejich normy a stopy. Poté popisujeme teorii univerzálních kvadratických forem a používáme význačné prvky k důkazu dolního odhadu počtu proměnných univerzální kvadratické formy v některých bikvadratických tělesech.
|
|
|
Ideal lattices in cryptography
Vyhnalová, Sára ; Kala, Vítězslav (vedoucí práce) ; Příhoda, Pavel (oponent)
Práca sa venuje špeciálnym typom mriežok, a to ideálovým, cyklickým a NTRU mriežkam. Konkrétne ide o rozšírenie a zovšeobecnenie článku od autorov Ding a Lindner s názvom Identifying Ideal Lattices. Okrem algo- ritmu na identifikáciu ideálových mriežok práca obsahuje aj názorné príklady a detailnejšie prepracované dôkazy tvrdení, na ktorých sa algoritmus za- kladá. V sekcii s názvom Lattice Isomorphism predkladáme taktiež dôkaz zovšeobecnenej vety z článku. Ďalšie tvrdenie, nadväzujúce na vetu o identi- fikovaní ideálových mriežok, dokazujeme pre prípad NTRU mriežok, pričom úvahy dop'lňame príkladmi. Záverečnou čast'ou práce je kapitola o aplikáciách v kryptografii, ktorej súčast'ou je hashovacia funkcia založená na ideálových mriežkach. Poskytujeme tu aj stručný prehl'ad kryptografických algoritmov, ktoré využívajú NTRU mriežky.
|
|
|
Sums of squares in number fields
Raška, Martin ; Kala, Vítězslav (vedoucí práce) ; Yatsyna, Pavlo (oponent)
Cílem práce je studovat totálně reálná kvadratická tělesa Q( √ D), ve kterých pro pevné přirozené číslo m platí, že všechny m-násobky totálně kladných celistvých prvků lze vyjádřit ve tvaru součtu čtverců. Dokazujeme poměrně silné nutné a postačující podmínky k tomu, aby uvažovaná tělesa měla tuto vlastnost. Dále uvádíme rychlý algoritmus, který pro pevné m najde všechna tělesa, ve kterých výše uvedená skutečnost nastává. 1
|
|
|
Univerzální kvadratické formy a odhady stop celistvých prvků
Tížková, Bára ; Kala, Vítězslav (vedoucí práce) ; Francírek, Pavel (oponent)
Cílem této práce je studovat počet proměnných univerzálních kvadratických forem v číselných tělesech. Konkrétně, uvádíme zde celý důkaz věty o existenci nekonečně mnoha totálně reálných kvadratických forem libovolného stupně 2n, nad kterými je počet pro- měnných univerzálních kvadratických forem libovolně velký. Klíčovým krokem důkazu je odhad stopy celistvého prvku za pomocí jednoho ze Stieltjesových odhadů diskriminantu. Na tyto odhady se v práci více zaměřujeme a uvádíme nástroje pro jejich důkazy. Dále se v práci zabýváme elementárními odhady počtu celistvých prvků s omezenou stopou a uvádíme přehled potřebné teorie ke stopám a diskriminantům. 1
|
|
|
Periodicity of Jacobi-Perron algorithm
Sgallová, Ester ; Kala, Vítězslav (vedoucí práce) ; Vávra, Tomáš (oponent)
Cílem této práce je studovat vztah mezi nerozložitelnými prvky v kubických tělesech a Jakobi-Perronovým algoritmem (JPA). JPA je zobecnění algoritmu řetězových zlomků do vyšších dimenzí. V práci pracujeme s rodinou Ennolových kubických těles, zkoumáme, jaký je vztah mezi nerozložitelnými prvky v těchto tělesech a prvky získanými z JPA rozvojů. Navíc zkoumáme, zda tyto prvky přímo generují všechny nerozložitelné prvky v těchto tělesech. Zformulovali jsem domněnky, jak určit které prvky z rozvojů generují nerozložitelné prvky. Také jsme dokázali několik nutných podmínek, které musejí prvky získané z rozvoje splňovat, aby generovaly nerozložitelné prvky. 1
|
host ::
