mention homotopy groups in the section on groups