抽象代数における核心研究対象(代数構造と準同型)