Establishing a particular isomorphism of groups This is in reference to the question already posted here. Suppose $F$ is the free group on $\{a,b\}$ and $N$ is the normal subgroup generated by $\{b^3, a^7, aba^{-2}b^{-1}\}$ (not the subgroup generated by $\{b^3, a^7, aba^{-2}b^{-1}\}$). I am trying to prove that $F/N$ is isomorphic to the group $A\rtimes_f B$ where $B=\{1,x,x^2\}$ and $A=\{1,a,a^2,\dots,a^6\}$ are cyclic groups, $\phi\in Aut(A)$ is the automorphism $\phi(a^i)=a^{2i}$ and $f$ is the homomorphism $f(x^k)=\phi^k$.
Clearly elements of $F/N$ are all of the form $Nb^ia^j; 0\le i\le 2,0\le j\le 6$ due to $Nab=Nba^2, Nb^3=Na^7=N$. 
My question is as follows:
How do I establish an isomorphism from $F/N$ to $A\rtimes_f B$ in the natural way, i.e. $g:F/N\to A\rtimes_f B$ given by $g(Nb^ia^j)=(a^j,x^i)$? I am not even able to show that $g$ is well defined. It is not clear to me that $F/N$ cannot have less then 21 elements either, although that part would follow if the isomorphism is established.
 A: To establish the isomorphism, you need to use universal properties. 
To avoid any confusion, I chose to write $A=\{1,\dots, y^6\}$ so that $a$ and $b$ are elements of the free group whereas $x$ and $y$ are elements of the semi-direct product. 
Let's say that $\phi(y):=y^4$ instead.


*

*By universal property of free groups, there exists a group morphism $\psi:F\to A\rtimes_f B$ such that $F(a)=y\in A$ and $F(b)=x\in B$.

*Clearly, $a^7$ and $b^3$ belongs to $\ker\psi$. One verifies "by hand" $yxy^{-2}x^{-1}=y\phi(y^{-2})=y^{-7}=1$ in $ A\rtimes_f B$ is trivial. Therefore $\ker \psi$ contains $N$. 

*As a result, applying universal property of quotients, there exists a group morphism $\psi_N:F/N\to A\rtimes_fB$ such that $\psi_N(N\gamma):=\psi(\gamma)$. 

*Since $y$ and $x$ generate $A\rtimes_f B$ on one hand and that they belong to the image of $\psi$ whence of $\psi_N$, it follows that $\psi_N$ is onto.

*Finally your argument shows that $F/N$ has at most $21$ elements. Therefore $\psi_N$ is a group morphism of a group $F/N$ with at most $21$ elements onto a group $A\rtimes_f B$ with exactly $21$ elements. This shows that $F/N$ is isomorphic to $A\rtimes_f B$. 
