The group determinant is a classical algebraic object constructed from a finite group. You arrange variables indexed by group elements into a matrix, where the entry in row g and column h is the variable associated with the group element g times h inverse. The determinant of this matrix is a polynomial, and the group determinant of a specific group is what you get when you plug integers into those variables. The central question, called the Taussky-Todd problem, asks: which integers can actually appear as values of this determinant? This paper focuses on the group formed by pairs of integers modulo 5, which has 25 elements and is called the elementary abelian group of order 25.
Earlier research had already figured out which integer values were possible when the result was not divisible by 5, and had shown that any value divisible by 5 must actually be divisible by 5 raised to the 8th power, which is 390,625. What was missing was the other direction: can every multiple of 5 to the 8th power actually be achieved? This paper proves that yes, every such multiple is achievable. The key tools are a general theoretical criterion called a shift criterion, plus three cleverly constructed explicit polynomials that produce the values 5 to the 8th, twice 5 to the 8th, and 5 to the 9th as their group determinants. From those building blocks, all other required multiples can be reached.
Putting everything together, the complete set of achievable integer group determinants for this group is now known: it consists of integers that are either congruent to plus or minus 1 or plus or minus 7 modulo 25, together with all multiples of 390,625. Combined with a previously known result for the cyclic group of order 25, this finishes off the Taussky-Todd problem for every group of order 25, closing a chapter on a problem that had been open for groups of this size.