準同型
集合 M と M のなかで閉じたひとつの二項演算 α: M × M → M が与えられている代数系 (M, α) をマグマと言う。M の二つの元 x, y に対し、(x, y) の α による像を xαy と記すことにすると、二つのマグマ (M, α), (N, β) の間の準同型 f: M → N とは
f ( x α y ) = f ( x ) β f ( y ) {\displaystyle f(x\alpha y)=f(x)\beta f(y)}
となる写像 f: M → N である。