부분군

부분군 (部分群, subgroup)은 어떤 군(群, group)의 부분 집합으로서, 그 스스로가 다시 원래의 군과 동일한 연산에 대해 군이 되는 대상을 뜻한다.