Ideals and Reality: Projective Modules and Number of Generators of Ideals
Springer Science & Business Media, Nov 24, 2004 - Mathematics - 336 pages
Besides giving an introduction to Commutative Algebra - the theory of c- mutative rings - this book is devoted to the study of projective modules and the minimal number of generators of modules and ideals. The notion of a module over a ring R is a generalization of that of a vector space over a field k. The axioms are identical. But whereas every vector space possesses a basis, a module need not always have one. Modules possessing a basis are called free. So a finitely generated free R-module is of the form Rn for some n E IN, equipped with the usual operations. A module is called p- jective, iff it is a direct summand of a free one. Especially a finitely generated R-module P is projective iff there is an R-module Q with P @ Q S Rn for some n. Remarkably enough there do exist nonfree projective modules. Even there are nonfree P such that P @ Rm S Rn for some m and n. Modules P having the latter property are called stably free. On the other hand there are many rings, all of whose projective modules are free, e. g. local rings and principal ideal domains. (A commutative ring is called local iff it has exactly one maximal ideal. ) For two decades it was a challenging problem whether every projective module over the polynomial ring k[X1,. . .
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
A-module algebra Ass(M assume automorphism basic basis bijective called clearly closed subset commutative ring complete intersection contained Corollary Dedekind ring defined Definition denote diagram direct sum direct summand Eisenbud-Evans elementary endomorphism epimorphism equivalent exact sequence example Ext1 field finite type finitely generated module finitely generated projective free module functor hence homological dimension i?-linear ideal of height idempotent implies induction injective integrally closed invertible irreducible isomorphism k[Xi k[yi kernel linear matrix maximal ideal minimal prime ideal minimal prime over-ideal monic polynomial Nakayama's Lemma Noetherian ring non-zero non-zero-divisor polynomial ring principal domain projective modules Proof Proposition prove rank regular local ring regular sequence Remark residue class resp ring of dimension Serre's Conjecture Spec(i stably free submodule surjective Suslin Theorem topological space topology trivial unimodular row vector bundle vector space whence zero zero-divisor