1
$\begingroup$

Let $f,g:A \to B$ be two ring homomorphisms of noetherian rings satisfying that for any prime ideal $\mathfrak{q} \subset B$, $f^{-1}(\mathfrak{q})=g^{-1}(\mathfrak{q})=:\mathfrak{p}$ and the induced morphisms from $A/\mathfrak{p} \to B/\mathfrak{q}$ are the same. Is it true that $f=g$? If not true in general, is there any known additional conditions on $A$ or $B$, for which we have a positive answer to the question?

Any reference/hint will be most welcome.

$\endgroup$
3
  • 2
    $\begingroup$ This is not true in general: take $A=B=k[[t]]$, where $k$ is a field, $f=\mathrm{Id}$ and $g$ the automorphism given by $t\mapsto t+t^2h(t)$, for any $h(t)\in k[[t]]$. I have no idea on the second question. $\endgroup$
    – abx
    Apr 27, 2016 at 6:29
  • 1
    $\begingroup$ @abx: the condition in the question is not satisfied at $\mathfrak{q}=0$. $\endgroup$ Apr 27, 2016 at 6:41
  • $\begingroup$ Oops! Right, of course. $\endgroup$
    – abx
    Apr 27, 2016 at 6:59

1 Answer 1

12
$\begingroup$

The condition just says that for each prime $\mathfrak{q}$ of $B$, both composite maps $A\rightrightarrows B\to B/\mathfrak{q}$ are equal. Hence for each $x\in A$, $f(x)-g(x)$ belongs to every prime of $B$, i.e. is nilpotent.

The converse is clear, so your condition is equivalent to the equality of both composites $A\rightrightarrows B\to B_\mathrm{red}$. No noetherian assumption is necessary.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.