Questions Posted

  1. QUESTION (HD0301): If R=F[X³,X^{4}],I=(X,X,X) then how is I¹=F[X]? (Here F is a field)
  2. QUESTIONS (HD0302): How is any prime ideal minimal over a t-ideal a prime t-ideal? How can you show that a maximal t-ideal is prime? How is a maximal height-one prime ideal a prime t-ideal?
  3. QUESTION (HD0303): How do you show that a one-dimensional Bezout domain is completely integrally closed?
  4. QUESTION (HD0304): If (V,M) is a valuation domain and X an indeterminate over V then how is V[X]_{M[X]} a valuation domain?
  5. QUESTION (HD0305): If D is a PVMD and X an indeterminate over D then how can we show that D[X]is a PVMD?
  6. QUESTION (HD0306): If D is a Prufer v-multiplication domain and if Q is a prime t-ideal of D then how is Q[X] a prime t-ideal of D[X]?
  7. QUESTION (HD0307): Let S={X^{α}:α \in Q} where Q denotes the set of nonnegative rational numbers. Let R be the semi-group ring Q[S]. If I=(X-1)R is a radical ideal?
  8. QUESTION (HD0308): Let S={X^{α}:α \in Q} where Q denotes the set of nonnegative rational numbers. Let R be the semi-group ring Q[S] and if P is a nonzero prime ideal of R, must P¹=R?
  9. QUESTION (HD0309): If D is an integral domain, and M a prime ideal of D[X] with M∩D=(0) then how is D[X]_{M} a valuation domain?
  10. QUESTION (HD0310): If D is completely integrally closed then how is D integrally closed?
  11. QUESTION (HD0311): Is a prime t-ideal P, of a domain R, always a maximal t-ideal? Give an example if the answer is no.
  12. QUESTION (HD0312): If P is a prime t-ideal of an integral domain R, must PR_{P} be a prime t-ideal of R_{P}?
  13. QUESTION: (HD0313): Is every essential domain a P-domain?
  14. QUESTION:(HD0314): What is a pullback? Give some examples.
  15. QUESTION (HD0401): If S is a saturated multiplicative set in a domain R and if a,b are two nonzero elements of R such that (a/b) belongs to R_{S}, must b be in S?
  16. QUESTION (HD0402): Is there an example of a prime t-ideal P of R that R_{P} is not a valuation domain?
  17. QUESTION (HD0403): If R is a Prufer v-multiplication domain such that every maximal t-ideal of R is a maximal ideal, must R be a Prufer domain?
  18. QUESTION:(HD0404) I wonder if there is a way to describe the (fractional) overrings of D+XK[X]. In particular, how can one find the (fractional) overrings of Z+XQ[X]? Would you be willing to suggest to me any papers or references to help me answer the above question?
  19. QUESTION:(HD0405) Let there be a family {P_{α};α \in I} of prime ideals of R such that:
    (1) Each R_{P_{α}} is a valuation domain and P_{α}R_{P_{α}} is divisorial
    (2) the family {R_{P_{α}}:α \in I} is a family of finite character for R
    (3) each pair of {R_{P_{α}}:α \in I} are independent.
    Why for each maximal t-ideal,M, of R there is α \in I such that M=P_{α}?
  20. QUESTION:(HD0501) In Huneke's book "Tight Closure and Its Applications", he mentioned the following fact regarding complete integral closure (pg. 14, Example 1.6.1): Let R be a Noetherian integral domain with fraction field K. Let α be an element in K. If there is a nonzero c \in R such that c(αⁿ) \in R for infinitely many n, then α is integral over R. I couldn't figure out how to show this, although I understand why this is true when "infinitely many" is replaced by "all", which is the definition of almost integral.
  21. QUESTION:(HD0502). I have a problem with determining the properties of the ring R=Z[(1+√(-19))/2]. I suppose that it is a UFD and it is not a Euclidean domain. Also, I supose that it is a PID. What could you tell me about it?
  22. QUESTION (HD 0503): Let a, b be integers such that b^{r}| a^{s} where r, s are natural numbers such that r ≥ s. Show that b| a.
  23. QUESTION (HD 0504): Is it true that if I is a *-ideal of an integral domain D, for some star operation *, then the radical √I is also a *-ideal?
  24. QUESTION (HD0601): Call an integral domain D an irreducible divisor finite (idf) domain if every nonzero element of D is divisible by at most a finite number of non-associated irreducible elements. Let K be a field, let Q^{+} be the set of non-negative rationals and let R=K[X;Q^{+}] be the monoid ring construction. Is there a field K such that K[X;Q^{+}] is not an idf domain?
  25. QUESTION (HD0602): Kaplansky, in his book on Commutative Rings, calls an integral domain D an S-domain if for every height one prime P of D we have height(P[X])=1 where X is an indeterminate over D. He then moves on to define strong S-rings, to show that if R is a Noetherian ring then dim(R[X]) = dim(R)+1. Are there any examples of S-domains, or were they introduced to flash Seidenberg's name?
  26. QUESTION (HD0701). Consider the following argument. Let R be a pre-Schreier domain. Then S = R\{0} is a saturated multiplicative set of completely primal elements. Now R_S [X] = (R[X])_S is a GCD domain and hence a Schreier domain. So by your version of Cohn’s Nagata type theorem R[X] is a pre-Schreier domain [Manuscripta Math. 80(1993), Corollary 8]). But according to MacAdam and Rush’s work R[X] pre-Schreier implies R[X] Schreier. What is the reason for this discrepancy?
  27. QUESTION: (HD0702) Kronecker had associated, via "Kronecker function rings", a UFD with each ring of algebraic numbers years before Dedekind proved unique factorization of ideals of a ring of algebraic integers, of a special kind. Then why is it that we see Dedekind and Dedekind domains everywhere yet no mention of Kronecker? This is a, sort of, preliminary response. If any readers have an idea of how this question should be answered, they are welcome to write to me at
  28. QUESTION: (HD0703). Is it correct to define a Prüfer domain as a domain whose finitely generated ideals are invertible?
  29. QUESTION: (HD0704). Is there a reference work on v-domains?  ANSWER: Click at the highlighted part:
  30. QUESTION: (HD0801) (Asked in person long ago.) Is there a good, brief, introduction to ideal systems in monoids from Ring-theoretic point of view?  ANSWER: Check out the answer to HD0704. I have provided some introduction which Professor Halter-Koch approved saying: “I have studied the new version of your question/answer session on v-domains. I was delighted to see that (for the first time?) the theory of ideal systems is mentioned in an adequate way.”
  31. QUESTION: (HD0802) I am interested in learning about the generalizations of Prüfer domains called v-domains and Prüfer v-multiplication domains, but they are studied using the star operations, which I am not very familiar with. Is there a way of defining these concepts without any mention of star operations?   
  32. QUESTION: (HD0803). In your article, "Putting t-invertibility to use", you mention on page 443 that you have an example of a t-linked extension that is not t-compatible and doesn't satisfy any of (a)-(d) on pages 442 and 443, and that this example would be included in another article. I was wondering if you could let me know some such examples or could point me to a reference. (This question was asked by Jesse Elliott of CSU Channel Island.)
  33. QUESTION: (HD0804) Call an irreducible element an atom. Some authors define an atomic domain as an integral domain in which every nonzero nonunit is a product of atoms and some define an atomic domain as one in which every nonzero nonunit is expressible as a product of atoms. Is there a difference?
  34. QUESTION: (HD0805) Let R be an integral domain which satisfies ACCP and I a non zero ideal of R. If R/I is an integral domain which is a homomorphic im.age of R Does R/I also satisfy ACCP? 
  35. QUESTION: (HD0806)  I was studying your paper "Factorization of certain sets of polynomials in an integral domain". In Theorem 5 of the paper for the proof of (1) <--> (2) you are quoting the reference of Arnold and Gilmer's paper, "on the contents of polynomials". But this paper does not contain the proof of the Result: Let D is an integral domain with identity having quotient field K. Then (1) If D is a Schreier ring, then for any positive integer n, D [X1…Xn] is inert in K [X1…Xn]. (2) If D [X1…Xn] is inert in K [X1…Xn] for some n greater than or equal to 1, then D is a Schreier ring. For that the author is writing that referee has communicated to the author. Sir do you have the proof of above result. If you have, then please send me.
  36. QUESTION: (HD0807) In Cohn's paper "Bezout rings and their subrings" theorem 2.4 has no proof, and I was able neither to find any source of it, nor build it by myself. You may refer me to other material or internet.
  37. QUESTION: (HD0901) In multiplicative ideal theory , we often deal with Picard groups. I want to know completely about the Picard groups. I also see in some materials that it has connections with Algebraic geometry. Please guide me to know about the Picard groups deeply. Which readings you suggest to be most useful?
  38. QUESTION: (HD0902) How do you construct integrally closed domains that are not PVMD's? What's the simplest such example known?
  39. QUESTION: (HD 0903) How do you construct a PVMD that is not Krull nor Prufer nor GCD? What's the simplest such example known?
  40. QUESTION: (HD 0904) Let A \subseteq B be an extension of integral domains, let X be an indeterminate over B and let R= A + XB[X]. Under what conditions is X (a) an irreducible element of R (b) a prime element of R?
  41. QUESTION: (HD1001) You refer to Conrad's F-condition a lot, in lattice ordered groups G, their generalizations, and in the so called multiplicative ideal theory; and it confuses me. I keep worrying about a situation in an l.o. group G where the condition F holds yet for some 0< a G we have that for every n N there is a set E_{n} consisting of pairwise disjoint elements below a. I would like to see a direct proof or an explicit reference where it is shown that the above situation cannot occur.
  42. QUESTION: (HD1002)Everyone tells me that an integral domain that satisfies ACCP is atomic but no one shows me how. Could you please?  Find answer at:
  43. QUESTION: (HD1101) I have the following question. It is taken from the exercises in Kaplansky’s book. Let R be a Prufer domain. Let P be a finitely generated prime ideal. Prove that P is maximal. Before the set of exercises, only 3 things have been proved. 1) Definition of Prufer domain, i.e every finitely generated ideal is invertible. 2) Invertible implies locally principal. 3) Localization of a prufer domain at a prime or maximal ideal is a valuation domain. Using these 3 facts, how can one give a proof of the above exercise.

