定义 同态

自然语言

群同态

给定群 $(G,\ast_G)$ 和群 $(H,\ast_H)$
给定映射 $f : G \to H$
若 $\forall x,y \in G$ 成立

$$ \bbox[5pt]{ f(x \ast_G y) = f(x) \ast_H f(y) } $$

则称映射 $f : G \to H$ 为同态