• Journal of the Korean Mathematical Society
• /
• v.54 no.3
• /
• pp.1049-1061
• /
• 2017

The paper presents a characterization of stable random measures, giving a canonical form of their Laplace transform. Domain of attraction of stable random measures is concerned in a theorem showing that a random measure belongs to domain of attraction of any stable random measures if and only if it varies regularly at infinity.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.2
• /
• pp.649-657
• /
• 2018

Let R be a commutative ring. In this paper, the w-projective Basis Lemma for w-projective modules is given. Then it is shown that for a domain, nonzero w-projective ideals and nonzero w-invertible ideals coincide. As an application, it is proved that R is a Krull domain if and only if every submodule of finitely generated projective modules is w-projective.

• Journal of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.427-440
• /
• 2017

In this paper, in terms of the notions of strongly copure projective modules and the copure projective dimension cpD(R) of a ring R were defined in [12], we show that a domain R has $cpD(R){\leq}1$ if and only if R is a Gorenstein Dedekind domain.

• Korean Journal of Mathematics
• /
• v.8 no.1
• /
• pp.87-90
• /
• 2000

Let R be an integral domain with identity. We show that each associated prime ideal of a principal ideal in R[X] has height one if and only if each associated prime ideal of a principal ideal in R has height one and R is an S-domain.

• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.3
• /
• pp.477-489
• /
• 2013

The aim of this paper is to give an alternative definition of sets as follows: A domain is a $set$ if and only if it belongs to Set.

• 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.60 no.2
• /
• pp.407-464
• /
• 2023

Let R be a commutative ring with identity. The structure theorem says that R is a PIR (resp., UFR, general ZPI-ring, π-ring) if and only if R is a finite direct product of PIDs (resp., UFDs, Dedekind domains, π-domains) and special primary rings. All of these four types of integral domains are Krull domains, so motivated by the structure theorem, we study the prime factorization of ideals in a ring that is a finite direct product of Krull domains and special primary rings. Such a ring will be called a general Krull ring. It is known that Krull domains can be characterized by the star operations v or t as follows: An integral domain R is a Krull domain if and only if every nonzero proper principal ideal of R can be written as a finite v- or t-product of prime ideals. However, this is not true for general Krull rings. In this paper, we introduce a new star operation u on R, so that R is a general Krull ring if and only if every proper principal ideal of R can be written as a finite u-product of prime ideals. We also study several ring-theoretic properties of general Krull rings including Kaplansky-type theorem, Mori-Nagata theorem, Nagata rings, and Noetherian property.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.2
• /
• pp.419-429
• /
• 2022

An integral domain R is an RTP domain (or has the radical trace property) (resp. an LTP domain) if I(R : I) is a radical ideal for each nonzero noninvertible ideal I (resp. I(R : I)R_P = PR_P for each minimal prime P of I(R : I)). Clearly each RTP domain is an LTP domain, but whether the two are equivalent is open except in certain special cases. In this paper, we study the descent of these notions from particular overrings of R to R itself.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.6
• /
• pp.1207-1218
• /
• 2011

Let * be a star-operation on an integral domain R, and let $\mathfrak{I}_*^+(R)$ be the semigroup of *-invertible integral *-ideals of R. In this article, we introduce the concept of a *-coatom, and we then characterize when $\mathfrak{I}_*^+(R)$ is a free semigroup with a set of free generators consisting of *-coatoms. In particular, we show that $\mathfrak{I}_*^+(R)$ is a free semigroup if and only if R is a Krull domain and each ${\upsilon}$-invertible ${\upsilon}$-ideal is *-invertible. As a corollary, we obtain some characterizations of *-Dedekind domains.

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

It is well known that for a Krull domain R, the divisor class group of R is a torsion group if and only if every subintersection of R is a ring of quotients. Thus a natural question is that under what conditions, for a non-Krull domain R, every (t-)subintersection (resp., t-linked overring) of R is a ring of quotients or every (t-)subintersection (resp., t-linked overring) of R is at. To address this question, we introduce the notions of *-compact packedness and *-coprime packedness of (an ideal of) an integral domain R for a star operation * of finite character, mainly t or w. We also investigate the t-theoretic analogues of related results in the literature.