Let a Group have a presentation

so that , where is the Free Group with basis and is the Normal Subgroup generated by the . If is a Group with and if for all , then there is a surjective homomorphism with for all .

**References**

Rotman, J. J. *An Introduction to the Theory of Groups, 4th ed.* New York: Springer-Verlag, p. 346, 1995.

© 1996-9

1999-05-26