• Journal of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.417-429
• /
• 2015

Let R be a commutative ring with unity. The annihilator ideal graph of R, denoted by ${\Gamma}_{Ann}(R)$, is a graph whose vertices are all non-trivial ideals of R and two distinct vertices I and J are adjacent if and only if $I{\cap}Ann(J){\neq}\{0\}$ or $J{\cap}Ann(I){\neq}\{0\}$. In this paper, we study some connections between the graph-theoretic properties of this graph and some algebraic properties of rings. We characterize all rings whose annihilator ideal graphs are totally disconnected. Also, we study diameter, girth, clique number and chromatic number of this graph. Moreover, we study some relations between annihilator ideal graph and zero-divisor graph associated with R. Among other results, it is proved that for a Noetherian ring R if ${\Gamma}_{Ann}(R)$ is triangle free, then R is Gorenstein.

• Communications of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.697-709
• /
• 2020

In this paper, the class of quasi-annihilator (homo)flat acts based on the notion of quasi-annihilator ideal is introduced. This class lies strictly between the classes of weakly (homo)flat and principally weakly (homo)flat acts. Some properties of such kinds of flatness are studied. We present some homological classifications for monoids by means of quasiannihilator (homo)flatness of their right Rees factor acts.

• Communications of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.415-427
• /
• 2019

Let R be an associative ring with nonzero identity. The annihilator ideal graph of R, denoted by ${\Gamma}_{Ann}(R)$, is a graph whose vertices are all nonzero proper left ideals and all nonzero proper right ideals of R, and two distinct vertices I and J are adjacent if $I{\cap}({\ell}_R(J){\cup}r_R(J)){\neq}0$ or $J{\cap}({\ell}_R(I){\cup}r_R(I)){\neq}0$, where ${\ell}_R(K)=\{b{\in}R|bK=0\}$ is the left annihilator of a nonempty subset $K{\subseteq}R$, and $r_R(K)=\{b{\in}R|Kb=0\}$ is the right annihilator of a nonempty subset $K{\subseteq}R$. In this paper, we assume that R is a semicommutative ring. We study the structure of ${\Gamma}_{Ann}(R)$. Also, we investigate the relations between the ring-theoretic properties of R and graph-theoretic properties of ${\Gamma}_{Ann}(R)$. Moreover, some combinatorial properties of ${\Gamma}_{Ann}(R)$, such as domination number and clique number, are studied.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.4
• /
• pp.1025-1034
• /
• 2023

Let U be the restricted quantized enveloping algebra Ũ_q(𝖘𝖑₂) over an algebraically closed field of characteristic zero, where q is a primitive 𝑙-th root of unity (with 𝑙 being odd and greater than 1). In this paper we show that any indecomposable submodule of U under the adjoint action is generated by finitely many special elements. Using this result we describe all ideals of U. Moreover, we classify annihilator ideals of simple modules of U by generators.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.2
• /
• pp.223-234
• /
• 2003

This note contains the following results for a ring A : (1) A is simple Artinian if and only if A is a prime right YJ-injective, right and left V-ring with a maximal right annihilator ; (2) if A is a left quasi-duo ring with Jacobson radical J such that $_{A}$A/J is p-injective, then the ring A/J is strongly regular ; (3) A is von Neumann regular with non-zero socle if and only if A is a left p.p.ring containing a finitely generated p-injective maximal left ideal satisfying the following condition : if e is an idempotent in A, then eA is a minimal right ideal if and only if Ae is a minimal left ideal ; (4) If A is left non-singular, left YJ-injective such that each maximal left ideal of A is either injective or a two-sided ideal of A, then A is either left self-injective regular or strongly regular : (5) A is left continuous regular if and only if A is right p-injective such that for every cyclic left A-module M, $_{A}$M/Z(M) is projective. ((5) remains valid if 《continuous》 is replaced by 《self-injective》 and 《cyclic》 is replaced by 《finitely generated》. Finally, we have the following two equivalent properties for A to be von Neumann regula. : (a) A is left non-singular such that every finitely generated left ideal is the left annihilator of an element of A and every principal right ideal of A is the right annihilator of an element of A ; (b) Change 《left non-singular》 into 《right non-singular》in (a).(a).

• Journal of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.539-558
• /
• 2019

An ideal of a commutative ring is called a d-ideal if it contains the annihilator of the annihilator of each of its elements. Denote by DId(A) the lattice of d-ideals of a ring A. We prove that, as in the case of f-rings, DId(A) is an algebraic frame. Call a ring homomorphism "compatible" if it maps equally annihilated elements in its domain to equally annihilated elements in the codomain. Denote by $SdRng_c$ the category whose objects are rings in which the sum of two d-ideals is a d-ideal, and whose morphisms are compatible ring homomorphisms. We show that $DId:\;SdRng_c{\rightarrow}CohFrm$ is a functor (CohFrm is the category of coherent frames with coherent maps), and we construct a natural transformation $RId{\rightarrow}DId$, in a most natural way, where RId is the functor that sends a ring to its frame of radical ideals. We prove that a ring A is a Baer ring if and only if it belongs to the category $SdRng_c$ and DId(A) is isomorphic to the frame of ideals of the Boolean algebra of idempotents of A. We end by showing that the category $SdRng_c$ has finite products.

• Communications of the Korean Mathematical Society
• /
• v.17 no.2
• /
• pp.229-235
• /
• 2002

In this paper we show that if K is an incline with multiplicative identity and I is an r-ideal of k containing a unit u, then I = K. Moreover, we show that in a non-zero incline K with multiplicative identity and zero element, every proper r-ideal in K is contained in a maximal r-ideal of K.

• Honam Mathematical Journal
• /
• v.27 no.3
• /
• pp.333-341
• /
• 2005

A characterization of prime ideals is discussed. A relation between prime ideals and ideals of the form $A_w^{\wedge}$ is given. The prime ideal theorem is established. The notion of annihilators is introduced, and basic properties are investigated.

• Kyungpook Mathematical Journal
• /
• v.62 no.3
• /
• pp.595-613
• /
• 2022

Let R be a commutative ring with identity and let I be a proper ideal of R. In this paper, we study the ideal based extended zero-divisor graph 𝚪'_I (R) and prove that 𝚪'_I (R) is connected with diameter at most two and if 𝚪'_I (R) contains a cycle, then girth is at most four girth at most four. Furthermore, we study affinity the connection between the ideal based extended zero-divisor graph 𝚪'_I (R) and the ideal-based zero-divisor graph 𝚪_I (R) associated with the ideal I of R. Among the other things, for a radical ideal of a ring R, we show that the ideal-based extended zero-divisor graph 𝚪'_I (R) is identical to the ideal-based zero-divisor graph 𝚪_I (R) if and only if R has exactly two minimal prime-ideals which contain I.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.445-453
• /
• 1996

A closed subspace J of a Banach space X is called an M-ideal in X if the annihilator $J^\perp$ of J is an L-summand of $X^*$. That is, there exists a closed subspace J' of $X^*$ such that $X^* = J^\perp \oplus J'$ and $\left\$\mid$ p + q \right\$\mid$ = \left\$\mid$ p \right\$\mid$ + \left\$\mid$ q \right\$\mid$$ wherever $p \in J^\perp and q \in J'$.