am I sure that is equal to ? Not yet...
but, it is solved so...
edit
We have for the HNN-extension: .
Which in the case will give us
-
For the trivial homomorphism we have
-
Which shows indeed that is factorizable within finite groups
In fact that we've just seen is that because
we have used the only two group-morphism in the definition of amalgamated free product