The integer group determinants for the symmetric group of degree four

Christopher Pinner

DOI: https://doi.org/10.48550/arXiv.1806.10239

2018-06-27

Abstract:For the symmetric group $S_4$ we determine all the integer values taken by its group determinant when the matrix entries are integers.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to determine all the integer values taken by the integral group determinant of the symmetric group \(S_4\). Specifically, the author aims to completely determine the set \(S(S_4)\) of all integer values that the group determinant of the symmetric group \(S_4\) can take when the matrix elements are integers.

### Problem Background

For any finite group \(G = \{g_1,\ldots,g_n\}\), by assigning variables \(x_g\) to each group element \(g\in G\), the group determinant \(D_G(x_{g_1},\ldots,x_{g_n})\) can be defined as the determinant of an \(n\times n\) group matrix, where the \(ij\)-th element is \(x_{g_i g_j^{-1}}\). Obviously, \(D_G(x_{g_1},\ldots,x_{g_n})\) is a homogeneous polynomial of degree \(n\) in \(x_g\).

For the cyclic group \(Z_n\), this problem is equivalent to determining all the integer values that an \(n\times n\) cyclic matrix can take when the matrix elements are integers. Olga Taussky - Todd proposed a classical problem: which integers can be the determinant values of an \(n\times n\) cyclic matrix when the matrix elements are integers?

### Paper Objectives

The objective of this paper is to show that \(S_4\) is a rare case where \(S(G)\) can be completely determined. Specifically, the author hopes to find all possible integers \(m\) such that \(m\in S(S_4)\).

### Main Results

According to Theorem 1.1 in the paper:

- For odd determinants, the conditions \(m\equiv 1\pmod{4}\) and \(3\nmid m\) or \(3^3\mid m\) are satisfied.
- For even determinants, they are in the following forms:
- \(2^8m\), where \(m\equiv 1\pmod{4}\)
- \(2^{10}m\), where \(m\equiv - 1\pmod{4}\)
- \(2^{12}m\), where \(m\) satisfies \(3\nmid m\) or \(3^3\mid m\)

### Conclusion

Through detailed calculations and analyses, the author has proved that the integers under these conditions do indeed cover all possible integer group determinant values of \(S_4\), and these values cannot be further extended. This result provides a complete description for understanding the properties of the integer group determinant of the symmetric group \(S_4\).