• Journal of the Korean Mathematical Society
• /
• v.59 no.4
• /
• pp.821-841
• /
• 2022

In this paper, we introduce and study regular rings relative to the hereditary torsion theory w (a special case of a well-centered torsion theory over a commutative ring), called w-regular rings. We focus mainly on the w-regularity for w-coherent rings and w-Noetherian rings. In particular, it is shown that the w-coherent w-regular domains are exactly the Prüfer v-multiplication domains and that an integral domain is w-Noetherian and w-regular if and only if it is a Krull domain. We also prove the w-analogue of the global version of the Serre-Auslander-Buchsbaum Theorem. Among other things, we show that every w-Noetherian w-regular ring is the direct sum of a finite number of Krull domains. Finally, we obtain that the global weak w-projective dimension of a w-Noetherian ring is 0, 1, or ∞.

• Journal of the Korean Mathematical Society
• /
• v.52 no.1
• /
• pp.1-21
• /
• 2015

C-domains are defined via class semigroups, and every C-domain is a Mori domain with nonzero conductor whose complete integral closure is a Krull domain with finite class group. In order to extend the concept of C-domains to rings with zero divisors, we study v-Marot rings as generalizations of ordinary Marot rings and investigate their theory of regular divisorial ideals. Based on this we establish a generalization of a result well-known for integral domains. Let R be a v-Marot Mori ring, $\hat{R}$ its complete integral closure, and suppose that the conductor f = (R : $\hat{R}$) is regular. If the residue class ring R/f and the class group C($\hat{R}$) are both finite, then R is a C-ring. Moreover, we study both v-Marot rings and C-rings under various ring extensions.

• Journal of the Korean Mathematical Society
• /
• v.48 no.1
• /
• pp.49-61
• /
• 2011

Let D be an integral domain with quotient field K, X be a nonempty set of indeterminates over D, * be a star operation on D, $N_*$={f $\in$ D[X]|c(f)$^*$= D}, $*_w$ be the star operation on D defined by $I^{*_w}$ = ID[X]${_N}_*$ $\cap$ K, and [*] be the star operation on D[X] canonically associated to * as in Theorem 2.1. Let $A^g$ (resp., $A^{[*]g}$, $A^{[*]g}$) be the global (resp.,*-global, [*]-global) transform of a ring A. We show that D is a $*_w$-Noetherian domain if and only if D[X] is a [*]-Noetherian domain. We prove that $D^{*g}$[X]${_N}_*$ = (D[X]${_N}_*$)$^g$ = (D[X])$^{[*]g}$; hence if D is a $*_w$-Noetherian domain, then each ring between D[X]${_N}_*$ and $D^{*g}$[X]${_N}_*$ is a Noetherian domain. Let $\tilde{D}$ = $\cap${$D_P$|P $\in$ $*_w$-Max(D) and htP $\geq$2}. We show that $D\;\subseteq\;\tilde{D}\;\subseteq\;D^{*g}$ and study some properties of $\tilde{D}$ and $D^{*g}$.

• Bulletin of the Korean Mathematical Society
• /
• v.20 no.1
• /
• pp.45-49
• /
• 1983

If R is ring and M is a right (or left) R-module, then M is called a faithful R-module if, for some a in R, x.a=0 for all x.mem.M then a=0. In [4], R.E. Johnson defines that M is a prime module if every non-zero submodule of M is faithful. Let us define that M is of prime type provided that M is faithful if and only if every non-zero submodule is faithful. We call a right (left) ideal I of R is of prime type if R/I is of prime type as a R-module. This is equivalent to the condition that if xRy.subeq.I then either x.mem.I ro y.mem.I (see [5:3:1]). It is easy to see that in case R is a commutative ring then a right or left ideal of a prime type is just a prime ideal. We have defined in [5], that a chain of right ideals of prime type in a ring R is a finite strictly increasing sequence I$_{0}$.contnd.I$_{1}$.contnd....contnd.I$_{n}$; the length of the chain is n. By the right dimension of a ring R, which is denoted by dim, R, we mean the supremum of the length of all chains of right ideals of prime type in R. It is an integer .geq.0 or .inf.. The left dimension of R, which is denoted by dim$_{l}$ R is similarly defined. It was shown in [5], that dim$_{r}$R=0 if and only if dim$_{l}$ R=0 if and only if R modulo the prime radical is a strongly regular ring. By "a strongly regular ring", we mean that for every a in R there is x in R such that axa=a=a$^{2}$x. It was also shown that R is a simple ring if and only if every right ideal is of prime type if and only if every left ideal is of prime type. In case, R is a (right or left) primitive ring then dim$_{r}$R=n if and only if dim$_{l}$ R=n if and only if R.iden.D$_{n+1}$ , n+1 by n+1 matrix ring on a division ring D. in this paper, we establish the following results: (1) If R is prime ring and dim$_{r}$R=n then either R is a righe Ore domain such that every non-zero right ideal of a prime type contains a non-zero minimal prime ideal or the classical ring of ritght quotients is isomorphic to m*m matrix ring over a division ring where m.leq.n+1. (b) If R is prime ring and dim$_{r}$R=n then dim$_{l}$ R=n if dim$_{l}$ R=n if dim$_{l}$ R<.inf. (c) Let R be a principal right and left ideal domain. If dim$_{r}$R=1 then R is an unique factorization domain.TEX>R=1 then R is an unique factorization domain.

