ガロア拡大
Let "L"⁄"K" be a Galois extension of global fields and "C""L" stand for the idèle class group