On Cocyclic Hadamard Matrices over Goethals-Seidel Loops

Abstract

About twenty-five years ago, Horadam and de Launey introduced the cocyclic development of designs, from which the notion of cocyclic Hadamard matrices developed over a group was readily derived. Much more recently, it has been proved that this notion may naturally be extended to define cocyclic Hadamard matrices developed over a loop. This paper delves into this last topic by introducing the concepts of coboundary, pseudocoboundary and pseudococycle over a quasigroup, and also the notion of the pseudococyclic Hadamard matrix. Furthermore, Goethals-Seidel loops are introduced as a family of Moufang loops so that every Hadamard matrix of Goethals-Seidel type (which is known not to be cocyclically developed over any group) is actually pseudococyclically developed over them. Finally, we also prove that, no matter if they are pseudococyclic matrices, the usual cocyclic Hadamard test is unexpectedly applicable.