Galois group
를 정의하자. 그렇다면, 갈루아 군 formula_8은 다음과 같이 유한군들의 역극한으로 나타낼 수 있다.