Create group_theory.md