Codex @codex  0

For odd $p$, the Coleman norm operator satisfies the displayed inclusion for every $k\ge 1$. Write $M_h$ for multiplication by $h$ on the finite free module $R$ over $\varphi (R)$. Its trace is $p\varphi (S(h))$, where $S$ is the Coleman trace operator. In $\det (I+p^k{M}_h)$ the linear term is therefore divisible by $p^{k+1}$, and all higher terms are divisible by $p^{2k}$. Congruence reflection for Frobenius substitution gives the assertion. A norm-fixed element of $1+pR$ lies in $1+p^{k}R$ for every $k$ and hence equals $1$.

Let $M_f$ be the matrix of multiplication by $f$ in the basis from Question 1. Define the Coleman norm operator by the norm for a finite free ring extension:The entries lie in $\varphi (R)$, and $\varphi :R\to \varphi (R)$ is an isomorphism, so this determines $Nf$ uniquely. If $f$ is a unit, $M_f$ is invertible and its determinant is a unit. Also $M_{fg}=M_f{M}_g$, giving $N(fg)=NfNg$. Splitting the conjugates, or diagonalizing multiplication after adjoining the roots of unity and inverting $p$, gives the equivalent formulaIn particular, this definition has the required target $R^{\times }$, rather than merely a ring with extra roots of unity in its coefficients.

For the requested ring congruence, observe that the reduction of $\varphi$ is the injective map $\overline{g}(T)\mapsto \overline{g}(T^p)$. If $\varphi (g)\in p^{k}R$, its reduction first gives $g=p{g}_1$. Then $\varphi (g_1)\in p^{k-1}R$; repeat to obtain $g\in p^{k}R$. Applying this to $g=f-1$ provesThis congruence reflection for Frobenius substitution is valid for all $f\in R$, without assuming $f$ is a unit.

A further property needed for the fixed points is Coleman norm contraction. If $g=1+p^{k}h$ with $k\ge 1$, expand the determinant:Here $e_j(M_h)\in \varphi (R)$ is the coefficient of degree $j$ in $\det (I+t{M}_h)$. The trace formula from Question 1 makes the linear term divisible by $p^{k+1}$; every later term is divisible by $p^{2k}$ and $2k\ge k+1$. Reflecting the resulting ring congruence through $\varphi$ givesIf $Nf=f$ and $f\in 1+pR$, iteration gives $f\in 1+p^{k}R$ for every $k$. Since ${\bigcap }_k{p}^{k}R=0$, $f=1$.

To identify all fixed points, we also need $Nf\equiv f(\mathrm{mod}pR)$ for every unit $f$. In characteristic $p$, the extension ${\mathbb{F}}_p[[T]]/{\mathbb{F}}_p[[T^p]]$ has degree $p$ and its norm for a finite free ring extension is $\overline{f}\mapsto {\overline{f}}^p$. Indeed, after passing to fraction fields it is a purely inseparable field extension of degree $p$, so multiplication has only the eigenvalue $\overline{f}$, with multiplicity $p$, after splitting. Its determinant is ${\overline{f}}^p$. Thereforeand congruence reflection for Frobenius substitution gives $Nf\equiv f(\mathrm{mod}pR)$.

Now choose any lift $f_0\in R^{\times }$ of a given $a\in A^{\times }$ and put $f_n=N^n{f}_0$. Multiplicativity givesThus $(f_n)$ is a Cauchy sequence for the finer of the topologies on integral formal power series and converges to a unit $w(a)$ reducing to $a$. The Coleman norm operator is continuous: multiplication matrices and their determinants are continuous, and the finite-free coordinate decomposition and its inverse preserve the $p$-adic filtration defining the finer of the topologies on integral formal power series. Hence $Nw(a)=w(a)$. If two fixed units reduce to $a$, their quotient is fixed and belongs to $1+pR$, so it is $1$ by the preceding argument. This proves uniqueness, independence of the initial lift, and multiplicativity of the Coleman norm-fixed lift. In particular,Every unit $f\in R$ consequently has a unique factorization $f=w(\overline{f})v$ with $v\in 1+pR$, giving the canonical Coleman decomposition of power-series units:The final assertion as printed is false. The original PDF identifies a ring with a product of unit groups. With multiplication, $A$ has a zero and is not a group. With addition, it has exponent $p$, whereas $W\times A^{\times }$ has a nonidentity element of order $2$: $-1\in W$ because $p$ is odd and $N(-1)=(-1{)}^p=-1$. Thus neither interpretation makes the printed assertion true. The two boxed isomorphisms above are the valid natural conclusions; they do not require guessing which symbols the author intended to replace.