From Wikipedia, the free encyclopedia
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