44.  QUESTION: (HD1102) When, in a commutative ring R, is a prime ideal P an intersection of finitely many distinct prime ideals?    

45.  QUESTION: (HD1103) Let R be a commutative ring. Can we say anything nice about R if we know that the set of zero divisors of R is a prime ideal? (This interesting question was asked by Viji Thomas from TIFR, Mumbai, India.)

46.  QUESTION: (HD1104) In HD1103 you have used two terms: primal ideal and primal element. Are they related? Can I say that the principal ideal generated by a primal element is a primal ideal? (I recall that some authors call an element x of a domain R primary if xR is a primary ideal.)

47.  QUESTION: (HD1105) Must an almost factorial domain be locally factorial?

48.  QUESTION: (HD1201) How do primary, quasi primary and primal ideals relate? In particular if I is an ideal such that rad(I) is a prime must I be a primal ideal?

49.  QUESTION: (HD1202) Is there an easier method of finding an almost factorial domain that is not locally factorial?

50.  QUESTION: (HD1203) I would like to know if there is any characterization for rings in which the two concepts "Prime" and "Irreducible" for their elements are the same.

51.  QUESTION: (HD 1204) In the abstract of a paper that appeared in [JPAA, 214(9) (2010), 1633-1641] D'Anna, Finocchiaro and Fontana mention as classical the constructions A+XB[X], A+XB[[X]] and D+M. Where can I learn about these constructions?

