Pr\"ufer v-multiplication domains and related domains of the form D+E[Γ∗]
- Publication date
- Publisher
- 포항공과대학교
Abstract
DoctorLet D⊆E be an extension of integral domains, K bethe quotient field of D, S be a(saturated) multiplicative subset of D with D⊊DS,Γ be a nonzero torsion-free (additive) grading monoid withΓ∩−Γ={0}, Γ∗=Γ∖{0},G be the quotient group of Γ, D[Γ] be the semigroup ring of Γ over D,D(S,Γ)=D+DS[Γ∗]={f∈DS[Γ]∣f(0)∈D}, and(D,E,Γ)=D+E[Γ∗]={f∈E[Γ]∣f(0)∈D}.In this dissertation,we study PvMDs and related domains in the view of the composite semigroup ring(D,E,Γ). To do that, we first investigate the domain D(S,Γ)as a special case of (D,E,Γ).In fact, we show that D(S,Γ) is a PvMD (resp.,GCD-domain, GGCD-domain, integrally closed AGCD-domain) if and only ifD is a PvMD (resp., GCD-domain, GGCD-domain, integrally closed AGCD-domain), Γ isa valuation semigroup and S is a t-splitting (resp., splitting,d-splitting, almost splitting) set of D. We also prove thatD(S,Γ) is a Pr\"ufer domain (resp., B\'ezout domain) if and only ifD is a Pr\"ufer domain (resp., B\'ezout domain), Γ is a Pr\"ufer submonoid ofQ and DS=K.We also give some examples of a nonzero torsion-free (additive) grading valuation semigroup.Next, by using these results, we study the domain (D,E,Γ).We prove that if E∩K=D, then (D,E,Γ) is a PvMD (resp., GCD-domain, GGCD-domain,Pr\"ufer domain) if and only if D=E, D is a PvMD (resp., GCD-domain, GGCD-domain,field) and Γ is a PvMS (resp., GCD-semigroup, GGCD-semigroup, Pr\"ufer submonoid of Q).We show that if D⊊K⊆E, then(D,E,Γ) is a PvMD (resp., GCD-domain, GGCD-domain, integrally closed AGCD-domain)if and only if D is a PvMD (resp., GCD-domain, GGCD-domain, integrally closed AGCD-domain),E=K and Γ is a valuation semigroup.We also show that if D⊊K⊆E, then(D,E,Γ) is a B\'ezout domain (resp., Pr\"ufer domain) if and only if D isa B\'ezout domain (resp., Pr\"ufer domain), E=K and Γ is a Pr\"ufer submonoid of Q.For the general case, we prove that if D⊊E, then(D,E,Γ) is a GCD-domain (resp., integrally closed AGCD-domain) if and only ifD is a GCD-domain (resp., integrally closed AGCD-domain), Γ is a valuation semigroup andE=DS for some splitting (resp., almost splitting) set S of D.Also, we show that if D⊊E, then (D,E,Γ) is a B\'ezout domain if and only ifD is a B\'ezout domain, E=K andΓ is a Pr\"ufer submonoid of Q. Finally,we characterize generalized Krull domains and GUFDs via the domain (D,E,Γ).We prove that if G is of type (0,0,0,⋯), then (D,E,Γ) is a generalized Krull domain (resp.,GUFD) if and only if D=E, D is a generalized Krull domain (resp., GUFD)and Γ is a generalized Krull semigroup (resp., weakly factorial GCD-semigroup)