• Communications of the Korean Mathematical Society
• /
• v.38 no.2
• /
• pp.451-459
• /
• 2023

We give a characterization of zero divisors of the ring C[a, b]. Using the Weierstrass approximation theorem, we completely characterize topological divisors of zero of the Banach algebra C[a, b]. We also characterize the zero divisors and topological divisors of zero in ℓ^∞. Further, we show that zero is the only zero divisor in the disk algebra 𝒜 (𝔻) and that the class of singular elements in 𝒜 (𝔻) properly contains the class of topological divisors of zero. Lastly, we construct a class of topological divisors of zero of 𝒜 (𝔻) which are not zero divisors.

• Kyungpook Mathematical Journal
• /
• v.51 no.1
• /
• pp.37-42
• /
• 2011

Let M be an R-module and S a semigroup. Our goal is to discuss zero-divisors of the semigroup module M[S]. Particularly we show that if M is an R-module and S a commutative, cancellative and torsion-free monoid, then the R[S]-module M[S] has few zero-divisors of size n if and only if the R-module M has few zero-divisors of size n and Property (A).

• Kyungpook Mathematical Journal
• /
• v.49 no.2
• /
• pp.221-233
• /
• 2009

In this article, we generalize a well-known result of Hebisch and Weinert that states that a finite semidomain is either zerosumfree or a ring. Specifically, we show that the class of commutative semirings S such that S has nonzero characteristic and every zero-divisor of S is nilpotent can be partitioned into zerosumfree semirings and rings. In addition, we demonstrate that if S is a finite commutative semiring such that the set of zero-divisors of S forms a subtractive ideal of S, then either every zero-sum of S is nilpotent or S must be a ring. An example is given to establish the existence of semirings in this latter category with both nontrivial zero-sums and zero-divisors that are not nilpotent.

• Communications of the Korean Mathematical Society
• /
• v.32 no.1
• /
• pp.7-17
• /
• 2017

Let R be a commutative ring with zero-divisors Z(R). The extended zero-divisor graph of R, denoted by $\bar{\Gamma}(R)$, is the (simple) graph with vertices $Z(R)^*=Z(R){\backslash}\{0\}$, the set of nonzero zero-divisors of R, where two distinct nonzero zero-divisors x and y are adjacent whenever there exist two non-negative integers n and m such that $x^ny^m=0$ with $x^n{\neq}0$ and $y^m{\neq}0$. In this paper, we consider the extended zero-divisor graphs of idealizations $R{\ltimes}M$ (where M is an R-module). At first, we distinguish when $\bar{\Gamma}(R{\ltimes}M)$ and the classical zero-divisor graph ${\Gamma}(R{\ltimes}M)$ coincide. Various examples in this context are given. Among other things, the diameter and the girth of $\bar{\Gamma}(R{\ltimes}M)$ are also studied.

• East Asian mathematical journal
• /
• v.39 no.3
• /
• pp.349-354
• /
• 2023

The motivation in this paper comes from the recent results about Bell inequalities and topological insulators from group theory. Symmetries which are interested in group theory could be mainly used to find material structures. In this point of views, we study group extending by adding one relator which is easily called an equation. So a relative group extension by a adding relator is aspherical if the natural injection is one-to-one and the group ring has no zero divisor. One of concepts of asphericity means that a new group by a adding relator is well extended. Also, we consider that several equations and relative presentations over torsion-free groups are related to zero divisors.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1629-1643
• /
• 2016

Let R be a ring with identity, X be the set of all nonzero, nonunits of R and G be the group of all units of R. A ring R is called unit-duo ring if $[x]_{\ell}=[x]_r$ for all $x{\in}X$ where $[x]_{\ell}=\{ux{\mid}u{\in}G\}$ (resp. $[x]_r=\{xu{\mid}u{\in}G\}$) which are equivalence classes on X. It is shown that for a semisimple unit-duo ring R (for example, a strongly regular ring), there exist a finite number of equivalence classes on X if and only if R is artinian. By considering the zero divisor graph (denoted ${\tilde{\Gamma}}(R)$) determined by equivalence classes of zero divisors of a unit-duo ring R, it is shown that for a unit-duo ring R such that ${\tilde{\Gamma}}(R)$ is a finite graph, R is local if and only if diam(${\tilde{\Gamma}}(R)$) = 2.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.1285-1295
• /
• 2015

