跳到主要内容

这两个代数结构之间存在一个同态映射。

There is a homomorphism between these two algebraic structures.