이 부분에서는 언어와 첫 정의들을 세운다. 이 부분을 마치면 군 공리를 진술하고, 표준적인 예에서 그것을 검증하며, 두 구조가 이름표를 바꾸는 정도의 차이만 두고 “동일한지” 알아볼 수 있게 된다.
차례
- Introduction and Examples — 연산이 주어진 집합; 첫 예와 반례.
- Binary Operations — 닫힘, 결합법칙, 항등원, 역원을 독립적인 공리로.
- Isomorphic Binary Structures — 구조를 보존하는 전단사와 그것이 보존하는 것.
- Groups — 핵심 정의와 가환인 경우.