52.  QUESTION: (HD 1205) You have shown that a PVMD is of finite t-character if and only if in it every nonzero t-locally principal ideal is t-invertible. Now given that the domain is t-locally a PVMD with every nonzero t-locally t-invertible t-ideal t-invertible, must the domain be of finite t-character using your result? 

53.  QUESTION: (HD 1207) Let R be a Prufer domain and suppose that (a^n, b^n) is a principal ideal? Does it imply (a; b) principal?

54.  QUESTION: (HD 1208)   Let R be a Noetherian local domain and let P be a height one prime ideal of R. Can we find an element x in P such that P is the only minimal prime containing x.

55.  QUESTION: (HD 1209) Why is the D+XD_S[X] construction from a GCD domain a Schreier domain? Could you give an example of a D+XD_S[X] construction from a GCD domain D such that D+XD_S[X] is not GCD?

56.  QUESTION: (HD 1210) What should we expect from an ideal A of grade 1 with A_{t}=D?

57.  QUESTION: (HD 1301) Anh, Marki and Vamos in [Trans. Amer. Math. Soc. 364 (8)(2012), 3967-3992 ] seem to suggest that what they call Bezout monoids provide the best set up for studying GCD domains and UFDs. Any comments?

58.  QUESTION: (HD 1302) Let L/K be a fields extension such that L is algebraic over K. Does there exists a positive integer m such that every irreducible element of K[X] (polynomial ring over K) has factorization of finite length less than m in L[X] ? If the response is "no", what are the couple (K,L) on which the response is "yes".

