가해군

가해군(solvable group)은 정규 부분군(normal subgroup)의 사슬을 통해 아벨 부분(abelian piece)들로 구성될 수 있는 군으로, 이는 다항 방정식이 거듭제곱근(radical)으로 풀릴 수 있는지 여부를 결정하는 구조적 속성입니다.

Definition

군(group)은 연속적인 몫군(quotient group)들이 모두 아벨군(abelian group)인 유한 부분정규열을 가질 때 가해군이라고 하며, 이는 유도열이 자명 부분군(trivial subgroup)에서 끝나는 것과 동등합니다.

Scope

이 주제는 유도열(derived series)과 교환자 부분군(commutator subgroup), 아벨 인자(abelian factor)를 갖는 부분정규열(subnormal series), 가해성의 다양한 정의들의 동등성, 더 강력한 조건으로서의 멱영군(nilpotent group), 그리고 갈루아 이론(Galois theory)에서 가해군의 역할에 대해 다룹니다.

Core questions

• 아벨 층(abelian layer)들로부터 군을 구성한다는 것은 무엇을 의미합니까?
• 유도열과 부분정규열은 가해성을 어떻게 특징짓습니까?
• 어떤 표준 군족(family of groups)이 가해군이고, 어떤 군족이 가해군이 아닙니까?
• 가해성이 거듭제곱근으로 방정식을 푸는 데 결정적인 조건인 이유는 무엇입니까?

Key theories

유도열 특성화

군은 교환자 부분군을 반복하여 얻어지는 유도열이 유한 단계 내에 자명군에 도달할 때 정확히 가해군입니다.

가해군의 닫힘 속성

가해군의 부분군과 몫군은 가해군이며, 가해군의 가해군에 의한 확대(extension)는 가해군이므로, 가해성은 표준 구조적 연산 하에서 보존됩니다.

가해성과 거듭제곱근

표수(characteristic)가 0인 체(field) 위의 다항식은 그 갈루아군이 가해군일 때 그리고 그 때에만 거듭제곱근으로 풀릴 수 있으며, 이는 일반 5차 방정식이 거듭제곱근으로 풀릴 수 없음을 증명하는 기준입니다.

Clinical relevance

가해군은 방정식 이론에서 정확한 장애물입니다. 갈루아의 기준은 군의 가해성을 다항식의 거듭제곱근에 의한 가해성과 연결합니다. 이 개념은 유한군 이론도 체계화하는데, Feit-Thompson 정리는 홀수 차수의 모든 군이 가해군임을 보여줍니다.

History

이 개념은 갈루아가 어떤 방정식이 거듭제곱근으로 풀릴 수 있는지 연구하면서 생겨났는데, 여기서 '가해(solvable)'는 원래 방정식을 지칭했습니다. 해당 군론적 속성은 그 이름을 유지했습니다. 1963년의 Feit-Thompson 정리는 홀수 차수의 모든 군이 가해군이라는 것으로, 유한 단순군(finite simple group) 분류의 중요한 이정표였습니다.

Key figures

• Évariste Galois
• Walter Feit
• John G. Thompson

Seminal works

• dummit2004
• rotman1995
• isaacs2008

Frequently asked questions

가해군과 멱영군의 차이점은 무엇입니까?

멱영군은 중심열(central series)을 가지며 엄격히 더 작은 부류를 형성합니다. 모든 멱영군은 가해군이지만 그 역은 성립하지 않습니다. 유한 멱영군은 정확히 그 실로우 부분군(Sylow subgroup)들의 직접곱입니다.

5개 문자에 대한 대칭군이 가해군이 아닌 이유는 무엇입니까?

그 유도열은 자명하지 않은 5개 문자에 대한 교대군(alternating group)에서 안정화되는데, 이 교대군은 단순군(simple group)이며 비아벨군(non-abelian group)이므로, 이 열은 결코 자명 부분군에 도달하지 않습니다. 이러한 비가해성 때문에 일반 5차 방정식에는 거듭제곱근 공식이 없습니다.