The integer group determinants for the semidihedral group of order 16

Humberto Bautista Serrano,Bishnu Paudel,Chris Pinner
2023-04-10
Abstract:We obtain a complete description of the integer group determinants for SmallGroup(16,8), the semidihedral group of order 16. While this paper was in preparation, a complete descriptions for this group was independently obtained by Yuka Yamaguchi and Naoya Yamaguchi in [21] (and the other remaining group of order 16 in [20]). We offer our version here for anyone interested in a slightly different approach.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine the integer group determinants of the semidihedral group \(SD_{16}\). Specifically, the authors aim to fully describe the integer values that the group determinant can take when the coefficients of the group elements are all integers. This problem was first proposed by Olga Taussky - Todd at the American Mathematical Society meeting in 1977. ### Problem Background For a given finite group \(G\), its integer group determinant \(D_G\) is defined as: \[D_G\left(\sum_{g\in G}a_g g\right): = \det(a_{gh^{-1}})\] where \(a_g\) are integers, and \(g, h\in G\). This problem is of great significance in mathematics, especially in the fields of representation theory and algebraic number theory. ### Research Progress Before this, there have been many research works dedicated to determining the integer group determinants of different groups. For example, the integer group determinants of all groups with order not exceeding 15, as well as 12 abelian groups and 7 non - abelian groups among the 14 groups of order 16 have been fully described. ### Paper Contribution The main contribution of this paper is to first fully describe the integer group determinant of the semidihedral group \(SD_{16}\) of order 16. The specific results are as follows: - **Even Integer Group Determinants**: All even integer group determinants are exactly multiples of \(2^{10}\). - **Odd Integer Group Determinants**: Odd integer group determinants include integers \(n\) satisfying \(n\equiv1\pmod{8}\), and integers of the form \(n = mp^2\), where \(m\equiv5\pmod{8}\) and \(p\) is a prime number with \(p\equiv3\pmod{8}\). In addition, the authors also provide a method different from Yuka Yamaguchi and Naoya Yamaguchi to calculate these determinants, and the latter also independently completed similar research. ### Derivation of Formulas In order to calculate the integer group determinant of the semidihedral group \(SD_{16}\), the authors use the Frobenius formula: \[D_G\left(\sum_{g\in G}a_g g\right)=\prod_{\rho\in\hat{G}}\det\left(\sum_{g\in G}a_g\rho(g)\right)^{\deg\rho}\] where \(\hat{G}\) represents a set of non - isomorphic irreducible representations of the group \(G\). Through specific group representation theory and complex root calculations, the authors obtain the determinant expression of \(SD_{16}\) and verify the above results. ### Summary This paper solves the problem of fully describing the integer group determinant of the semidihedral group \(SD_{16}\) of order 16, fills this gap in this field, and provides an important reference for subsequent research.