マグマ (数学)
ふたつのマグマ (M, μ), (N, ν) の間の準同型写像(magma morphism/homomorphism)またはマグマ準同型とは写像 f: M → N であって、
f ( μ ( x , y ) ) = ν ( f ( x ) , f ( y ) ) {\displaystyle f(\mu (x,y))=\nu (f(x),f(y))}
なる意味でマグマの二項演算を保つものをいう。マグマ準同型 f: M → N が全単射ならば f の逆写像 f N → M もまたマグマ準同型であり、M と N はマグマとして同じ構造を持つと考えられる。このとき、f(および f)をマグマ同型写像(magma isomorphism)またはマグマ同型と呼び、ふたつのマグマ M と N は互いに同型(isomorphic)であるという。