พจนานุกรม

環論や抽象代数学において、環準同型（英: ring homomorphism）は2つの環の間の構造を保つ関数である。 きちんと書くと、R と S が環であれば、環準同型は以下を満たす関数 f : R → S である。 R のすべての元 a と b に対して、f(a + b) = f(a) + f(b)