Galois group
formula_86가 formula_83에서 파생되는 모든 소 아이디얼들을 포함하는 유한 집합이라면, formula_86에 대하여 서로소인 분수 아이디얼들의 아벨 군 formula_89에서 갈루아 군 formula_90으로 가는 다음과 같은 군 준동형이 존재하며, 이를 아르틴 사상()이라고 한다.