とをアーベル群(つまり、演算が可換な群)とすると、からへの群準同型全体の成す集合をそれ自身ひとつのアーベル群とすることができる。