The concept of lattice implication homomorphism image, which is proved to be a lattice implication algebra, is introduced.

提出了格蕴涵同态像的概念，证明了格蕴涵同态像是格蕴涵代数；

youdao

This paper proves that the localization of an orthodox semigroup at the semilattice of idempotences exists and is unique which is the maximum group homomorphism image.

本文证明了纯正么半群在其幂等元带上的局部化存在唯一，且证明了它是其最大群同态象。

youdao