> < ^ Date: Tue, 08 Jun 1999 10:42:11 +0100
< ^ From: David S. Burggraf <burggraf@unixg.ubc.ca >
^ Subject: module homomorphisms

QUESTION: Can Gap calculate kernel and image of module homomorphisms like
this one?

let T be a module homomorphism defined as follows:

Domain: K[x1,x2,w1,w2]/I (+) K[x1,x2,w1,w2]/I (+) K[x1,x2] (+) K[y1,y2]
Range: K[x1,x2,w1,w2]/I


Where (+) denotes direct sum, I is an ideal in the polynomial ring
K[x1,x2,w1,w2], and p1, p2, r1 and r2 are fixed polynomials in K[x1,x2,w1,w2]


> < [top]