An SM domain is an integral domain which satisfies the ascending chain condition on w-ideals. Then an SM domain also satisfies the descending chain condition on those chains of v-ideals whose intersection is not zero. In this paper, a study is begun to extend these properties to commutative rings with zero divisors. A $Q_0$-SM ring is defined to be a ring which satisfies the ascending chain condition on semiregular w-ideals and satisfies the descending chain condition on those chains of semiregular v-ideals whose intersection is semiregular. In this paper, some properties of $Q_0$-SM rings are discussed and examples are provided to show the difference between $Q_0$-SM rings and SM rings and the difference between $Q_0$-SM rings and $Q_0$-Mori rings.

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

• Communications of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.39-46
• /
• 2023

Let R be a commutative ring, M be a Noetherian R-module, and N a 2-absorbing submodule of M such that r(N :_R M) = 𝖕 is a prime ideal of R. The main result of the paper states that if N = Q₁ ∩ ⋯ ∩ Q_n with r(Q_i :_R M) = 𝖕_i, for i = 1, . . . , n, is a minimal primary decomposition of N, then the following statements are true. (i) 𝖕 = 𝖕_k for some 1 ≤ k ≤ n. (ii) For each j = 1, . . . , n there exists m_j ∈ M such that 𝖕_j = (N :_R m_j). (iii) For each i, j = 1, . . . , n either 𝖕_i ⊆ 𝖕_j or 𝖕_j ⊆ 𝖕_i. Let Γ_E(M) denote the zero-divisor graph of equivalence classes of zero divisors of M. It is shown that {Q₁∩ ⋯ ∩Q_n-1, Q₁∩ ⋯ ∩Q_n-2, . . . , Q₁} is an independent subset of V (Γ_E(M)), whenever the zero submodule of M is a 2-absorbing submodule and Q₁ ∩ ⋯ ∩ Q_n = 0 is its minimal primary decomposition. Furthermore, it is proved that Γ_E(M)[(0 :_R M)], the induced subgraph of Γ_E(M) by (0 :_R M), is complete.

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.1
• /
• pp.71-77
• /
• 1993

Every ring considered in the paper will be assumed to be commutative and have a unit element. An ideal A of a ring R will be called primal if the elements of R which are zero divisors modulo A, form an ideal of R, say pp. If A is a primal ideal of R, P is called the adjoint ideal of A. The adjoint ideal of a primal ideal is prime [2]. The definition of primal ideals may also be formulated as follows: An ideal A of a ring R is primal if in the residue class ring R/A the zero divisors form an ideal of R/A. If Q is a primary idel of a ring R then every zero divisor of R/Q is nilpotent; therefore, Q is a primal ideal of R. That a primal ideal need not be primary, is shown by an example in [2]. Let R[X], and R[[X]] denote the polynomial ring and formal power series ring in an indeterminate X over a ring R, respectively. Let S be a multiplicative system in a ring R and S$^{-1}$ R the quotient ring of R. Let Q be a P-primary ideal of a ring R. Then Q[X] is a P[X]-primary ideal of R[X], and S$^{-1}$ Q is a S$^{-1}$ P-primary ideal of a ring S$^{-1}$ R if S.cap.P=.phi., and Q[[X]] is a P[[X]]-primary ideal of R[[X]] if R is Noetherian [1]. We search for analogous results when primary ideals are replaced with primal ideals. To show an ideal A of a ring R to be primal, it sufficies to show that a-b is a zero divisor modulo A whenever a and b are zero divisors modulo A.