Deriving a pseudomanifold of dimension 3 from nonassociative triples
Odvození pseudovariety dimenze 3 z neasociativních trojic
bakalářská práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/128242Identifikátory
SIS: 235664
Kolekce
- Kvalifikační práce [10676]
Autor
Vedoucí práce
Oponent práce
Patáková, Zuzana
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Obecná matematika
Katedra / ústav / klinika
Katedra algebry
Datum obhajoby
8. 7. 2021
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Výborně
Klíčová slova (česky)
kvazigrupa|asociativní trojice|orientovaný komplex|pseudovarieta|kombinatorický povrchKlíčová slova (anglicky)
quasigroup|associative triple|oriented complex|pseudomanifold|combinatorial surfaceNeasociativita kvázigrúp je užitočná vlastnosť pre kryptografiu. A. Drápal and I. M. Wanless vo svojej nedávnej práci študovali existenciu maximálne neasociatı́vnych kvázigrúp, no táto otázka ostáva pre niektoré rády nezopove- daná. Táto práca je úvodom do novej metódy riešenia tejto otázky. Po rekapitulácii najnovšı́ch zistenı́ a naznačenı́ využitia v kryptografii vyložı́ práca konštrukciu abstraktného simpliciálneho komplexu dimenzie 3 z neasociatı́vnych trojı́c konečnej kvázigrupy. Ukážeme, že tento komplex má formu zjednotenia uzavretých orientovateľných pseudovariet dimenzie 3. Pre rády do 6 nezávisle overı́me zistenia Ježka and Kepku o spektre asociati- vity a klasifikujeme možné rozklady komplexu neasociativity na silne súvislé komponenty analýzou ich duálnych grafov. Hlavným výsledok práce je prvý krok k riešeniu singuları́t v komplexe neasociativity. Ukážeme, že linky vrcholov v komplexe majú riešiteľné sin- gularity, čo nám umožnı́ normalizovať ich algoritmicky. Nakoniec spočı́tame rody komponent v linkoch a ilustrujeme typy linkov na prı́kladoch malých kvázigrúp. 1
The non-associative properties of quasigroups are useful in cryptography. A. Drápal and I. M. Wanless have recently analyzed the existence of a max- imally non-associative quasigroup of order n in their work, but there remain orders n for which the existence is not known. This thesis is an introduction to a new method of tackling the problem. After presenting the most recent results and hinting at a possible crypto- graphic application, the thesis proposes the construction of a 3-dimensional abstract simplicial complex from non-associative triples of a finite quasigroup. It shows that the complex forms of a union of closed orientable pseudomani- folds of dimension 3. For orders up to 6, we independently verify the findings of Ježek and Kepka regarding the associativity spectrum of n and classify possible decompositions of the non-associativity complexes into strongly con- nected components by analyzing their dual graphs. The main result of the thesis performs the first step towards resolving the singularities in the complex. We show that links of vertices in the complex have solvable singularities, enabling us to normalize the links of vertices algorithmically. Lastly, we illustrate the types of vertex neighborhoods on examples of small quasigroups by calculating the genera of their components. 1