• Journal of the Korean Mathematical Society
• /
• v.38 no.5
• /
• pp.915-935
• /
• 2001

Let V be any valuation domain and let E be a subset of the quotient field K of V. We study the ring of integer-valued polynomials on E, that is, Int(E, V)={f$\in$K[X]｜f(E)⊆V}. We show that, if E is precompact, then Int(E, V) has many properties similar to those of the classical ring Int(Z).In particular, Int(E, V) is dense in the ring of continuous functions C(E, V); each finitely generated ideal of Int(E, V) may be generated by two elements; and finally, Int(E, V) is a Prufer domain.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.4
• /
• pp.1007-1012
• /
• 2018

Let R be an integral domain. We prove that the power series ring R[[X]] is a Krull domain if and only if R[[X]] is a generalized Krull domain and t-dim $R{\leq}1$, which improves a well-known result of Paran and Temkin. As a consequence we show that one of the following statements holds: (1) the concepts "Krull domain" and "generalized Krull domain" are the same in power series rings, (2) there exists a non-t-SFT domain R with t-dim R > 1 such that t-dim R[[X]] = 1.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.5
• /
• pp.1319-1334
• /
• 2020

In this paper, we study the basic theory of the category of graded w-Noetherian modules over a graded ring R. Some elementary concepts, such as w-envelope of graded modules, graded w-Noetherian rings and so on, are introduced. It is shown that: (1) A graded domain R is graded w-Noetherian if and only if R^g_𝔪 is a graded Noetherian ring for any gr-maximal w-ideal m of R, and there are only finite numbers of gr-maximal w-ideals including a for any nonzero homogeneous element a. (2) Let R be a strongly graded ring. Then R is a graded w-Noetherian ring if and only if R_e is a w-Noetherian ring. (3) Let R be a graded w-Noetherian domain and let a ∈ R be a homogeneous element. Suppose 𝖕 is a minimal graded prime ideal of (a). Then the graded height of the graded prime ideal 𝖕 is at most 1.

• Journal of the Korean Mathematical Society
• /
• v.51 no.3
• /
• pp.509-525
• /
• 2014

Let R be a commutative ring with identity. An R-module M is said to be w-projective if $Ext\frac{1}{R}$(M,N) is GV-torsion for any torsion-free w-module N. In this paper, we define a ring R to be w-semi-hereditary if every finite type ideal of R is w-projective. To characterize w-semi-hereditary rings, we introduce the concept of w-injective modules and study some basic properties of w-injective modules. Using these concepts, we show that R is w-semi-hereditary if and only if the total quotient ring T(R) of R is a von Neumann regular ring and $R_m$ is a valuation domain for any maximal w-ideal m of R. It is also shown that a connected ring R is w-semi-hereditary if and only if R is a Pr$\ddot{u}$fer v-multiplication domain.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.6
• /
• pp.1851-1861
• /
• 2014

We introduce the concept of w-zero-divisor (w-ZD) rings and study its related rings. In particular it is shown that an integral domain R is an SM domain if and only if R is a w-locally Noetherian w-ZD ring and that a commutative ring R is w-Noetherian if and only if the polynomial ring in one indeterminate R[X] is a w-ZD ring. Finally we characterize universally zero divisor rings in terms of w-ZD modules.

• Proceedings of the Optical Society of Korea Conference
• /
• 2006.02a
• /
• pp.313-314
• /
• 2006

We have investigated the wavelength tuning characteristics due to the vernier effect of coupled-ring reflector laser diode including active region within resonators using time-domain modeling. It is shown that the wavelength can be widely tuned with side mode suppression ratio more than 30dB by adjusting the refractive index difference between mismatched rings.