查看“︁满同态”︁的源代码

[[分类:群论]]
{{InfoBox
|name=满同态
|eng_name=epimorphism
}}
'''满同态'''('''epimorphism''')指[[群]]之间是[[满射]]的[[群同态]]。

== 定义 ==

满的群同态称为'''满同态'''('''monomorphism''')。

== 定理 ==

对[[交换群]] <math>G, G'</math> 以及同态 <math>\varphi: G \to G'</math> ，以下条件等价：
* <math>\varphi</math> 是集合上的满射、是群上的满同态。
* <math>\varphi</math> 是群范畴中的满态射。
* [[余核]]是平凡子群，即 <math>G/\operatorname{im}\varphi \cong \operatorname{coker}\varphi = \{e_H\}</math> 。


{{群论}}