|
A.24 Kernel of module homomorphisms
Let
,
be two matrices of size
and over the ring
and consider the corresponding maps
We want to compute the kernel of the map
This can be done using the modulo command:
| ring r=0,(x,y,z),(c,dp);
matrix A[2][2]=x,y,z,1;
matrix B[2][2]=x2,y2,z2,xz;
print(modulo(A,B));
==> yz2-x2, xyz-y2, x2z-xy, x3-y2z,
==> x2z-xz2,-x2z+y2z,xyz-yz2,0
|
|