Principal-unit filtration of a local field
ID: principal-unit-filtration-of-a-local-field
The groups form a compact-open neighbourhood basis at one inside the units of a non-Archimedean local field. A smooth character trivial on but nontrivial on cannot have a nonzero fixed vector under for . This elementary conductor comparison controls admissibility and smooth duals of direct sums.
New to topics? Read the docs here!