3
$\begingroup$

In wikipedia https://en.m.wikipedia.org/wiki/Flat_module , particularly Case of commutative rings, they say that

"In a commutative ring, a finitely generated module is flat if and only if it is locally free, i.e. $M_P$ is free for all prime ideals"

In Atiyah anf MacDonald's commutative algebra, they proved that

"In a commutative ring, a finitely generated module is flat if and only if it is locally flat, i.e. $M_P$ is flat for all prime ideals"

So does it mean "$M_P$ is free iff $M_P$ is flat"? How? $R_P$ is only local while we need it to be also Noetherian for the statement to be true?

Thank you for your help

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.