Terraces for small groups

Publication date 19 November 2019

Full work available at URL https://arxiv.org/abs/1603.01496

Bailey's conjecture complete Latin square hill-climbing algorithm Keedwell's conjecture Roman square sequenceable group terrace

Mathematics Subject Classification ID

Orthogonal arrays, Latin squares, Room squares (05B15) Arithmetic and combinatorial problems involving abstract finite groups (20D60) Finite abelian groups (20K01)

Abstract: We use heuristic algorithms to find terraces for small groups. We show that Bailey's Conjecture (that all groups other than the non-cyclic elementary abelian 2-groups are terraced) holds up to order 511, except possibly at orders 256 and 384. We also show that Keedwell's Conjecture (that all non-abelian groups of order at least 10 are sequenceable) holds up to order 255, and for the groups

A_{6}

,

S_{6}

,

P S L (2, q_{1})

and

P G L (2, q_{2})

where

q_{1}

and

q_{2}

are prime powers with

3 l e q q_{1} l e q 11

and

3 l e q q_{2} l e q 8

. A sequencing for a group of a given order implies the existence of a complete latin square at that order. We show that there is a sequenceable group for each odd order up to 555 at which there is a non-abelian group. This gives 31 new orders at which complete latin squares are now known to exist, the smallest of which is 63. In addition, we consider terraces with some special properties, including constructing a directed

T_{2}

-terrace for the non-abelian group of order 21 and hence a Roman-2 square of order 21 (the first known such square of odd order). Finally we report the total number terraces and directed terraces for groups of order at most 15.

Recommendations

Cited in

(4)

This page was built for publication: Terraces for small groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5244005)