개요 군론이란, 연산을 다루기 위해 만들어진 학문으로, 어떤 연산과 그 연산이 행해지는 집합의 순서쌍(정보)를 군이라 하며, 다음 조건을 만족해야 한다. 그 연산에 대한 항등원이 있다. 각 원소에 대해서 왼쪽 역원과 오른쪽 역원이 있으며, 그 둘은 서로 같다. 결합법칙이 성립한다. 여기서 교환법칙의 성립까지 더해지면 특별히 아벨군이라고 부른다.