arXiv++ Combinatorics

Centraliser algebras of monomial representations of finite groups may be constructed and studied using methods similar to those employed in the study of permutation groups. Guided by results of D. G. Higman and others, we give an explicit construction for a basis of the centraliser algebra of a monomial representation. The character table of this algebra is then constructed via character sums over double cosets. We locate the theory of group-developed and cocyclic-developed Hadamard matrices within this framework. We apply Gröbner bases to produce a new classification of highly symmetric complex Hadamard matrices.

Given a finite group $G$ acting on a set $X$ let $δ_k(G,X)$ denote the proportion of elements in $G$ that have exactly $k$ fixed points in $X$. Let $\mathrm{S}_n$ denote the symmetric group acting on $[n]=\{1,2,\dots,n\}$. For $A\le\mathrm{S}_m$ and $B\le\mathrm{S}_n$, the permutational wreath product $A\wr B$ has two natural actions and we give formulas for both, $δ_k(A\wr B,[m]{\times}[n])$ and $δ_k(A\wr B,[m]^{[n]})$. We prove that for $k=0$ the values of these proportions are dense in the intervals $[δ_0(B,[n]),1]$ and $[δ_0(A,[m]),1]$. Among further result, we provide estimates for $δ_0(G,[m]^{[n]})$ for subgroups $G\leq \mathrm{S}_m\wr\mathrm{S}_n$ containing $\mathrm{A}_m^{[n]}$.

Cocyclic Hadamard matrices (CHMs) were introduced by de Launey and Horadam as a class of Hadamard matrices with interesting algebraic properties. Ó Catháin and Röder described a classification algorithm for CHMs of order $4n$ based on relative difference sets in groups of order $8n$; this led to the classification of all CHMs of order at most 36. Based on work of de Launey and Flannery, we describe a classification algorithm for CHMs of order $4p$ with $p$ a prime; we prove refined structure results and provide a classification for $p \leqslant 13$. Our analysis shows that every CHM of order $4p$ with $p\equiv 1\bmod 4$ is equivalent to a Hadamard matrix with one of five distinct block structures, including Williamson type and (transposed) Ito matrices. If $p\equiv 3 \bmod 4$, then every CHM of order $4p$ is equivalent to a Williamson type or (transposed) Ito matrix.

Suppose that $Y_1,Y_2,Y_3$ are finite sets and $P\subseteq Y_1\times Y_2\times Y_3$. We say that $P$ embeds in a group $G$ if there exist injective maps $φ_i\colon Y_i\rightarrow G$ for $i=1,2,3$ such that $φ_1(y_1)φ_2(y_2)=φ_3(y_3)$ for each $(y_1,y_2,y_3)\in P$. Hirsch and Jackson asked for the cardinality of the smallest $P$ that embeds in some infinite group but not into any finite group. We prove that the answer to their question is 12. Moreover, we show that there are 50 examples of cardinality 12, up to equivalence, and each of them embeds in the (infinite) Baumslag group $G=\langle a,b \mid b=[b,b^a]\rangle$. Our proof uses computations to answer questions about finitely presented groups which are known to be algorithmically undecidable in general.