|
|
Designs and their algebraic theory
Kozlík, Andrew
It is well known that for any Steiner triple system (STS) one can define a binary operation · upon its base set by assigning x·x = x for all x and x·y = z, where z is the third point in the block containing the pair {x, y}. The same can be done for Mendelsohn triple systems (MTS), directed triple systems (DTS) as well as hybrid triple systems (HTS), where (x, y) is considered to be ordered. In the case of STSs and MTSs the operation yields a quasigroup, however this is not necessarily the case for DTSs and HTSs. A DTS or an HTS which induces a quasigroup is said to be Latin. The quasigroups associated with STSs and MTSs satisfy the flexible law x · (y · x) = (x · y) · x but those associated with Latin DTSs and Latin HTSs need not. A DTS or an HTS is said to be pure if when considered as a twofold triple system it contains no repeated blocks. This thesis focuses on the study of Latin DTSs and Latin HTSs, in particular it aims to examine flexibility, purity and other related properties in these systems. Latin DTSs and Latin HTSs which admit a cyclic or a rotational automorphism are also studied. The existence spectra of these systems are proved and enumeration results are presented. A smaller part of the thesis is then devoted to examining the size of the centre of a Steiner loop and the connection to...
|
|
|
Steiner coloring of cubic graphs
Tlustá, Stanislava ; Fiala, Jiří (advisor) ; Šámal, Robert (referee)
This thesis is dedicated to the coloring of cubic graphs. It summarizes the knowledge we have about so called Steiner coloring, which is an edge-coloring such that the colors incident with one vertex form a triple of some partial Steiner system. The main objects of interest are the projective and affine systems. Afterwards the sufficient condition for universality of the system is stated and it is observed, that all other transitive Steiner triple systems satisfy it. This thesis also contains methods of construction of the coloring for the Fano plane, for the affine system Z3 3 and for the universal system created as a product of the Fano plane and the trivial system (F7 S⊠ 3). Finally an algorithm usable for the rest of the systems and graphs with bounded treewidth is presented.
|
|
|
Designs and their algebraic theory
Kozlík, Andrew ; Drápal, Aleš (advisor) ; Donovan, Diane (referee) ; Lindner, Charles Curtis (referee)
It is well known that for any Steiner triple system (STS) one can define a binary operation · upon its base set by assigning x·x = x for all x and x·y = z, where z is the third point in the block containing the pair {x, y}. The same can be done for Mendelsohn triple systems (MTS), directed triple systems (DTS) as well as hybrid triple systems (HTS), where (x, y) is considered to be ordered. In the case of STSs and MTSs the operation yields a quasigroup, however this is not necessarily the case for DTSs and HTSs. A DTS or an HTS which induces a quasigroup is said to be Latin. The quasigroups associated with STSs and MTSs satisfy the flexible law x · (y · x) = (x · y) · x but those associated with Latin DTSs and Latin HTSs need not. A DTS or an HTS is said to be pure if when considered as a twofold triple system it contains no repeated blocks. This thesis focuses on the study of Latin DTSs and Latin HTSs, in particular it aims to examine flexibility, purity and other related properties in these systems. Latin DTSs and Latin HTSs which admit a cyclic or a rotational automorphism are also studied. The existence spectra of these systems are proved and enumeration results are presented. A smaller part of the thesis is then devoted to examining the size of the centre of a Steiner loop and the connection to...
|
|
|
Designs and their algebraic theory
Kozlík, Andrew
It is well known that for any Steiner triple system (STS) one can define a binary operation · upon its base set by assigning x·x = x for all x and x·y = z, where z is the third point in the block containing the pair {x, y}. The same can be done for Mendelsohn triple systems (MTS), directed triple systems (DTS) as well as hybrid triple systems (HTS), where (x, y) is considered to be ordered. In the case of STSs and MTSs the operation yields a quasigroup, however this is not necessarily the case for DTSs and HTSs. A DTS or an HTS which induces a quasigroup is said to be Latin. The quasigroups associated with STSs and MTSs satisfy the flexible law x · (y · x) = (x · y) · x but those associated with Latin DTSs and Latin HTSs need not. A DTS or an HTS is said to be pure if when considered as a twofold triple system it contains no repeated blocks. This thesis focuses on the study of Latin DTSs and Latin HTSs, in particular it aims to examine flexibility, purity and other related properties in these systems. Latin DTSs and Latin HTSs which admit a cyclic or a rotational automorphism are also studied. The existence spectra of these systems are proved and enumeration results are presented. A smaller part of the thesis is then devoted to examining the size of the centre of a Steiner loop and the connection to...
|
guest ::
