  
  [1X6. Induced Constructions[0X
  
  
  [1X6.1 Induced crossed modules[0X
  
  [1X6.1-1 InducedXMod[0X
  
  [2X> InducedXMod( [0X[3Xargs[0X[2X ) ______________________________________________[0Xfunction
  [2X> InducedCat1( [0X[3Xargs[0X[2X ) ______________________________________________[0Xfunction
  [2X> IsInducedXMod( [0X[3Xxmod[0X[2X ) ____________________________________________[0Xproperty
  [2X> IsInducedCat1( [0X[3Xcat1[0X[2X ) ____________________________________________[0Xproperty
  [2X> MorphismOfInducedXMod( [0X[3Xxmod[0X[2X ) ___________________________________[0Xattribute
  
  A  morphism  of  crossed  modules  (sigma, rho) : cal X_1 -> cal X_2 factors
  uniquely  through an induced crossed module rho_* cal X_1 = (delta ~:~ rho_*
  S_1 -> R_2). Similarly, a morphism of cat1-groups factors through an induced
  cat1-group. Calculation of induced crossed modules of cal X also provides an
  algebraic  means  of determining the homotopy 2-type of homotopy pushouts of
  the  classifying space of cal X. For more background from algebraic topology
  see  references  in  \cite{BH1},  \cite{BW1},  \cite{BW2}.  Induced  crossed
  modules  and  induced  cat1-groups  also  provide  the  building  blocks for
  constructing pushouts in the categories [13XXMod[0X and [13XCat1[0X.
  
  Data  for  the  cases  of  algebraic  interest  is provided by a conjugation
  crossed  module  cal X = (partial ~:~ S -> R) and a homomorphism iota from R
  to  a  third  group  Q.  The output from the calculation is a crossed module
  iota_*cal  X  = (delta ~:~ iota_*S -> Q) together with a morphism of crossed
  modules  cal  X -> iota_*cal X. When iota is a surjection with kernel K then
  iota_*S  =  [S,K]  (see  \cite{BH1}).  When iota is an inclusion the induced
  crossed module may be calculated using a copower construction \cite{BW1} or,
  in  the  case  when  R  is  normal  in  Q, as a coproduct of crossed modules
  (\cite{BW2}, but not yet implemented). When iota is neither a surjection nor
  an  inclusion,  iota  is written as the composite of the surjection onto the
  image  and  the  inclusion of the image in Q, and then the composite induced
  crossed module is constructed. These constructions use Tietze transformation
  routines in the library file [10Xtietze.gi[0X.
  
  As  a  first,  surjective  example,  we  take for cal X the normal inclusion
  crossed  module  of [10Xa4[0X in [10Xs4[0X, and for iota the surjection from [10Xs4[0X to [10Xs3[0X with
  kernel [10Xk4[0X. The induced crossed module is isomorphic to [10XX3[0X.
  
  [4X---------------------------  Example  ----------------------------[0X
    [4X[0X
    [4Xgap> s4gens := [ (1,2), (2,3), (3,4) ];;[0X
    [4Xgap> s4 := Group( s4gens );; SetName(s4,"s4");[0X
    [4Xgap> a4gens := [ (1,2,3), (2,3,4) ];;[0X
    [4Xgap> a4 := Subgroup( s4, a4gens );;  SetName( a4, "a4" );[0X
    [4Xgap> s3 := Group( (5,6),(6,7) );;  SetName( s3, "s3" );[0X
    [4Xgap> epi := GroupHomomorphismByImages( s4, s3, s4gens, [(5,6),(6,7),(5,6)] );;[0X
    [4Xgap> X4 := XModByNormalSubgroup( s4, a4 );;[0X
    [4Xgap> indX4 := SurjectiveInducedXMod( X4, epi );[0X
    [4X[a4/ker->s3][0X
    [4Xgap> morX4 := MorphismOfInducedXMod( indX4 );[0X
    [4X[[a4->s4] => [a4/ker->s3]][0X
    [4X[0X
  [4X------------------------------------------------------------------[0X
  
  For  a  second,  injective example we take for cal X the conjugation crossed
  module (partial ~:~ c4 -> d8) of Chapter 3, and for iota the inclusion [10Xincd8[0X
  of [10Xd8[0X in [10Xd16[0X. The induced crossed module has c4 x c4 as source.
  
  [4X---------------------------  Example  ----------------------------[0X
    [4X[0X
    [4Xgap> incd8 := RangeHom( inc8 );;[0X
    [4Xgap> [ Source(incd8), Range(incd8), IsInjective(incd8) ];[0X
    [4X[ d8, d16, true ][0X
    [4Xgap> indX8 := InducedXMod( X8, incd8 );[0X
    [4X#I Simplified presentation for induced group :-[0X
    [4X<presentation with 2 gens and 3 rels of total length 12>[0X
    [4X#I  generators: [ f11, f14 ][0X
    [4X#I  relators:[0X
    [4X#I  1.  4  [ 1, 1, 1, 1 ][0X
    [4X#I  2.  4  [ 2, 2, 2, 2 ][0X
    [4X#I  3.  4  [ 2, -1, -2, 1 ][0X
    [4X#I induced group has Size: 16[0X
    [4X#I factor 1 is abelian  with invariants: [ 4, 4 ][0X
    [4Xi*([c4->d8])[0X
    [4Xgap> Display( indX8 );[0X
    [4XCrossed module i*([c4->d8]) :-[0X
    [4X: Source group has generators:[0X
    [4X  [ ( 1, 2, 6, 3)( 4, 7,12, 9)( 5, 8,13,10)(11,14,16,15),[0X
    [4X  ( 1, 4,11, 5)( 2, 7,14, 8)( 3, 9,15,10)( 6,12,16,13) ][0X
    [4X: Range group d16 has generators:[0X
    [4X  [ (11,12,13,14,15,16,17,18), (12,18)(13,17)(14,16) ][0X
    [4X: Boundary homomorphism maps source generators to:[0X
    [4X  [ (11,13,15,17)(12,14,16,18), (11,17,15,13)(12,18,16,14) ][0X
    [4X: Action homomorphism maps range generators to automorphisms:[0X
    [4X  (11,12,13,14,15,16,17,18) --> { source gens -->[0X
    [4X[ ( 1, 5,11, 4)( 2, 8,14, 7)( 3,10,15, 9)( 6,13,16,12),[0X
    [4X  ( 1, 3, 6, 2)( 4, 9,12, 7)( 5,10,13, 8)(11,15,16,14) ] }[0X
    [4X  (12,18)(13,17)(14,16) --> { source gens -->[0X
    [4X[ ( 1, 3, 6, 2)( 4, 9,12, 7)( 5,10,13, 8)(11,15,16,14),[0X
    [4X  ( 1, 5,11, 4)( 2, 8,14, 7)( 3,10,15, 9)( 6,13,16,12) ] }[0X
    [4X  These 2 automorphisms generate the group of automorphisms.[0X
    [4Xgap> morX8 := MorphismOfInducedXMod( indX8 );[0X
    [4X[[c4->d8] => i*([c4->d8])][0X
    [4Xgap> Display( morX8 );[0X
    [4XMorphism of crossed modules :-[0X
    [4X: Source = [c4->d8] with generating sets:[0X
    [4X  [ (11,13,15,17)(12,14,16,18) ][0X
    [4X  [ (11,13,15,17)(12,14,16,18), (12,18)(13,17)(14,16) ][0X
    [4X:  Range = i*([c4->d8]) with generating sets:[0X
    [4X  [ ( 1, 2, 6, 3)( 4, 7,12, 9)( 5, 8,13,10)(11,14,16,15),[0X
    [4X  ( 1, 4,11, 5)( 2, 7,14, 8)( 3, 9,15,10)( 6,12,16,13) ][0X
    [4X  [ (11,12,13,14,15,16,17,18), (12,18)(13,17)(14,16) ][0X
    [4X: Source Homomorphism maps source generators to:[0X
    [4X  [ ( 1, 2, 6, 3)( 4, 7,12, 9)( 5, 8,13,10)(11,14,16,15) ][0X
    [4X: Range Homomorphism maps range generators to:[0X
    [4X  [ (11,13,15,17)(12,14,16,18), (12,18)(13,17)(14,16) ][0X
    [4X[0X
  [4X------------------------------------------------------------------[0X
  
  For  a third example we take the identity mapping on [10Xs3[0X as boundary, and the
  inclusion  of  [10Xs3[0X in [10Xs4[0X as [10Xiota[0X. The induced group is a general linear group
  [10XGL(2,3)[0X.
  
  [4X---------------------------  Example  ----------------------------[0X
    [4X[0X
    [4Xgap> s3b := Subgroup( s4, [ (2,3), (3,4) ] );;  SetName( s3b, "s3b" );[0X
    [4Xgap> indX3 := InducedXMod( s4, s3b, s3b );[0X
    [4X#I Simplified presentation for induced group :-[0X
    [4X<presentation with 2 gens and 4 rels of total length 33>[0X
    [4X#I  generators: [ f11, f112 ][0X
    [4X#I  relators:[0X
    [4X#I  1.  2  [ 1, 1 ][0X
    [4X#I  2.  3  [ 2, 2, 2 ][0X
    [4X#I  3.  12  [ 1, -2, 1, 2, 1, 2, 1, -2, 1, 2, 1, 2 ][0X
    [4X#I  4.  16  [ -2, 1, -2, 1, -2, 1, -2, 1, -2, 1, -2, 1, -2, 1, -2, 1 ][0X
    [4X#I induced group has Size: 48[0X
    [4X#I IdGroup = [ [  48,  29 ] ][0X
    [4Xi*([s3b->s3b])[0X
    [4Xgap> isoX3 := IsomorphismGroups( Source( indX3 ), GeneralLinearGroup(2,3) );[0X
    [4X[ (1,2)(4,5)(6,8), (2,3,4)(5,6,7) ] ->[0X
    [4X[ [ [ Z(3)^0, 0*Z(3) ], [ Z(3), Z(3) ] ],[0X
    [4X  [ [ Z(3)^0, Z(3)^0 ], [ 0*Z(3), Z(3)^0 ] ] ][0X
    [4X[0X
  [4X------------------------------------------------------------------[0X
  
  [1X6.1-2 AllInducedXMods[0X
  
  [2X> AllInducedXMods( [0X[3XQ[0X[2X ) ____________________________________________[0Xoperation
  
  This  function calculates all the induced crossed modules [10XInducedXMod( Q, P,
  M  )[0X,  where  [10XP[0X runs over all conjugacy classes of subgroups of [10XQ[0X and [10XM[0X runs
  over all non-trivial subgroups of [10XP[0X.
  
