• Korean Journal of Mathematics
• /
• v.24 no.3
• /
• pp.537-543
• /
• 2016

Let D be an integral domain, X be an indeterminate over D, D[X] be the polynomial ring over D, and D(X) be the Nagata ring of D. Let [d] be the star operation on D[X], which is an extension of the d-operation on D as in [5, Theorem 2.3]. In this paper, we show that D is a sharp domain if and only if D[X] is a [d]-sharp domain, if and only if D(X) is a sharp domain.

• Korean Journal of Mathematics
• /
• v.21 no.1
• /
• pp.41-53
• /
• 2013

Antoine studied conditions which are connected to the question of Amitsur of whether or not a polynomial ring over a nil ring is nil, introducing the notion of nil-Armendariz rings. Hizem extended the nil-Armendariz property for polynomial rings onto power-series rings, say nil power-serieswise rings. In this paper, we introduce the notion of power-serieswise CN rings that is a generalization of nil power-serieswise Armendariz rings. Finally, we study the nil-Armendariz property for Ore extensions and skew power series rings.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.837-851
• /
• 2021

Let R ⊆ L ⊆ S be ring extensions. Two star operations ${\ast}_1{\in}Star(R,S)$, ${\ast}_2{\in}Star(L,S)$ are said to be linked if whenever $A^{{\ast}_1}= R^{{\ast}_1}$ for some finitely generated S-regular R-submodule A of S, then $(AL)^{{\ast}_2}=L^{{\ast}_2}$. We study properties of linked star operations; especially when ${\ast}_1$ and ${\ast}_2$ are strict star operations. We introduce the notion of Prüfer star multiplication extension ($P{\ast}ME$) and we show that under appropriate conditions, if the extension R ⊆ S is $P{\ast}_1ME$ and ${\ast}_1$ is linked to ${\ast}_2$, then L ⊆ S is $P{\ast}_2ME$.

• Kyungpook Mathematical Journal
• /
• v.51 no.1
• /
• pp.1-10
• /
• 2011

Let (R, T) be a normal pair of commutative rings (i.e., R ${\subseteq}$ T is a unita extension of commutative rings, not necessarily integral domains, such that S is integrally closed in T for each ring S such that R ${\subseteq}$ S ${\subseteq}$ T) such that the total quotient ring of R is a von Neumann regular ring. Let P be one of the following ring-theoretic properties: going-down ring, extensionally going-down (EGD) ring, locally divided ring. Then R has P if and only if T has P. An example shows that the "if" part of the assertion fails if P is taken to be the "divided domain" property.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.1
• /
• pp.135-146
• /
• 2009

In the present note we study the properties of weak Armendariz rings, and the connections among weak Armendariz rings, Armendariz rings, reduced rings and IFP rings. We prove that a right Ore ring R is weak Armendariz if and only if so is Q, where Q is the classical right quotient ring of R. With the help of this result we can show that a semiprime right Goldie ring R is weak Armendariz if and only if R is Armendariz if and only if R is reduced if and only if R is IFP if and only if Q is a finite direct product of division rings, obtaining a simpler proof of Lee and Wong's result. In the process we construct a semiprime ring extension that is infinite dimensional, from given any semi prime ring. We next find more examples of weak Armendariz rings.

• Honam Mathematical Journal
• /
• v.29 no.4
• /
• pp.667-679
• /
• 2007

We study the prime ideal structure of the direct sum of directed system of rings indexed by a commutative semigroup which is nilpotent extension of a group.

• Journal of the Chungcheong Mathematical Society
• /
• v.13 no.2
• /
• pp.9-17
• /
• 2001

A ring R is called right mininjective if every isomorphsim between simple right ideals is given by left multiplication by an element of R. In this paper we consider that the necessary and sufficient condition for that Trivial extension of R by V, i.e. T(R; V ) is mininjective. We also study the split null extension R and S by V.

• Journal of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1161-1178
• /
• 2015

In this paper, we investigate the insertion-of-factors-property (simply, IFP) on skew polynomial rings, introducing the concept of strongly ${\sigma}-IFP$ for a ring endomorphism ${\sigma}$. A ring R is said to have strongly ${\sigma}-IFP$ if the skew polynomial ring R[x;${\sigma}$] has IFP. We examine some characterizations and extensions of strongly ${\sigma}-IFP$ rings in relation with several ring theoretic properties which have important roles in ring theory. We also extend many of related basic results to the wider classes, and so several known results follow as consequences of our results.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.5
• /
• pp.1501-1511
• /
• 2013

A ring R is called linearly McCoy if whenever linear polynomials $f(x)$, $g(x){\in}R[x]{\backslash}\{0\}$ satisfy $f(x)g(x)=0$, there exist nonzero elements $r,s{\in}R$ such that $f(x)r=sg(x)=0$. In this paper, extension properties of linearly McCoy rings are investigated. We prove that the polynomial ring over a linearly McCoy ring need not be linearly McCoy. It is shown that if there exists the classical right quotient ring Q of a ring R, then R is right linearly McCoy if and only if so is Q. Other basic extensions are also considered.

• Communications of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.611-622
• /
• 2024

The purpose of this paper is to introduce a new class of rings containing the class of m-formally Noetherian rings and contained in the class of nonnil-SFT rings introduced and investigated by Benhissi and Dabbabi in 2023 [4]. Let A be a commutative ring with a unit. The ring A is said to be nonnil-m-formally Noetherian, where m ≥ 1 is an integer, if for each increasing sequence of nonnil ideals (I_n)_n≥0 of A the (increasing) sequence (∑_i1+⋯+im=nI_i1I_i2⋯I_im)_n≥0 is stationnary. We investigate the nonnil-m-formally Noetherian variant of some well known theorems on Noetherian and m-formally Noetherian rings. Also we study the transfer of this property to the trivial extension and the amalgamation algebra along an ideal. Among other results, it is shown that A is a nonnil-m-formally Noetherian ring if and only if the m-power of each nonnil radical ideal is finitely generated. Also, we prove that a flat overring of a nonnil-m-formally Noetherian ring is a nonnil-m-formally Noetherian. In addition, several characterizations are given. We establish some other results concerning m-formally Noetherian rings.