Let , and let denote the set of integer values of its group determinant. We determine by classifying the values divisible by ; the coprime values are already known. Every nonzero divisible value has valuation at least , and every multiple of occurs. At valuations and , we give necessary and sufficient conditions on the cofactor in terms of two additive invariants of ideals in . The first condition is a bounded signed sum of prime-ideal invariants. The second requires a prime ideal with nonzero invariant pair whose norm divides the cofactor. Neither cofactor set is a union of congruence classes modulo any positive integer. The least positive divisible value is , and the least positive value of valuation is . The proof combines integral reconstruction from character values with a calculation of the global-unit image modulo . We conclude by identifying the additional local conditions and realization problems that arise at primes at least .

生成讲解博客的中文版本

生成AI智能校验的中文版本