1

1

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$?

flag
2 
 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 2012 at 15:28
1 
 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. – Liran Shaul Jan 20 2012 at 15:30
3 
 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 2012 at 15:38
2 
 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 ( jmilne.org/math/CourseNotes/cft.html ) for a case when it is true. – darij grinberg Jan 20 2012 at 15:38
2 
 Well I don't think that the questioner has considered any examples before posting this. See also the FAQ mathoverflow.net/faq. -1 – Martin Brandenburg Jan 20 2012 at 16:16

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

Browse other questions tagged or ask your own question.