For instance, say $G = \langle x , y \ | \ x^{12}y=yx^{18} \rangle$. I want to know what is the normal closure of $y$ in $G$.
In general, what are the standard approaches to compute the normal closure of a subset of a finitely presented group? Are there algorithms?