This paper proves that the localization of an orthodox semigroup at the semilattice of idempotences exists and is unique which is the maximum grouphomomorphism image.
本文证明了纯正么半群在其幂等元带上的局部化存在唯一，且证明了它是其最大群同态象。
2
The fundamental homomorphism theorem is very important consequence in group theory, by using it we can resolve many problems.