Jump to content

User:Juan Marquez/HNN-extensions

From Wikipedia, the free encyclopedia

Z_2*_{Z_2}Z_2

[edit]

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

oops!

[edit]

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


symbolic

[edit]