= Norm-compatible sequence of local units
{title2=$U_\infty=\varprojlim_n U_n$}
= Norm-coherent sequence of local units
{synonym}
= Norm-compatible sequences of local units
{synonym}
Such a sequence $u=(u_n)$ satisfies $N_{n/n-1}u_n=u_{n-1}$ at every successive layer. The <inverse limit> uses the <field norm>, rather than inclusion of <units> from the lower <field>. In a p-power cyclotomic tower a <Coleman power series> interpolates the sequence, and its <Coleman norm operator> fixes the interpolating series.
Back to article page
