>>605
正解です!

ちなみにですが
演算のカリー化 M→ Hom(M,M) は
演算の結合性により準同型、
問題の条件により像が群になっていて
この像がG、核(=idの逆像)がRになっています