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

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

== 定义 ==

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

== 定理 ==

对群 <math>G, G'</math> 以及同态 <math>\varphi: G \to G'</math> ，以下条件等价：
* <math>\varphi</math> 是集合上的单射、是群上的单同态。
* <math>\varphi</math> 是群范畴中的单态射。
* [[同态核]]只含[[幺元]]，即 <math>\ker\varphi=\{e_G\}</math> 。


{{群论}}