ポントリャーギン双対
The different is also defined for a finite degree extension of local fields. It plays a basic role in Pontryagin duality for p-adic fields.