環 環の準同型写像
２つの環 R,R^\primeに対して, 写像 f\colon R \to R^\primeが任意のx, y\in Rと単位元 1\in R, 1^\prime\in R^\primeに対して f(xy)=f(x)f(y), f(x+y)=f(x)+f(y), f(1)=1^\primeを満たすとき, fをR,\ R^\prime間の環準同型写像(ring homomorphism)または単に準同型写像(homomorphism)という.
homomorphism
環 
群 群の準同型写像
２つの群 G,G^\prime に対して, その間の写像が準同型写像(homomorphism)であるとは, 積を保つ写像であることを言う. その写像が全単射であるとき, GとG^\prime は同型であるという.
半環 半環準同型
２つの半環の間の写像が半環準同型(semiring homomorphism)であるとは、その写像が和と積それぞれについてモノイド準同型であることをいう。特に全単射であるとき半環同型(semiring isomorphism)という。
数学 モノイド準同型
２つのモノイド間の写像がモノイド準同型であるとは「積を保つ」「単位元を単位元に移す」という条件を満たすものをいう.
数学 半群準同型
二つの半群の演算を保つ写像を用いて、半群の構造や性質を調べられます。演算を保つ写像のことを準同型写像といい、代数的構造を考える際にはよく出てきます。
数学 マグマの定義と基本概念
もっとも素朴な代数的構造で広い概念であるマグマについて紹介します。集合 Mに対して, その上の二項演算 \muが定められているとき, 組 (M, \mu) をマグマ(magma)という.