Elementary detection at a fixed element

Put $A=\mathbb{Z}[{\zeta }_{\mathrm{\mid }G\mathrm{\mid }}]$. For $r\in R$, choose a Sylow $p$-subgroup $P_r$ of $C_G(r)$ and set $H_r=⟨r⟩\times P_r$. On $⟨r⟩$ the delta function ${\chi }_r(c)=\mathrm{\mid }⟨r⟩\mathrm{\mid }{\delta }_{c,r}$ lies in $AR(⟨r⟩)$ by Fourier inversion on this cyclic group. Inflate it across $P_r$ to ${\psi }_r\in AR(H_r)$ and form the following sum.

This lies in the $A$-scalar extension of $I_{{\mathcal{E}}_p}(G)$. Each ${\psi }_r$ is integer-valued, so the induction formula makes every value of $\psi$ rational. On the other hand $\psi$ is an $A$-linear combination of characters, hence all its values are algebraic integers. A rational algebraic integer is an integer, so $\psi$ is integer-valued.

If $r_0\in R$, a conjugate of $r_0$ lying in $H_r$ lies in $⟨r⟩$. The definition of ${\chi }_r$ and [F1] therefore give the following value.

Thus $\psi (r_0)$ is an integer prime to $p$. For arbitrary $g$, its $p^{\mathrm{\prime }}$-part is conjugate to some $r_0\in R$, so [F2] shows that $\psi (g)\equiv \psi (r_0)\equiv ̸0(\mathrm{m}\mathrm{o}\mathrm{d}p)$.

Assume first that $n\ge 1$ and put $e=p^{n-1}(p-1)$. Euler's congruence gives $\psi (g{)}^e\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{p}^n)$ for every $g$. Hence the integer-valued class function $l({\psi }^e-1_G)$ is pointwise divisible by $\mathrm{\mid }G\mathrm{\mid }$. The cyclic-generator identity The generator-indicator class function of a cyclic group is obtained by Mobius inversion, followed by the projection formula, shows that $\mathrm{\mid }G\mathrm{\mid }$ times any integer-valued class function belongs to the $A$-span of inductions from cyclic subgroups. Those subgroups are $p$-elementary, so $l({\psi }^e-1_G)$ lies in the $A$-scalar extension of $I_{{\mathcal{E}}_p}(G)$. The same is true of $l{\psi }^e$ by [F3] and step 1.1. Subtraction puts $l{1}_G$ in that scalar extension.

The cyclotomic ring $A$ is a finite free $\mathbb{Z}$-module and $A\mathrm{/}\mathbb{Z}$ is torsion-free, so choose a $\mathbb{Z}$-basis of $A$ containing $1$. Expand the relation from step 5.1 in this basis and take its coefficient of $1$. Since all inducing characters there lie in integral character rings, this yields $l{1}_G\in I_{{\mathcal{E}}_p}(G)$. If $n=0$, then $l=\mathrm{\mid }G\mathrm{\mid }$ and the same integral relation follows directly from the cyclic-generator identity; cyclic subgroups are $p$-elementary in this case. ∎