• Honam Mathematical Journal
• /
• v.21 no.1
• /
• pp.43-47
• /
• 1999

In this paper we show that in case of Noetherian ring R(1) if R is coprimely packed then R((X)) is coprimely packed and (2) if Max(R) is coprimely packed then so is MaxR((X)).

• Communications of the Korean Mathematical Society
• /
• v.37 no.2
• /
• pp.337-345
• /
• 2022

Let R ⊆ T be an extension of a commutative ring and S ⊆ R a multiplicative subset. We say that (R, T) is an S-accr (a commutative ring R is said to be S-accr if every ascending chain of residuals of the form (I : B) ⊆ (I : B²) ⊆ (I : B³) ⊆ ⋯ is S-stationary, where I is an ideal of R and B is a finitely generated ideal of R) pair if every ring A with R ⊆ A ⊆ T satisfies S-accr. Using this concept, we give an S-version of several different known results.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.2
• /
• pp.371-381
• /
• 2020

A ring R is called right pure-injective if it is injective with respect to pure exact sequences. According to a well known result of L. Melkersson, every commutative Artinian ring is pure-injective, but the converse is not true, even if R is a commutative Noetherian local ring. In this paper, a series of conditions under which right pure-injective rings are either right Artinian rings or quasi-Frobenius rings are given. Also, some of our results extend previously known results for quasi-Frobenius rings.

• Kyungpook Mathematical Journal
• /
• v.47 no.1
• /
• pp.127-132
• /
• 2007

In this paper, we show that if R is a commutative ring with identity and (S, ${\leq}$) is a strictly totally ordered monoid, then the ring [[$R^{S,{\leq}}$]] of generalized power series is a PF-ring if and only if for any two S-indexed subsets A and B of R such that $B{\subseteq}ann_R(|A)$, there exists $c{\in}ann_R(A)$ such that $bc=b$ for all $b{\in}B$, and that for a Noetherian ring R, $[[R^{S,{\leq}}$]] is a PP ring if and only if R is a PP ring.

• Kyungpook Mathematical Journal
• /
• v.47 no.3
• /
• pp.363-372
• /
• 2007

An element $a$ in a ring R is called left morphic if $$R/Ra{\simeq_-}1(a)$$. A ring is called left morphic if every element is left morphic. In this paper, an element $a$ in a ring R is called left ${\pi}$-morphic (resp. left G-morphic) if there exists a positive number $n$ such that $a^n$ (resp. $a^n{\neq}0$) is left morphic. A ring R is called left ${\pi}$-morphic (resp. left G-morphic) if every element is left ${\pi}$-morphic (resp. left G-morphic). The Morita invariance of left ${\pi}$-morphic (resp. left G-morphic) rings is discussed. Several relevant properties are proved. In particular, it is shown that a left Noetherian ring R with $M_4(R)$ left G-morphic or $M_2(R)$ left morphic is QF. Some known results of left morphic rings are extended to left G-morphic rings and left ${\pi}$-morphic rings.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.961-976
• /
• 2019

Let R be any commutative ring and S be any multiplicative closed set. We introduce an S-version of $\mathcal{F}$-Mittag-Leffler modules, called $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, and define the projective dimension with respect to these modules. We give some characterizations of $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, investigate the relationships between $\mathcal{F}$-Mittag-Leffler modules and $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, and use these relations to describe noetherian rings and coherent rings, such as R is noetherian if and only if $R_S$ is noetherian and every $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler module is $\mathcal{F}$-Mittag-Leffler. Besides, we also investigate the $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension of R, and prove that $R_S$ is noetherian if and only if its $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension is zero; $R_S$ is coherent if and only if its $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension is at most one.

• Communications of the Korean Mathematical Society
• /
• v.15 no.2
• /
• pp.257-261
• /
• 2000

Northcott and Mckerrow proved that if R is a left noe-therian ring and E is an injective left R-module, then E[x-1] is an injective left R[x]-module. In this paper we generalize Northcott and McKerrow's result so that if R is a left noetherian ring and E is an in-jective left R-module, then E[x-S] is an injective left R[xS]-module, where S is a submonoid of N (N is the set of all natural numbers).

• Journal of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.457-470
• /
• 2005

Yu showed that every right (left) primitive factor ring of weakly right (left) duo rings is a division ring. It is not difficult to show that each weakly right (left) duo ring is abelian and has the classical right (left) quotient ring. In this note we first provide a left duo ring (but not weakly right duo) in spite of it being left Noetherian and local. Thus we observe conditions under which weakly one-sided duo rings may be two-sided. We prove that a weakly one-sided duo ring R is weakly duo under each of the following conditions: (1) R is semilocal with nil Jacobson radical; (2) R is locally finite. Based on the preceding case (1) we study a kind of composition length of a right or left Artinian weakly duo ring R, obtaining that i(R) is finite and $\alpha^{i(R)}R\;=\;R\alpha^{i(R)\;=\;R\alpha^{i(R)}R\;for\;all\;\alpha\;{\in}\;R$, where i(R) is the index (of nilpotency) of R. Note that one-sided Artinian rings and locally finite rings are strongly $\pi-regular$. Thus we also observe connections between strongly $\pi-regular$ weakly right duo rings and related rings, constructing available examples.

• Communications of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.711-719
• /
• 2018

In this paper we define and study a new kind of dimension called, semisimple dimension, that measures how far a module is from being semisimple. Like other kinds of dimensions, this is an ordinal valued invariant. We give some interesting and useful properties of rings or modules which have semisimple dimension. It is shown that a noetherian module with semisimple dimension is an artinian module. A domain with semisimple dimension is a division ring. Also, for a semiprime right non-singular ring R, if its maximal right quotient ring has semisimple dimension as a right R-module, then R is a semisimple artinian ring. We also characterize rings whose modules have semisimple dimension. In fact, it is shown that all right R-modules have semisimple dimension if and only if the free right R-module ${\oplus}^{\infty}_{i=1}$ R has semisimple dimension, if and only if R is a semisimple artinian ring.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.2
• /
• pp.373-386
• /
• 2014

Let (R,m) be a commutative Noetherian local ring. In this paper we show that a finitely generated R-module M of dimension d is Cohen-Macaulay if and only if there exists a proper ideal I of R such that depth($M/I^nM$) = d for $n{\gg}0$. Also we show that, if dim(R) = d and $I_1{\subset}\;{\cdots}\;{\subset}I_n$ is a chain of ideals of R such that $R/I_k$ is maximal Cohen-Macaulay for all k, then $n{\leq}{\ell}_R(R/(a_1,{\ldots},a_d)R)$ for every system of parameters $a1,{\ldots},a_d$ of R. Also, in the case where dim(R) = 2, we prove that the ideal transform $D_m(R/p)$ is minimax balanced big Cohen-Macaulay, for every $p{\in}Assh_R$(R), and we give some equivalent conditions for this ideal transform being maximal Cohen-Macaulay.