부분군

요약 대수학용어.

군 G의 공집합이 아닌 부분집합 H가 G 중 정의된 곱에 관하여 또 군을 이룰 때, 부분집합 H를 부분군이라고 한다. 군 G의 단위원만으로 이루어진 부분집합은 하나의 부분군을 이루는데, 이것을 단위군이라고 한다. 또, 군 G 자신도 하나의 부분군으로 생각할 수 있다. 단위군과 그 자신 이외의 부분군을 진부분군이라 한다.