[GAP Forum] Composition of group homorphisms

[Jose Joao Morais]

Dear Forum,

	How can I compose group homomorphisms?

	I tried this code:

gap> g := SymmetricGroup(5);;
gap> h := AlternatingGroup(5);;
gap> f1 := NaturalHomomorphismByNormalSubgroup(g,h);;
gap> f2 := NaturalHomomorphismByNormalSubgroup(h,h);;
gap> IsMapping(f1);
true
gap> IsGeneralMapping(f1);
true
gap> IsMapping(f2);
true
gap> IsGeneralMapping(f2);
true
gap> CompositionMapping(f1,f2);
Error, the range of <com> and the source of <nxt> must be contained in
the same family called f\
rom
<function>( <arguments> ) called from read-eval-loop
Entering break read-eval-print loop ...


	Could someone please tell me what am I doing wrong?


	Thank you very much,
	Jose Morais