1. binop.md
  2. commutative_group.md
  3. group.md
  4. semigroup.md