Galois group
만약 formula_1가 갈루아 확대일 경우, 그 자기 동형군을 갈루아 군 formula_8이라고 한다.