群の準同型は、標準的な生成子formula_6を選び、写像formula_7のホモトピー類をformula_8に写すことにより得られる。