Counterexamples that Tensor Product of a Non-finitely Generated R-module M with the Completion of R is not the Completion of M

Let A be a commutative noetherian ring, m an ideal of A and M a finitely generated A-module, then we have an isomorphism M\otimes_A \hat{A} \to\hat{M} where the completion is with respect to the m-adic topology [III. 3.4 Theorem 3, Commutative Algebra, Bourbaki].

Note that when A is not noetherian, M being finitely presented would suffice.

Here are two counterexamples showing that the map above need not be injective or surjective when M is not finitely generated: https://math.stackexchange.com/q/1143557

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s