保持运算的单射。

嵌入(Embedding) 是一种将一个群或集合中的元素映射到另一个群或集合中的方法,保持了原始结构运算的性质。在群论中,嵌入通常是一个单射,并将群的运算保持不变。具体来说,对于群 ,一个嵌入是一个映射 ,满足以下条件:

  1. 单射:对于任意 ,如果 ,则
  2. 保持运算:对于任意 ,其中 分别表示群 的运算。