Partitioning 3-homogeneous latin bitrades

A latin bitrade $(T^{\diamond}, T^{\otimes})$ is a pair of partial latin squares which defines the difference between two arbitrary latin squares $L^{\diamond} \supseteq T^{\diamond}$ and $L^{\diamond} \supseteq T^{\otimes}$ of the same order. A 3-homogeneous bitrade $(T^{\diamond}, T^{\otimes})$ has three entries in each row, three entries in each column, and each symbol appears three times in $T^{\diamond}$. Cavenagh (2006) showed that any 3-homogeneous bitrade may be partitioned into three transversals. In this paper we provide an independent proof of Cavenagh's result using geometric methods. In doing so we provide a framework for studying bitrades as tessellations of spherical, euclidean or hyperbolic space.Comment: 13 pages, 11 figures, fixed the figures. Geometriae Dedicata, Accepted: 13 February 2008, Published online: 5 March 200

On right conjugacy closed loops of twice prime order

The right conjugacy closed loops of order 2p, where p is an odd prime, are classified up to isomorphism.Comment: Clarified definitions, added some remarks and a tabl

A series of algebras generalizing the octonions and Hurwitz-Radon identity

International audienceWe study non-associative twisted group algebras over (ℤ2)n with cubic twisting functions. We construct a series of algebras that extend the classical algebra of octonions in the same way as the Clifford algebras extend the algebra of quaternions. We study their properties, give several equivalent definitions and prove their uniqueness within some natural assumptions. We then prove a simplicity criterion. We present two applications of the constructed algebras and the developed technique. The first application is a simple explicit formula for the following famous square identity: (a21+⋯+a2N)(b21+⋯+b2ρ(N))=c21+⋯+c2N , where c k are bilinear functions of the a i and b j and where ρ(N) is the Hurwitz-Radon function. The second application is the relation to Moufang loops and, in particular, to the code loops. To illustrate this relation, we provide an explicit coordinate formula for the factor set of the Parker loop