Mathematics – Commutative Algebra
Scientific paper
2010-03-21
Mathematics
Commutative Algebra
Scientific paper
Let (A,m_A) -> (B,m_B) be a local morphism of local noetherian rings and M a finitely generated B-module. Then it follows from Tor^A_1(M,A/m_A) = 0 that M is a flat A-module. This is usually called the "local criterion of flatness". We give a proof that proceeds along different lines than the usual textbook proofs, using completions and only elementary properties of flat modules and the Tor-functor.
Böhm Jürgen
No associations
LandOfFree
A new proof of the local criterion of flatness does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A new proof of the local criterion of flatness, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A new proof of the local criterion of flatness will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-316711