실로우 정리(Sylow theorems)는 수학, 특히 유한군론(finite group theory) 분야에서 다루어지는 일련의 정리들이다. 노르웨이의 수학자 페테르 루트비히 실로우(Peter Ludwig Sylow)의 이름을 따서 명명되었으며, 1872년에 발표되었다. 실로우 정리는 주어진 유한군이 특정 위수(order)를 갖는 부분군을 몇 개나 포함하는지에 대한 상세한 정보를 제공한다. 이 정리는 유한군 이론의 핵심적인 부분을 이루며, 유한 단순군의 분류에 중요한 응용을 가진다.
배경 및 동기
라그랑주 정리(Lagrange's theorem)는 유한군 G의 모든 부분군의 위수가 G의 위수를 나눈다는 것을 말한다. 실로우 정리는 이 라그랑주 정리의 부분적 역(partial converse)을 제공한다. 즉, 유한군 G의 위수의 소인수 p에 대하여, 특정 조건을 만족하는 p-부분군이 반드시 존재함을 보장한다. 실로우 정리는 유한군의 위수를 소인수분해하여 그 군의 부분군 구조에 대한 정보를 얻는 방법을 제공한다.
정의
소수 p에 대하여, p-군(p-group)이란 모든 원소의 위수가 p의 거듭제곱인 군을 말한다. 유한군의 경우 이는 군의 크기(위수)가 p의 거듭제곱인 것과 동치이다. 군 G의 실로우 p-부분군(Sylow p-subgroup)은 G의 p-부분군 중에서 더 큰 p-부분군에 포함되지 않는 극대 p-부분군을 의미한다. 주어진 소수 p에 대한 G의 모든 실로우 p-부분군의 집합은 Syl_p(G)로 표기한다.
정리의 내용
실로우 정리는 일반적으로 세 개의 정리로 구성된다. G를 유한군이라 하고, |G| = pⁿm (단, n > 0이고 p는 m을 나누지 않음)이라고 하자.
첫 번째 정리: G의 위수의 소인수 p에 대하여, 위수가 pⁿ인 실로우 p-부분군이 G에 존재한다. 즉, G의 위수를 나누는 p의 최고 거듭제곱을 위수로 갖는 부분군이 존재한다.
두 번째 정리: 주어진 소수 p에 대하여, G의 모든 실로우 p-부분군들은 서로 켤레(conjugate)이다. 즉, H와 K가 G의 실로우 p-부분군이면, g⁻¹Hg = K를 만족하는 원소 g ∈ G가 존재한다.
세 번째 정리: n_p를 G의 실로우 p-부분군의 개수라고 하면, 다음이 성립한다.
- n_p는 m을 나눈다.
- n_p ≡ 1 (mod p)
- n_p = |G : N_G(P)|, 여기서 P는 임의의 실로우 p-부분군이고 N_G(P)는 P의 정규화 부분군(normalizer)이다.
결과 및 응용
실로우 정리의 중요한 결과 중 하나는, n_p = 1인 조건이 해당 실로우 p-부분군이 정규부분군(normal subgroup)이라는 조건과 동치라는 점이다. 이는 유한군의 단순성(simplicity)을 판별하는 데 유용하게 사용된다.
실로우 정리는 위수가 특정 값인 유한군을 분류하는 데 널리 활용된다. 예를 들어, 위수가 15인 모든 군이 순환군(cyclic group)임을 실로우 정리를 통해 증명할 수 있다. 또한 위수가 30인 단순군이 존재하지 않음을 보이는 데에도 사용된다. 가장 작은 비순환 단순군인 교대군 A₅(위수 60)의 분석에도 실로우 정리가 적용된다.
실로우 정리는 윌슨의 정리(Wilson's theorem)의 증명에도 활용될 수 있으며, 번사이드 융합 정리(Burnside's fusion theorem) 등 보다 심화된 결과의 기반이 된다.
무한군으로의 확장
무한군에 대해서도 실로우 정리의 유사 형태가 존재한다. 무한군에서 실로우 p-부분군은 포함 관계에 대해 극대인 p-부분군으로 정의된다. 이 경우, 실로우 p-부분군 K의 켤레류의 개수 n_p가 유한하다면, 모든 실로우 p-부분군이 K에 켤레이며 n_p ≡ 1 (mod p)가 성립한다.
계산적 측면
주어진 군의 실로우 부분군을 찾는 문제는 계산적 군론(computational group theory)의 중요한 문제이다. GAP 및 Magma와 같은 컴퓨터 대수 시스템에는 실로우 부분군을 계산하는 알고리즘이 구현되어 있다. 치환군(permutation group)의 경우, 실로우 p-부분군과 그 정규화 부분군을 다항 시간 내에 찾을 수 있음이 증명되었다.
실로우 정리는 유한군의 구조를 분석하는 가장 기본적이면서도 강력한 도구 중 하나로, 현대 대수학 교육 과정에서 군론의 핵심 내용으로 다루어진다.
