A Prüferdomain is defined as an integral domain for which each nonzerofinitely generated ideal is invertible or, equivalently, projective. In general, if R is a domain, we have the following equivalent statements:(i) R is semihereditary (see §2.6 for the definition).(ii) w.gl.dim(R) ≤ 1 (see §2.5 for the definition).(iii) R_m is a chain domain for every∈ Max(R) (see§1.2,§1.3 for definitions). (iv) R is a Gaussiandomain(see §3.1 for the definition).(v) R is a Prüfer domain.The definition of each class of ring featured in (i)–(v) can be extended to commutative rings which are not necessarily integral domains, i.e., which may have zero-divisors. However, there are examplesshowing thatno twoof (i)–(v)are equivalentin this more general setting. In fact we have strict implicationsR is semihereditary ⇒ w.gl.dim(R) ≤ 1 ⇒ R_m is a chain ring for every maximal idealof R ⇒ R is a Gaussian ring ⇒ (v) R is a Prüfer ring.We concentrate our studies on the weak global dimension of Gaussian rings.The authors of [BaGl] proposed a conjecture thatthere were only three possibilities for the weak global dimension of a Gaussian ring, namely 0, 1 or ∞.We follow the authors of [DT] by referring to this as the Bazzoni–Glaz Conjecture.In [Gl2, Theorem 2.2], it is shown that if the Gaussian ring R is a reduced ring (i.e., R is a ring for which the zero element is the only nilpotent element) then R has weak global dimension at most 1, verifying the Conjecture in this case. The case of non-reduced Gaussian rings is given a great deal of attention in the 2011 preprint[DT].The authors of [DT] provethe Conjecture is true using a number of concepts from homological algebra. We give details for some of these results and refer to articles and books for others. The proof in [DT] is quite long, involving several reduction steps to reach the final outcome.In the Chapter 1 we introduce some well-established results from the ideal theory of commutative rings. For the most part, we will skip the proofs of these results and give references for them to the reader. This chapter is very important for the following chapters. We then look at some homologicalalgebra definitions, results and methods in Chapter 2. In particular, this chapter will look at the weak global dimension of a ring R. The third chapter concentrates on the ideal structure of Gaussian rings, especially local Gaussian rings, detailing general properties of their internal structure.Finally, in Chapter 4, we give a detailed proof of the Bazzoni–Glaz Conjecture. This final lengthy chapter considers an all-inclusive number of cases of Gaussian rings and shows that the conjecture holds for every case.
PDF
download
878987797
028-85220240
