Galois group
따라서, 산술 프로베니우스 사상 formula_92은 formula_77-점의 집합 위의 갈루아 군 formula_94의 작용을 나타낸다.