Small order quasigroups with minimum number of associative triples
Kvazigrupy malých řádů s minimálním počtem asociativních trojic
diploma thesis (DEFENDED)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/104415Identifiers
Study Information System: 199027
Collections
- Kvalifikační práce [10690]
Author
Advisor
Referee
Lisoněk, Petr
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
Mathematics for Information Technologies
Department
Department of Algebra
Date of defense
18. 9. 2018
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
English
Grade
Excellent
Keywords (Czech)
kvazigrupy, latinské čtverce, index asociativity;Keywords (English)
quasigroups, latin squares, associativity index;Táto diplomová práca sa zaoberá kvázigrupami s malým počtom asociatívnych trojíc. Minimálny počet asociatívnych trojíc naprieč kvázigrupami rádov menších ako osem bol už určený. Cieľom tejto diplomovej práce je nájsť kvázigrupy rádov osem a deväť s minimálnym počtom asociatívnych trojíc. Táto diplomová práca ukázala, že minimálny počet asociatívnych trojíc v kvázigrupách rádu osem je šestnásť a v kvázigrupách rádu deväť je deväť. Druhý spomenutý výsledok je významný preto, že je pomocou neho možné skonštruovať nekonečnú postupnosť kvázigrúp s počtom asociatívnych trojíc rovným ich rádu. Zistenia práce boli výsledkom počítačového prehľadávania, ktoré využilo nový algoritmus predstavený v tejto práci. Prvá časť práce sa zaoberá teóriou, ktorá umožnila zredukovat prehľadávací priestor pre algoritmus. Druhá časť práce pozostáva z vývoju algoritmu a posledná časť práce analyzuje nájdené kvázigrupy a porovnáva nový algoritmus s tým predošlým. Ukazuje sa, že nový prehľadávací program je až desaťtisíc krát rýchlejší ako program, ktorý určil minimum naprieč kvázigrupami rádu sedem.
This thesis is concerned with quasigroups with a small number of associative triples. The minimum number of associative triples among quasigroups of orders up to seven has already been determined. The goal of this thesis is to determine the minimum for orders eight and nine. This thesis reports that the minimum number of associative triples among quasigroups of order eight is sixteen and among quasigroups of order nine is nine. The latter finding is rather significant and we present a construction of an infinite series of quasigroups with the number of associative triples equal to their order. Findings of this thesis have been a result of a computer search which used improved algorithm presented in this thesis. The first part of the thesis is devoted to the theory that shows how to reduce the search space. The second part deals with the development of the algorithm and the last part analyzes the findings and shows a comparison of the new algorithm to the previous work. It shows that new search program is up to four orders of magnitude faster than the one used to determine the minimum number of associative triples among quasigroups of order seven.