Norm-compatible sequence of local units

ID: norm-compatible-sequence-of-local-units

Such a sequence satisfies 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.

New to topics? Read the docs here!