• Communications of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.45-58
• /
• 2024

Let R be a commutative ring with identity. If the nilpotent radical N il(R) of R is a divided prime ideal, then R is called a ϕ-ring. Let R be a ϕ-ring and S be a multiplicative subset of R. In this paper, we introduce and study the class of nonnil-S-coherent rings, i.e., the rings in which all finitely generated nonnil ideals are S-finitely presented. Also, we define the concept of ϕ-S-coherent rings. Among other results, we investigate the S-version of Chase's result and Chase Theorem characterization of nonnil-coherent rings. We next study the possible transfer of the nonnil-S-coherent ring property in the amalgamated algebra along an ideal and the trivial ring extension.

• Journal of the Korean Mathematical Society
• /
• v.46 no.1
• /
• pp.99-111
• /
• 2009

A ring is called left P-coherent if every principal left ideal is finitely presented. Let M be a right R-module with the endomorphism ring S. We mainly study the P-coherence of S. It is shown that S is a left P-coherent ring if and only if the left annihilator $ann_S$(X) is a finitely generated left ideal of S for any M-cyclic submodule X of M if and only if every cyclically M-presented right R-module has an M-torsionfree preenvelope. As applications, we investigate when the endomorphism ring S is left PP or von Neumann regular.

• Communications of the Korean Mathematical Society
• /
• v.11 no.3
• /
• pp.797-805
• /
• 1996

We provide a new proof of the following fact using least area surfaces : If the fundamental group of a $P^2$-irreducible closed 3-manifold M contains a finitely generated nontrivial normal subgroup of infinite index, then M has a finite cover which is a closed surface bundle over $S^1$ , unless N is free.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.5
• /
• pp.1221-1233
• /
• 2021

In this paper, we introduce and investigate a new class of modules that is closely related to the class of Noetherian modules. Let R be a commutative ring and M be an R-module. We say that M is an r-Noetherian module if every r-submodule of M is finitely generated. Also, we call the ring R to be an r-Noetherian ring if R is an r-Noetherian R-module, or equivalently, every r-ideal of R is finitely generated. We show that many properties of Noetherian modules are also true for r-Noetherian modules. Moreover, we extend the concept of weakly Noetherian rings to the category of modules and we characterize Noetherian modules in terms of r-Noetherian and weakly Noetherian modules. Finally, we use the idealization construction to give non-trivial examples of r-Noetherian rings that are not Noetherian.

• 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.

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

Let (R, m) be a commutative Noetherian local domain, M a non-zero finitely generated R-module of dimension n > 0 and I be an ideal of R. In this paper it is shown that if $x_1,{\ldots },x_t$ ($1{\leq}t{\leq}n$) be a sub-set of a system of parameters for M, then the R-module $H^t_{(x_1,{\ldots },x_t)}$(R) is faithful, i.e., Ann $H^t_{(x_1,{\ldots },x_t)}$(R) = 0. Also, it is shown that, if $H^i_I$ (R) = 0 for all i > dim R - dim R/I, then the R-module $H^{dimR-dimR/I}_I(R)$ is faithful. These results provide some partially affirmative answers to the Lynch's conjecture in [10]. Moreover, for an ideal I of an arbitrary Noetherian ring R, we calculate the annihilator of the top local cohomology module $H^1_I(M)$, when $H^i_I(M)=0$ for all integers i > 1. Also, for such ideals we show that the finitely generated R-algebra $D_I(R)$ is a flat R-algebra.

• Honam Mathematical Journal
• /
• v.22 no.1
• /
• pp.9-16
• /
• 2000

An A-module M is catenary if for each pair of prime submodules K and L of M with $K{\subset}L$ all saturated chains of prime submodules of M from K to L have a common finite length. We show that when A is a Noetherian domain, then every finitely generated A-module is catenary if and only if A is a Dedekind domain or a field. Moreover, a torsion-free divisible A-module M is catenary if and only if the vector space M over Q(A) (the field of fractions of A) is finite dimensional.

• Journal of the Korean Mathematical Society
• /
• v.58 no.2
• /
• pp.439-449
• /
• 2021

In this paper, we introduce the notions of expansiveness, shadowing property and topological stability for group actions on metric spaces and give a version of Walters's stability theorem for group actions on locally compact metric spaces. Moreover, we show that if G is a finitely generated virtually nilpotent group and there exists g ∈ G such that if Tg is expansive and has the shadowing property, then T is topologically stable.

• Korean Journal of Mathematics
• /
• v.29 no.2
• /
• pp.267-269
• /
• 2021

A finitely generated torsion module M for ℤ_p[[T, T₂, ⋯ , T_d]] is pseudo-null if M/TM is pseudo-null over ℤ_p[[T₂, ⋯ , T_d]]. This result is used as a tool to prove the generalized Greenberg's conjecture in certain cases. The converse may not be true. In this paper, we give examples of pseudo-null Iwasawa modules whose reduction are not pseudo-null.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.5
• /
• pp.1177-1190
• /
• 2022

Let R be a commutative ring with identity. We call the ring R to be an almost quasi-coherent ring if for any finite set of elements α₁, …, α_p and a of R, there exists a positive integer m such that the ideals $\bigcap{_{i=1}^{p}}\;R{\alpha}^m_i$ and Ann_R(α^m) are finitely generated, and to be almost von Neumann regular rings if for any two elements a and b in R, there exists a positive integer n such that the ideal (αⁿ, bⁿ) is generated by an idempotent element. This paper establishes necessary and sufficient conditions for the Nagata's idealization and the amalgamated algebra to inherit these notions. Our results allow us to construct original examples of rings satisfying the above-mentioned properties.