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

Let S be a semigroup with 0 and R be a ring with 1. We extend the definition of the zero-divisor graphs of commutative semigroups to not necessarily commutative semigroups. We define an annihilating-ideal graph of a ring as a special type of zero-divisor graph of a semigroup. We introduce two ways to define the zero-divisor graphs of semigroups. The first definition gives a directed graph ${\Gamma}$(S), and the other definition yields an undirected graph ${\overline{\Gamma}}$(S). It is shown that ${\Gamma}$(S) is not necessarily connected, but ${\overline{\Gamma}}$(S) is always connected and diam$({\overline{\Gamma}}(S)){\leq}3$. For a ring R define a directed graph ${\mathbb{APOG}}(R)$ to be equal to ${\Gamma}({\mathbb{IPO}}(R))$, where ${\mathbb{IPO}}(R)$ is a semigroup consisting of all products of two one-sided ideals of R, and define an undirected graph ${\overline{\mathbb{APOG}}}(R)$ to be equal to ${\overline{\Gamma}}({\mathbb{IPO}}(R))$. We show that R is an Artinian (resp., Noetherian) ring if and only if ${\mathbb{APOG}}(R)$ has DCC (resp., ACC) on some special subset of its vertices. Also, it is shown that ${\overline{\mathbb{APOG}}}(R)$ is a complete graph if and only if either $(D(R))^2=0,R$ is a direct product of two division rings, or R is a local ring with maximal ideal m such that ${\mathbb{IPO}}(R)=\{0,m,m^2,R\}$. Finally, we investigate the diameter and the girth of square matrix rings over commutative rings $M_{n{\times}n}(R)$ where $n{\geq} 2$.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.531-540
• /
• 2015

Let (R, m) be a Noetherian local ring, I an ideal of R, and A an Artinian R-module. Let $k{\geq}0$ be an integer and $r=Width_{>k}(I,A)$ the supremum of length of A-cosequence in dimension > k in I defined by Nhan-Hoang [8]. It is shown that for all $t{\leq}r$ the sets $$(\bigcup_{i=0}^{t}Att_R(Tor_i^R(R/I^n,A)))_{{\geq}k}\;and\\(\bigcup_{i=0}^{t}Att_R(Tor_i^R(R/(a_1^{n_1},{\cdots},a_l^{n_l}),A)))_{{\geq}k}$$ are independent of the choice of $n,n_1,{\cdots},n_l$ for any system of generators ($a_1,{\cdots},a_l$) of I.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1385-1394
• /
• 2016

Let (R, m) be a Noetherian local ring, I, J two ideals of R, and A an Artinian R-module. Let $k{\geq}0$ be an integer and $r=Width_{>k}(I,A)$ the supremum of lengths of A-cosequences in dimension > k in I defined by Nhan-Hoang [9]. It is first shown that for each $t{\leq}r$ and each sequence $x_1,{\cdots},x_t$ which is an A-cosequence in dimension > k, the set $$\Large(\bigcup^{t}_{i=0}Att_R(0:_A(x_1^{n_1},{\ldots},x_i^{n_i})))_{{\geq}k}$$ is independent of the choice of $n_1,{\ldots},n_t$. Let r be the eventual value of $Width_{>k}(0:_AJ^n)$. Then our second result says that for each $t{\leq}r$ the set $\large(\bigcup\limits_{i=0}^{t}Att_R(Tor_i^R(R/I,\;(0:_AJ^n))))_{{\geq}k}$ is stable for large n.