Presentation for image of homomorphism

59 Views Asked by At

Consider rings $E$ and $F$ each with a finite presentation. Consider a homomorphism $\eta : E \rightarrow F$, where $\eta$ is defined on the generators of $E$. How can we find a presentation for the image of $\eta$ if $\eta$ is not surjective?