Galois extension
ガロア拡大 "L" / "K" に対して、乗法群 "L"* をガロア群 "G" = Gal("L" / "K") 上の加群と見なすとノルム写像 "N""G" は拡大のノルム "N""L"/"K" となる。