• Bulletin of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.331-342
• /
• 2017

Let R be a commutative ring with nonzero identity and G be a nontrivial finite group. Also, let Z(R) be the set of zero-divisors of R and, for $a{\in}Z(R)$, let $ann(a)=\{r{\in}R{\mid}ra=0\}$. The annihilator graph of the group ring RG is defined as the graph AG(RG), whose vertex set consists of the set of nonzero zero-divisors, and two distinct vertices x and y are adjacent if and only if $ann(xy){\neq}ann(x){\cup}ann(y)$. In this paper, we study the annihilator graph associated to a group ring RG.

• The Pure and Applied Mathematics
• /
• v.1 no.1
• /
• pp.1-6
• /
• 1994

In this paper, some properties for a PI-ring satisfying the descending chain condition on essential left ideals are studied: Let R be a ring with a polynomial identity satisfying the descending chain condition on essential ideals. Then all minimal prime ideals in R are maximal ideals. Moreover, if R has only finitely many minimal prime ideals, then R is left and right Artinian. Consequently, if every primeideal of R is finitely generated as a left ideal, then R is left and right Artinian. A finitely generated PI-algebra over a commutative Noetherian ring satisfying the descending chain condition on essential left ideals is a finite module over its center.(omitted)

• Honam Mathematical Journal
• /
• v.41 no.3
• /
• pp.531-538
• /
• 2019

We introduce FI-${\oplus}$-supplemented modules as a proper generalization of ${\oplus}$-supplemented modules. We prove that; (1) every finite direct sum of FI-${\oplus}$-supplemented R-modules is an FI-${\oplus}$-supplemented R-module for any ring R ; (2) if every left R-module is FI-${\oplus}$-supplemented over a semilocal ring R, then R is left perfect; (3) if M is a finitely generated torsion-free uniform R-module over a commutative integrally closed domain such that every direct summand of M is FI-${\oplus}$-supplemented, then M is a direct sum of cyclic modules.

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

• Communications of the Korean Mathematical Society
• /
• v.35 no.4
• /
• pp.1045-1056
• /
• 2020

Let R be a commutative ring with unity. The extension of annihilating-ideal graph of R, $^{\bar{\mathbb{AG}}}$(R), is the graph whose vertices are nonzero annihilating ideals of R and two distinct vertices I and J are adjacent if and only if there exist n, m ∈ ℕ such that IⁿJ^m = (0) with Iⁿ, J^m ≠ (0). First, we differentiate when 𝔸𝔾(R) and $^{\bar{\mathbb{AG}}}$(R) coincide. Then, we have characterized the diameter and the girth of $^{\bar{\mathbb{AG}}}$(R) when R is a finite direct products of rings. Moreover, we show that $^{\bar{\mathbb{AG}}}$(R) contains a cycle, if $^{\bar{\mathbb{AG}}}$(R) ≠ 𝔸𝔾(R).

• Journal of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.633-643
• /
• 2010

Let a be an ideal of a commutative Noetherian ring R, M a finitely generated R-module and N a weakly Laskerian R-module. We show that if N has finite dimension d, then $Ass_R(H^d_a(N))$ consists of finitely many maximal ideals of R. Also, we find the least integer i, such that $H^i_a$(M, N) is not consisting of finitely many maximal ideals of R.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.551-559
• /
• 2016

Recently a construction of local cohomology functors for compactly generated triangulated categories admitting small coproducts is introduced and studied by Benson, Iyengar, Krause, Asadollahi and their coauthors. Following their idea, we introduce the depth of objects in such triangulated categories and get that when (R, m) is a graded-commutative Noetherian local ring, the depth of every cohomologically bounded and cohomologically finite object is not larger than its dimension.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.149-160
• /
• 2023

Let 𝖆 and 𝖇 be ideals of a commutative Noetherian ring R and M a finitely generated R-module of finite dimension d > 0. In this paper, we obtain some results about the annihilators and attached primes of top local cohomology and top formal local cohomology modules. In particular, we determine Ann(𝖇 H^d_𝖆(M)), Att(𝖇 H^d_𝖆(M)), Ann(𝖇𝔉^d_𝖆(M)) and Att(𝖇𝔉^d_𝖆(M)).

• Kyungpook Mathematical Journal
• /
• v.48 no.3
• /
• pp.443-455
• /
• 2008

For an extension $A\;{\subseteq}\;B$ of commutative rings, we present a sufficient conditio for the ring $[[A^{S,\;\leq}]]$ of generalized power series to be weakly normal (resp., stronglyt-closed) in $[[B^{S,\;\leq}]]$, where (S, $\leq$) be a torsion-free cancellative strictly ordered monoid. As a corollary, it can be applied to the ring of power series in infinitely many indeterminates as well as in finite indeterminates.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.3
• /
• pp.637-647
• /
• 2023

Let R be a commutative Noetherian ring, 𝔞 an ideal of R, M an arbitrary R-module and X a finite R-module. We prove a characterization for Hⁱ_𝔞(M) and Hⁱ_𝔞(X, M) to be 𝔞-weakly cofinite for all i, whenever one of the following cases holds: (a) ara(𝔞) ≤ 1, (b) dim R/𝔞 ≤ 1 or (c) dim R ≤ 2. We also prove that, if M is a weakly Laskerian R-module, then Hⁱ_𝔞(X, M) is 𝔞-weakly cofinite for all i, whenever dim X ≤ 2 or dim M ≤ 2 (resp. (R, m) a local ring and dim X ≤ 3 or dim M ≤ 3). Let d = dim M < ∞, we prove an equivalent condition for top local cohomology module H^d_𝔞(M) to be weakly Artinian.