The concept of lattice implication homomorphismimage, which is proved to be a lattice implication algebra, is introduced.
提出了格蕴涵同态像的概念,证明了格蕴涵同态像是格蕴涵代数;
2
This paper proves that the localization of an orthodox semigroup at the semilattice of idempotences exists and is unique which is the maximum group homomorphismimage.