Cocyclic orthogonal designs and the asymptotic existence of cocyclic Hadamard matrices and maximal size relative difference sets with forbidden subgroup of size 2

摘要

This paper contains a discussion of cocyclic Hadamard matrices, their associated relative difference sets, and regular group actions. Nearly all central extensions of the elementary abelian 2-groups by Z(2) are shown to act regularly on the associated group divisible design of the Sylvester Hadamard matrices. Cocyclic orthogonal designs are then introduced. and the construction and classification questions for cocyclic M-concordant systems of orthogonal designs are addressed. (M-concordance generalises the concepts of amicability and anti-amicability). We give an algebraic procedure for constructing and classifying these designs when each indeterminate is constrained to appear just once in each row and column of the orthogonal designs. This paper also gives a general ( but apparently not comprehensive) method for constructing systems with no zero entries. In particular, we obtain a cocyclic pair of amicable OD( 16; 8, 8). Using this pair of designs, we prove there is a cocyclic Hadamard matrix of order 2(t)s for any odd integer s > 1 and any t greater than or equal to [8 log(2) s]. A consequence of our argument is the theorem. "Let S be any group of odd order s containing k prime order subgroups S-t of S such that (1) for i= 0, .... k - 1, the sets U-i = Si+1S1+2... S-k are subgroups of S, (2) for i = 0, .... k - 1. S-t boolean AND U-t = <1 >, and (3) U-0 = S. Let T be any group of order 2(t+1) containing a central involution = such that (1) T <=> is elementary abelian, and (2) the largest elementary abelian direct factor of T has rank between 4 log(2)s and t - 2 -4 log(2)s. Then there is a normal relative difference set of size 2(t)s with forbidden subgroup <=> in the group Tx S." The condition on S holds for any group of odd square-free order or any direct product of odd order elementary abelian groups. (C) 2001 Academic Press. [References: 17]