定义 满同态

自然语言

群满同态

给定群 $(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$ 为同态
又若映射 $f : G \to H$ 为满射，则称映射 $f : G \to H$ 为满同态