  
  [1X8 [33X[0;0YAlgebras and their homomorphisms[133X[101X
  
  
  [1X8.1 [33X[0;0YHomomorphisms by function[133X[101X
  
  [1X8.1-1 AlgebraHomomorphismByFunction[101X
  
  [33X[1;0Y[29X[2XAlgebraHomomorphismByFunction[102X( [3XA[103X, [3XB[103X, [3Xf[103X ) [32X operation[133X
  [33X[1;0Y[29X[2XAlgebraWithOneHomomorphismByFunction[102X( [3XA[103X, [3XB[103X, [3Xf[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10YA homomorphism from the algebra [3XA[103X to the algebra [3XB[103X.[133X
  
  [33X[0;0YThese  functions  have  been transferred from package [5XFR[105X. The first was also
  transferred from the package [5XXModAlg[105X.[133X
  
  [33X[0;0YThese  functions  construct  an  algebra  homomorphism  from  a one-argument
  function.   They   do  not  check  that  the  function  actually  defines  a
  homomorphism.[133X
  
  [4X[32X  Example  [32X[104X
    [4X[28X[128X[104X
    [4X[25Xgap>[125X [27XA := MatrixAlgebra( Rationals, 2 );[127X[104X
    [4X[28X( Rationals^[ 2, 2 ] )[128X[104X
    [4X[25Xgap>[125X [27Xe1 := AlgebraHomomorphismByFunction( Rationals, A, f -> [[f,0],[0,0]] );[127X[104X
    [4X[28XMappingByFunction( Rationals, ( Rationals^[ 2, 2 ] ), function( f ) ... end )[128X[104X
    [4X[25Xgap>[125X [27X11^e1;[127X[104X
    [4X[28X[ [ 11, 0 ], [ 0, 0 ] ][128X[104X
    [4X[28X[128X[104X
  [4X[32X[104X
  
