Gr。群論
範囲外のディメンション([-1、0]の範囲内にあると予想されますが、1になります)
DonuArapuraのコメントを考慮して編集。 JLAが書いたように、準同型$ f Colon G to N $は、拡張 begin {equation} label {e:E} 1 to K toを与えます。