exercises for group theory