Abstract:We prove that the ratio $\varrho(n)=\phi(n)/2^{\omega(n)}$ of surjective group to ring homomorphism counts between finite cyclic rings admits three simultaneous interpretations that have not previously been connected. It equals the order of the group of squares in $(\mathbb Z/n \mathbb Z)^*$, the degree $[\mathbb Q(\zeta_n):K_n]$ of the $n$-th cyclotomic field over its maximal biquadratic subfield, and a product determined by the nonzero quadratic residue counts in the odd prime-power components of $n$, equal to that product when $n$ is odd or $4\mid n$, and half that product when $n\equiv2\pmod{4}$ and $n\notin \mathscr{E}$. Divisibility of this ratio fails precisely when the odd part of~$n$ is composed entirely of Gaussian primes, and the exception set satisfies $|\mathscr{E}\cap[2,x]|\sim Cx/\sqrt{\log x}$ with explicit constant $C\approx0.279$. The cyclotomic interpretation is new and yields, in particular, an algebraic proof that $[\mathbb Q(\zeta_n):K_n]$ is always an integer: this is the tower law applied to a field degree, recovering the divisibility result without any case analysis.
From: Priyabrata Mandal [view email]
[v1]
Thu, 20 Feb 2025 05:06:40 UTC (7 KB)
[v2]
Sun, 21 Sep 2025 10:36:16 UTC (10 KB)
[v3]
Tue, 23 Sep 2025 02:13:57 UTC (10 KB)
[v4]
Sat, 29 Aug 2026 05:28:38 UTC (21 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。