Exercise 11, § 4
Algebra, VII, p. 65
Bourbaki marks this one as harder than the rest.
Let A be a principal ideal domain, let H be a submodule of , and let be the submodule of the dual of E orthogonal to H (Ex. 7). Let M be a submodule of rank p of E and let () be the invariant factors of M with respect to E, arranged in decreasing order. Let be the gcd of the ideals of A as f runs through ; show that, for , the element is a gcd of the for all submodules H of E of rank which admit a complement in E (first consider the case ; apply the result to the submodule of , and use Ex. 8, d), applied to the quotient module of .
Solution
No solution has been written yet.