I think you'll find of interest my old sci.math post below.
From: Bill Dubuque Date: 30 Jul 2003 23:54:07 -0400 Message-ID: Bill Dubuque wrote: >Rasmus Villemoes wrote: >> >> In my algebra textbook, the product of two ideals I,J is defined as >> >> { sum_{i=1..n} a_i b_i | n >= 1 , a_i in I and b_i in J } >> >> Now it is rather easy to prove that IJ is an ideal in R. The last >> question of the exercise is: >> >> Is A = { ab | a in I, b in J } an ideal of R. >> >> Now the preceding questions strongly suggest that the answer in >> general is no, but I can't find a counterexample. Clearly, (since it >> is understood that R is commutative), if one of I or J is a principal >> ideal, the set A is an ideal, so a counterexample has to consist of a >> non-PID and two ideals generated by at least two elements each [...] > > HINT: Find proper ideals whose product contains an irreducible element, > > e.g. p in (p,a)(p,b) if (a,b) = (1) > > Examples abound. Domains where ideals multiply simply as IJ = { ij : i in I, j in J }, are called condensed domains. Below are reviews of related papers. ------------------------------------------------------------------------------ 84a:13019 13F99 Anderson, David F.; Dobbs, David E. On the product of ideals. Canad. Math. Bull. 26 (1983), no. 1, 106-114. ------------------------------------------------------------------------------ In this paper the authors define an integral domain R to be a condensed domain provided IJ = {ij: i in I, j in J} for all ideals I and J of R. Bezout domains are condensed domains. The main results of the paper characterize condensed domains within some large class of domains. For example, it is shown that a GCD-domain is condensed if and only if it is a Bezout domain, and a Krull domain is condensed if and only if it is a principal ideal domain. For a Noetherian domain R to be condensed it is necessary that dim R <= 1 and that the integral closure of R be a principal ideal. Reviewed by J. T. Arnold ------------------------------------------------------------------------------ 86h:13017 13F05 (13B20 13G05) Anderson, David F.(1-TN); Arnold, Jimmy T.(1-VAPI); Dobbs, David E.(1-TN) Integrally closed condensed domains are Bezout. Canad. Math. Bull. 28 (1985), no. 1, 98-102. ------------------------------------------------------------------------------ An integral domain R is termed quasicondensed if I^n = {i_1 i_2...i_n : i_j in I for 1 <= j <= n} for each positive integer n and each two-generated ideal I = (a,b) of R. R is said to be condensed if IJ = {ij: i in I, j in J} for all ideals I and J of R. The main theorem shows that an integral domain is a Bezout domain if and only if it is integrally closed and condensed. An example (a D+M construction) is given of an integrally closed quasicondensed domain which is not a Bezout domain. Reviewed by Anne Grams ------------------------------------------------------------------------------ 90e:13019 13F30 (13B20 13G05) Gottlieb, Christian (S-STOC) On condensed Noetherian domains whose integral closures are discrete valuation rings. Canad. Math. Bull. 32 (1989), no. 2, 166-168. ------------------------------------------------------------------------------ Following D. F. Anderson and the reviewer [same journal 26 (1983), no. 1, 106-114; MR 84a:13019] an integral domain R is said to be condensed in case IJ = {ij : i in I, j in J} for all ideals I,J of R. The author defines an integral domain R to be strongly condensed if for every pair I,J of ideals of R, either IJ = aJ for some a in I or IJ = Ib for some b in J. Suppose henceforth that R is a Noetherian integral domain whose integral closure R' is a discrete valuation ring. It is proved that if R is condensed, then R contains an element of value 2 (in the associated discrete rank 1 valuation). It is not known whether the converse holds, nor whether all condensed domains are strongly condensed. As a partial converse, it is proved that R is strongly condensed under the following conditions: (R',M') is a finitely generated R-module, R'/M' is isomorphic to R/M and R contains an element of value 2. Reviewed by David E. Dobbs ------------------------------------------------------------------------------ 1 955 608 13A15 (13Bxx) Anderson, D. D.; Dumitrescu, Tiberiu Condensed domains. Canad. Math. Bull. 46 (2003), no. 1, 3-13. http://journals.cms.math.ca/cgi-bin/vault/view/anderson8107 ------------------------------------------------------------------------------ Abstract: An integral domain D with identity is condensed (resp., strongly condensed) if for each pair of ideals I,J of D, IJ = {ij : i in I, j in J} (resp., IJ = iJ for some i in I or IJ = Ij for some j in J). We show that for a Noetherian domain D, D is condensed if and only if Pic(D) = 0 and D is locally condensed, while a local domain is strongly condensed if and only if it has the two-generator property. An integrally closed domain D is strongly condensed if and only if D is a Bezout generalized Dedekind domain with at most one maximal ideal of height greater than one. We give a number of equivalencies for a local domain with finite integral closure to be strongly condensed. Finally, we show that for a field extension k < K, the domain D = k + XK[[X]] is condensed if and only if [K:k] <= 2 or [K:k] = 3 and each degree-two polynomial in k[X] splits over k, while D is strongly condensed if and only if [K:k] <= 2.