군은 추상대수학의 가장 기본적인 개념으로, 특정 규칙들을 만족하는 집합과 그 집합에 정의된 연산의 조합을 말합니다. 어떤 집합 G와 그 위의 이항 연산(예: 덧셈 '+' 또는 곱셈 '×')이 '그룹'이 되려면 다음 네 가지 기본 조건(공리)을 반드시 만족해야 합니다.군의 4가지 조건 (Group Axioms)어떤 집합 G와 연산 '*'에 대해, 집합 안의 임의의 원소 a, b, c가 다음 규칙을 만족할 때 (G, *)를 군이라고 부릅니다.1. 연산에 대해 닫혀 있다 (Closure)a * b는 반드시 집합 G의 원소이다.집합 안의 어떤 두 원소를 가져와 연산해도 그 결과는 항상 그 집합 안에 있어야 합니다. 예를 들어, 두 정수를 더하면 항상 정수가 되므로, 정수 집합은 덧셈에 대해 닫혀 있습니다.2...