Advanced Search

A trilinear alternating form on dimension $n$ can be defined based on a Steiner triple system of order $n$. We prove some basic properties of these forms and using the radical polynomial we show that for dimensions up to $15$ nonisomorphic Steiner triple systems provide nonequivalent forms over $GF\left(2\right)$. Finally, we prove that Steiner triple systems of order $n$ with different number of subsystems of order $(n-1)/2$ yield nonequivalent forms over $GF\left(2\right)$.

A loop of order $n$ possesses at least $3n^2-3n+1$ associative triples. However, no loop of order $n>1$ that achieves this bound seems to be known. If the loop is involutory, then it possesses at least $3n^2-2n$ associative triples. Involutory loops with $3n^2-2n$ associative triples can be obtained by prolongation of certain maximally nonassociative quasigroups whenever $n-1$ is a prime greater than or equal to $13$ or $n-1=p^{2k}$, $p$ an odd prime. For orders $n\le 9$ the minimum number of associative triples is reported for both general and involutory...