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