Hom(Hom(-,Z128),Z16)_On_Seq.g
## <#GAPDoc Label="HomHom">
## <Subsection Label="HomHom">
## <Heading>HomHom</Heading>
## The following example is taken from Section 2 of <Cite Key="BREACA"/>. <Br/><Br/>
## The computation takes place over the residue class ring <M>R=&ZZ;/2^8&ZZ;</M>
## using the generic support for residue class rings provided by
## the subpackage &ResidueClassRingForHomalg; of the &MatricesForHomalg; package.
## For a native support of the rings <M>R=&ZZ;/p^n&ZZ;</M> use the &GaussForHomalg; package. <P/>
## Here we compute the (infinite) long exact homology sequence of the
## covariant functor <M>Hom(Hom(-,&ZZ;/2^7&ZZ;),&ZZ;/2^4&ZZ;)</M> (and its left derived functors)
## applied to the short exact sequence<Br/><Br/>
## <Alt Not="Text,HTML"><Math>0 \longrightarrow M\_=&ZZ;/2^2&ZZ; \stackrel{\alpha_1}{\longrightarrow}
## M=&ZZ;/2^5&ZZ; \stackrel{\alpha_2}{\longrightarrow} \_M=&ZZ;/2^3&ZZ; \longrightarrow 0</Math></Alt>
## <Alt Only="Text,HTML"><M>0 -> M_=&ZZ;/2^2&ZZ; --alpha_1--> M=&ZZ;/2^5&ZZ; --alpha_2--> \_M=&ZZ;/2^3&ZZ; -> 0</M></Alt>.
## <Example><![CDATA[
## gap> ZZ := HomalgRingOfIntegers( );
## Z
## gap> Display( ZZ );
## <An internal ring>
## gap> R := ZZ / 2^8;
## Z/( 256 )
## gap> Display( R );
## <A residue class ring>
## gap> M := LeftPresentation( [ 2^5 ], R );
## <A cyclic left module presented by 1 relation for a cyclic generator>
## gap> Display( M );
## Z/( 256 )/< |[ 32 ]| >
## gap> _M := LeftPresentation( [ 2^3 ], R );
## <A cyclic left module presented by 1 relation for a cyclic generator>
## gap> Display( _M );
## Z/( 256 )/< |[ 8 ]| >
## gap> alpha2 := HomalgMap( [ 1 ], M, _M );
## <A "homomorphism" of left modules>
## gap> IsMorphism( alpha2 );
## true
## gap> alpha2;
## <A homomorphism of left modules>
## gap> Display( alpha2 );
## [ [ 1 ] ]
##
## modulo [ 256 ]
##
## the map is currently represented by the above 1 x 1 matrix
## gap> M_ := Kernel( alpha2 );
## <A cyclic left module presented by yet unknown relations for a cyclic generato\
## r>
## gap> alpha1 := KernelEmb( alpha2 );
## <A monomorphism of left modules>
## gap> seq := HomalgComplex( alpha2 );
## <An acyclic complex containing a single morphism of left modules at degrees
## [ 0 .. 1 ]>
## gap> Add( seq, alpha1 );
## gap> seq;
## <A sequence containing 2 morphisms of left modules at degrees [ 0 .. 2 ]>
## gap> IsShortExactSequence( seq );
## true
## gap> seq;
## <A short exact sequence containing 2 morphisms of left modules at degrees
## [ 0 .. 2 ]>
## gap> Display( seq );
## -------------------------
## at homology degree: 2
## Z/( 256 )/< |[ 4 ]| >
## -------------------------
## [ [ 24 ] ]
##
## modulo [ 256 ]
##
## the map is currently represented by the above 1 x 1 matrix
## ------------v------------
## at homology degree: 1
## Z/( 256 )/< |[ 32 ]| >
## -------------------------
## [ [ 1 ] ]
##
## modulo [ 256 ]
##
## the map is currently represented by the above 1 x 1 matrix
## ------------v------------
## at homology degree: 0
## Z/( 256 )/< |[ 8 ]| >
## -------------------------
## gap> K := LeftPresentation( [ 2^7 ], R );
## <A cyclic left module presented by 1 relation for a cyclic generator>
## gap> L := RightPresentation( [ 2^4 ], R );
## <A cyclic right module on a cyclic generator satisfying 1 relation>
## gap> triangle := LHomHom( 4, seq, K, L, "t" );
## <An exact triangle containing 3 morphisms of left complexes at degrees
## [ 1, 2, 3, 1 ]>
## gap> lehs := LongSequence( triangle );
## <A sequence containing 14 morphisms of left modules at degrees [ 0 .. 14 ]>
## gap> ByASmallerPresentation( lehs );
## <A non-zero sequence containing 14 morphisms of left modules at degrees
## [ 0 .. 14 ]>
## gap> IsExactSequence( lehs );
## false
## gap> lehs;
## <A non-zero left acyclic complex containing
## 14 morphisms of left modules at degrees [ 0 .. 14 ]>
## gap> Assert( 0, IsLeftAcyclic( lehs ) );
## gap> Display( lehs );
## -------------------------
## at homology degree: 14
## Z/( 256 )/< |[ 4 ]| >
## -------------------------
## [ [ 4 ] ]
##
## modulo [ 256 ]
##
## the map is currently represented by the above 1 x 1 matrix
## ------------v------------
## at homology degree: 13
## Z/( 256 )/< |[ 8 ]| >
## -------------------------
## [ [ 2 ] ]
##
## modulo [ 256 ]
##
## the map is currently represented by the above 1 x 1 matrix
## ------------v------------
## at homology degree: 12
## Z/( 256 )/< |[ 8 ]| >
## -------------------------
## [ [ 2 ] ]
##
## modulo [ 256 ]
##
## the map is currently represented by the above 1 x 1 matrix
## ------------v------------
## at homology degree: 11
## Z/( 256 )/< |[ 4 ]| >
## -------------------------
## [ [ 4 ] ]
##
## modulo [ 256 ]
##
## the map is currently represented by the above 1 x 1 matrix
## ------------v------------
## at homology degree: 10
## Z/( 256 )/< |[ 8 ]| >
## -------------------------
## [ [ 2 ] ]
##
## modulo [ 256 ]
##
## the map is currently represented by the above 1 x 1 matrix
## ------------v------------
## at homology degree: 9
## Z/( 256 )/< |[ 8 ]| >
## -------------------------
## [ [ 2 ] ]
##
## modulo [ 256 ]
##
## the map is currently represented by the above 1 x 1 matrix
## ------------v------------
## at homology degree: 8
## Z/( 256 )/< |[ 4 ]| >
## -------------------------
## [ [ 4 ] ]
##
## modulo [ 256 ]
##
## the map is currently represented by the above 1 x 1 matrix
## ------------v------------
## at homology degree: 7
## Z/( 256 )/< |[ 8 ]| >
## -------------------------
## [ [ 2 ] ]
##
## modulo [ 256 ]
##
## the map is currently represented by the above 1 x 1 matrix
## ------------v------------
## at homology degree: 6
## Z/( 256 )/< |[ 8 ]| >
## -------------------------
## [ [ 2 ] ]
##
## modulo [ 256 ]
##
## the map is currently represented by the above 1 x 1 matrix
## ------------v------------
## at homology degree: 5
## Z/( 256 )/< |[ 4 ]| >
## -------------------------
## [ [ 4 ] ]
##
## modulo [ 256 ]
##
## the map is currently represented by the above 1 x 1 matrix
## ------------v------------
## at homology degree: 4
## Z/( 256 )/< |[ 8 ]| >
## -------------------------
## [ [ 2 ] ]
##
## modulo [ 256 ]
##
## the map is currently represented by the above 1 x 1 matrix
## ------------v------------
## at homology degree: 3
## Z/( 256 )/< |[ 8 ]| >
## -------------------------
## [ [ 2 ] ]
##
## modulo [ 256 ]
##
## the map is currently represented by the above 1 x 1 matrix
## ------------v------------
## at homology degree: 2
## Z/( 256 )/< |[ 4 ]| >
## -------------------------
## [ [ 8 ] ]
##
## modulo [ 256 ]
##
## the map is currently represented by the above 1 x 1 matrix
## ------------v------------
## at homology degree: 1
## Z/( 256 )/< |[ 16 ]| >
## -------------------------
## [ [ 1 ] ]
##
## modulo [ 256 ]
##
## the map is currently represented by the above 1 x 1 matrix
## ------------v------------
## at homology degree: 0
## Z/( 256 )/< |[ 8 ]| >
## -------------------------
## ]]></Example>
## </Subsection>
## <#/GAPDoc>
LoadPackage( "Modules" );
LoadPackage( "Modules" );
ZZ := HomalgRingOfIntegers( );
R := ZZ / 2^8;
M := LeftPresentation( [ 2^5 ], R );
_M := LeftPresentation( [ 2^3 ], R );
alpha2 := HomalgMap( [ 1 ], M, _M );
M_ := Kernel( alpha2 );
alpha1 := KernelEmb( alpha2 );
seq := HomalgComplex( alpha2 );
Add( seq, alpha1 );
IsShortExactSequence( seq );
K := LeftPresentation( [ 2^7 ], R );
L := RightPresentation( [ 2^4 ], R );
triangle := LHomHom( 4, seq, K, L, "t" );
lehs := LongSequence( triangle );
ByASmallerPresentation( lehs );
IsExactSequence( lehs );
Assert( 0, IsLeftAcyclic( lehs ) );