Galois group
국소체 formula_1가 주어지면, 그 최대 아벨 확대 formula_2의 갈루아 군