If f is a homomorphism of a GADL L with 0 into another GADL L′ with 0′ such that Kerf = {0} and f is onto, then f need not be an isomorphism. It may be seen in the following example.
If f is a homomorphism of a GADL L with 0 into another GADL L′ with 0′ such that Kerf = {0} and f is onto, then f need not be an isomorphism. It may be seen in the following example.