수학에서 군(群)이란 어떠한 이항연산자에 의해 아래의 정의를 만족하는 집합이다.
연산 가 정의된 공집합이 아닌 집합 G에 대해 다음 조건을 만족하면, G를 군이라고 한다.
단, .
분류: 군론