The integer group determinants for $Q_{16}$
We obtain a complete description of the integer group determinants for $Q_{16},$ the dicyclic or generalized quaternion group of order 16.
arXiv subjects
Publications and source records attributed to Christopher Pinner.
We obtain a complete description of the integer group determinants for $Q_{16},$ the dicyclic or generalized quaternion group of order 16.
Let $\mathbb Z_n$ denote the cyclic group of order $n$. We show how the group determinant for $G= \mathbb Z_n \times H$ can be simply written in terms of the group determinant for $H$. We use this to get a complete description of the integer group determinants for $\mathbb Z_2 \times D_8$ where $D_8$ is the dihedral group of order 8, and $\mathbb Z_2 \times Q_8$ where $Q_8$ is the quaternion group of order 8.
Newman showed that for primes $p\geq 5$ an integral circulant determinant of prime power order $p^t$ cannot take the value $p^{t+1}$ once $t\geq 2.$ We show that many other values are also excluded. In particular, we show that $p^{2t}$ is the smallest power of $p$ attained for any $t\geq 3$, $p\geq 3.$ We demonstrate the complexity involved by giving a complete description of the $25\times 25$ and $27\times 27$ integral circulant determinants. The former case involves a partition of the primes that are $1\bmod5$ into two sets, Tanner's \textit{perissads} and \textit{artiads}, which were later characterized by E. Lehmer.
We establish a congruence satisfied by the integer group determinants for the non-abelian Heisenberg group of order $p^3$. We characterize all determinant values coprime to $p$, give sharp divisibility conditions for multiples of $p$, and determine all values when $p=3$. We also provide new sharp conditions on the power of $p$ dividing the group determinants for $\mathbb Z_p^2$. For a finite group, the integer group determinants can be understood as corresponding to Lind's generalization of the Mahler measure. We speculate on the Lind-Mahler measure for the discrete Heisenberg group and for two other infinite non-abelian groups arising from symmetries of the plane and 3-space.
For the symmetric group $S_4$ we determine all the integer values taken by its group determinant when the matrix entries are integers.
For every group of order at most 14 we determine the values taken by its group determinant when its variables are integers.
We show that the minimal positive logarithmic Lind-Mahler measure for a group of the form $G=\mathbb Z_2^r\times\mathbb Z_4^s$ with $|G|\geq 4$ is $\frac{1}{|G|} \log (|G|-1).$ We also show that for $G=\mathbb Z_2 \times \mathbb Z_{2^n}$ with $n\geq 3$ this value is $\frac{1}{|G|} \log 9.$ Previously the minimal measure was only known for $2$-groups of the form $\mathbb Z_2^k$ or $\mathbb Z_{2^k}.$
We find the minimal non-trivial integer variable group determinant for any dihedral group of order less than $3.79\times 10^{47}$. We think of this as the Lind-Lehmer problem for the dihedral group. We give a complete description of the determinants for some dihedral groups including $D_{2p}$ and $D_{4p}$.
We show that the binomial and related multiplicative character sums $$ \sum_{\stackrel{x=1}{(x,p)=1}}^{p^m} \chi (x^l(Ax^k +B)^w),\hspace{3ex} \sum_{x=1}^{p^m} \chi_1 (x)\chi_2(Ax^k +B), $$ have a simple evaluation for large enough $m$ (for $m\geq 2$ if $p\nmid ABk$).
We show that for any mod $p^m$ characters, $\chi_1, \dots, \chi_k,$ the Jacobi sum, $$ \sum_{x_1=1}^{p^m}\dots \sum_{\substack{x_k=1\\x_1+\dots+x_k=B}}^{p^m}\chi_1(x_1)\dots \chi_k(x_k), $$ has a simple evaluation when $m$ is sufficiently large (for $m\geq 2$ if $p\nmid B$). As part of the proof we give a simple evaluation of the mod $p^m$ Gauss sums when $m\geq 2$.