generated at
同型写像
全単射な準同型写像のこと
f(xy) = f(x)f(y)