Pontryagin duality
実際、ここでポントリャーギン双対性を完全に使うと、クロネッカーの定理の全体は、