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:
- sheaf theory - Heuristic explanation of why we lose projectives in sheaves.
- nt.number theory - Bounds on $sum {n ((alpha n))}$ where $((x))$ is the sawtooth function
- A graph connectivity problem (restated)
- rt.representation theory - What's the origin of the naming convention for the standard basis of sl_2?
- ds.dynamical systems - Proper families for Anosov flows
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment