MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $A$ and $B$ be algebras over a field $K$. The ideals of the tensor product $A\bigotimes_K B$ are of the form $I\bigotimes_K J$ where $I$ is an ideal of $A$ and $J$ is an ideal of $B$?

share|cite|improve this question

closed as too localized by Martin Brandenburg, Mariano Suárez-Alvarez, Bill Johnson, Leonid Positselski, Andreas Blass Jan 20 '12 at 18:29

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

No. The polynomial ring $K\left[X,Y\right]\cong K\left[X\right]\otimes K\left[Y\right]$ over a field $K$ should give you a good hint about how complicated the ideals of a tensor product can get. – darij grinberg Jan 20 '12 at 15:28
For an even more complicated situation, consider $K[[x]]\otimes K[[y]]$, a tensor product of two noetherian rings which results in a non-noetherian ring. – the L Jan 20 '12 at 15:30
Let $K|k$ be a finite extension of fields. Comparing $k$-dimensions shows that multiplication $K \otimes_k K \to K$ must have non-trivial kernel which thus cannot be of the form you expected. – Ralph Jan 20 '12 at 15:38
Note to people downvoting the question: it is not a completely wild guess. See, e. g., Lemma 2.7 in Chapter IV of Milne's Class Field Theory ( ) for a case when it is true. – darij grinberg Jan 20 '12 at 15:38
Well I don't think that the questioner has considered any examples before posting this. See also the FAQ -1 – Martin Brandenburg Jan 20 '12 at 16:16