It might also be helpful to know that projective is equivalent to being a summand of a free module (apply Hom(M,text−−) to a presentation of M), and hence projectives are flat.
The converse is not true in general (e.g. mathbbQ is flat as a mathbbZ-module, but not projective), but for finitely presented modules over commutative rings, flat and projective are equivalent.
Friday, 2 October 2009
ac.commutative algebra - Tensor product is to flat as Hom is to ?
at
01:34
Labels:
Mathematics

Related Posts:
- soft question - Alternative Undergraduate Analysis Texts
- soft question - What are the most overloaded words in mathematics?
- soft question - Theory mainly concerned with $lambda$-calculus?
- modular rep theory - Exact sequences of permutational representations?
- fourier analysis - level sets of multivariate polynomials
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment