Next:
4.4 Module intersection 2
Up:
4. Syzygies
Previous:
4.2 Resolutions
4.3 Kernel of a module homomorphism
Definition 4..4
Let
,
and
then define
(
modulo
(
A
,
B
) is the preimage of
B
under the homomorphism given by
A
.)
Lemma 4..5
Let
be a generating set of
syz
(
D
) where
and
Then
(see lemma
4.2
.)
Remark 4..6
In practice, one need not compute the entire syzygy module of
D
: it is better to find modulo(A,B) as:
(see sections
4.2
,
2.7
.)

ZCA Home

Reports
