Skip to main content
MathOverflow

Return to Question

edited body
Source Link
Martin Brandenburg
Martin Brandenburg
  • 63.1k
  • 11
  • 207
  • 424

Suppose that the ring homomorphism $R\rightarrow S$ is faithfully flat ($R$ and $S$ are Noetherian commutative rings). Let $A$ be an ArtinainArtinian $R$-module. Do we have $0:_S(A\bigotimes_R S)=(0:_RA)S$.

I know this the case when $A$ is Noehterian. Also by purity I know that $\big(0:_S(A\bigotimes_R S)\big)\bigcap R=0:_RA$ for an arbitrary $R$-module A.

Suppose that the ring homomorphism $R\rightarrow S$ is faithfully flat ($R$ and $S$ are Noetherian commutative rings). Let $A$ be an Artinain $R$-module. Do we have $0:_S(A\bigotimes_R S)=(0:_RA)S$.

I know this the case when $A$ is Noehterian. Also by purity I know that $\big(0:_S(A\bigotimes_R S)\big)\bigcap R=0:_RA$ for an arbitrary $R$-module A.

Suppose that the ring homomorphism $R\rightarrow S$ is faithfully flat ($R$ and $S$ are Noetherian commutative rings). Let $A$ be an Artinian $R$-module. Do we have $0:_S(A\bigotimes_R S)=(0:_RA)S$.

I know this the case when $A$ is Noehterian. Also by purity I know that $\big(0:_S(A\bigotimes_R S)\big)\bigcap R=0:_RA$ for an arbitrary $R$-module A.

Source Link
Aurora
Aurora
  • 591
  • 3
  • 12

Faithfully flat ring homomorphism and annihilator

Suppose that the ring homomorphism $R\rightarrow S$ is faithfully flat ($R$ and $S$ are Noetherian commutative rings). Let $A$ be an Artinain $R$-module. Do we have $0:_S(A\bigotimes_R S)=(0:_RA)S$.

I know this the case when $A$ is Noehterian. Also by purity I know that $\big(0:_S(A\bigotimes_R S)\big)\bigcap R=0:_RA$ for an arbitrary $R$-module A.