Maximum line-free set geometry in .
Our aim is to demonstrate how the apparatus of groupoid terms (on two variables) might be employed for studying properties of parallelism in the so called -quasigroups. We show that an incidence structure associated with a medial quasigroup of type , , is either an affine space of dimension at least three, or a desarguesian plane. Conversely, if we start either with an affine space of order and dimension , or with a desarguesian affine plane of order then there is a medial quasigroup of...
Suppose that and are partial latin squares of order , with the property that each row and each column of contains the same set of entries as the corresponding row or column of . In addition, suppose that each cell in contains an entry if and only if the corresponding cell in contains an entry, and these entries (if they exist) are different. Then the pair forms a latin bitrade. The size of is the total number of filled cells in (equivalently ). The latin bitrade is minimal if...
A construction of minimum cycle bases of the lexicographic product of graphs is presented. Moreover, the length of a longest cycle of a minimal cycle basis is determined.
We prove that the complement of a toric arrangement has the homotopy type of a minimal CW-complex. As a corollary we deduce that the integer cohomology of these spaces is torsionfree. We apply discrete Morse theory to the toric Salvetti complex, providing a sequence of cellular collapses that leads to a minimal complex.