Let H be the multiplicative free
abelian group of rank m ≥ 1. Suppose 0 → B → A → IH → 0 is a short exact
sequence of ZH-modules, and the module A is finitely generated. Then B is also a
finitely generated ZH-module, and for any k ∈ Z the determinantal ideals of A and
B satisfy the equality
for all sufficiently large values of p and q. Furthermore, if this exact sequence is the
link module sequence of a tame link of m components in S3, then
whenever k ≥ m.
|