59.  QUESTION: (HD 1303) You showed that if A is a finitely generated ideal of a domain D and if S is a multiplicative set of D then (AD_{S})_{v}=(A_{v}D_{S})_{v}. Are there any examples where A_{v}D_{S}≠(AD_{S})_{v}?

60.  QUESTION: (HD 1402)    Let D be a PVMD and a nonzero in D such that every nonzero x divides a power of a then is it true that the Krull dimension of D is equal to the Krull dimension of the l-group of divisors of D ?

61.  QUESTION: (HD 1403) Anderson has shown that a locally principal ideal is a t-ideal. Can't we use the same argument to show that every w-locally principal ideal is a t-ideal?

62.  QUESTION: (HD 1404) Let $D$ be a domain and $I$ be an ideal of $D$. Set $I^{b}=\cap IV_{\alpha }$ where the intersection is taken over all valuation overrings $V_{\alpha }$ of $D$. I know that $b:I\mapsto I^{b}$ is a star operation when $D$ is integrally closed. But I do not know why $b$-operation is of finite type.

63.  QUESTION: (HD 1405) Why  is $R:=Z+Q[X]$ an H-domain?

64.  QUESTION: (HD 1406) On the page no 4502, in the fifth line of the paragraph next to the definition 1.1, it is written that "Thus, in some sense, the equivalence relation measures how far an HFD (resp. BFD, atomic domain) is from being a UFD (resp. FFD, CKD)." I could not understand in which sense the above statement is written.

{Question 2}: In the example 2.1 (b), it is given that "D is an – FFD if and only if D is FFD with U (D) finite." I could not get how the U D becomes finite. Also is it not true that an- FFD becomes - UFD?          


65.  QUESTION: (HD 1501) Let R be an integral domain and J be an ideal of R which is not contained in any non principal prime ideal of R. Is this ideal J principal? (Umar Nazir of Department of Mathematics, COMCASTS, Attok, Pakistan, asked this question.)

66.  QUESTION: (HD 1502) Is there an example of integral domain R, with fraction field K, such that, for some maximal ideal P of R, there exists a place of K extending the natural surjection from R to R/P, whose value field is a non trivial algebraic extension of R/P? This question was proposed by Michaël Bensimhoun, who also contributed with interesting remarks and examples.

67.  QUESTION: (HD1503) Let AB be an extension of integral domains such that for all divisorial ideals I of A we have: (c_{v}): I¹B = (IB)¹. Is it equivalent to the condition (c) of your article [ABZ, J. Algebra Appl. 11 (2012), no. 1, 1250007, 18 pp]? if not, is the extension t-linked? (we can suppose that both A and B are Krull domains but neither A nor B is Dedekind, because if A is Dedekind or reflexif (c_{v}) = (c)) ((c): I¹B = (IB)¹ for all I F(A)). (Walid Maaref, a Tunisian student, asked this question.)

68.  QUESTION: (HD 1504) Did anyone ever look at domains with the property that if the gcd exists for a given pair, then the LCM exists for that given pair or if the gcd exists for a given pair it is a linear combination? This question was proposed by Professor Daniel Anderson

69.  QUESTION (HD 1505): Said El-Baghdadi and Hwankoo Kim ask, in a paper to appear in Communication in Algebra, if D[[X]] is a generalized Krull domain when D is. Do you have any comments? I found the pre-print at ResearchGate under the title: Generalized Krull semigroup rings.

70.  QUESTION (HD 1506): Please give an example to show that an Almost-Schreier domain is not a pre-Schreier domain generally.

71.  QUESTION (HD 1601): Is there a Noetherian domain on which the star operations t, w, and d are distinct from one another?