I'm studying abstract algebra and I understand the group axioms:
1. **Closure:** $a \cdot b \in G$ for all $a, b \in G$
2. **Associativity:** $(a \cdot b) \cdot c = a \cdot (b \cdot c)$
3. **Identity:** There exists $e \in G$ such that $e \cdot a = a \cdot e = a$
4. **Inverses:** For each $a$, there exists $a^{-1}$ such that $a \cdot a^{-1} = a^{-1} \cdot a = e$