Polished group theory section