추상대수학에서, 군은 결합 법칙과 항등원과 각 원소의 역원을 가지는 이항 연산을 갖춘 대수 구조이다.
In matematica un gruppo è una struttura algebrica formata dall'abbinamento di un insieme non vuoto con un'operazione binaria interna, che soddisfa gli assiomi di associatività, di esistenza dell'elemento neutro e di esistenza dell'inverso di ogni elemento.