• Bulletin of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1913-1925
• /
• 2017

Let R be a ring with identity. An ideal N of R is called ideal-symmetric (resp., ideal-reversible) if $ABC{\subseteq}N$ implies $ACB{\subseteq}N$ (resp., $AB{\subseteq}N$ implies $BA{\subseteq}N$) for any ideals A, B, C in R. A ring R is called ideal-symmetric if zero ideal of R is ideal-symmetric. Let S(R) (called the ideal-symmetric radical of R) be the intersection of all ideal-symmetric ideals of R. In this paper, the following are investigated: (1) Some equivalent conditions on an ideal-symmetric ideal of a ring are obtained; (2) Ideal-symmetric property is Morita invariant; (3) For any ring R, we have $S(M_n(R))=M_n(S(R))$ where $M_n(R)$ is the ring of all n by n matrices over R; (4) For a quasi-Baer ring R, R is semiprime if and only if R is ideal-symmetric if and only if R is ideal-reversible.

• Communications of the Korean Mathematical Society
• /
• v.26 no.3
• /
• pp.339-348
• /
• 2011

A ring R is called symmetric, if abc = 0 implies acb = 0 for a, b, c ${\in}$ R. An ideal I of a ring R is called symmetric (resp. radically-symmetric) if R=I (resp. R/$\sqrt{I}$) is a symmetric ring. We first show that symmetric ideals and ideals which have the insertion of factors property are radically-symmetric. We next show that if R is a semicommutative ring, then $T_n$(R) and R[x]=($x^n$) are radically-symmetric, where ($x^n$) is the ideal of R[x] generated by $x^n$. Also we give some examples of radically-symmetric ideals which are not symmetric. Connections between symmetric ideals of R and related ideals of some ring extensions are also shown. In particular we show that if R is a symmetric (or semicommutative) (${\alpha}$, ${\delta}$)-compatible ring, then R[x; ${\alpha}$, ${\delta}$] is a radically-symmetric ring. As a corollary we obtain a generalization of [13].

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

This note focuses on a ring property in which upper and lower nilradicals coincide, as a generalizations of symmetric rings. The concept of symmetric ideal and ring in the noncommutative ring theory was initially introduced by Lambek, as an extension of the usual commutative ideal theory. The investigation of symmetric rings provided many useful results to the study in the noncommutative ring theory. So the results obtained from this study may be applicable to observing the structure of zero divisors in various kinds of algebraic systems containing matrix rings and polynomial rings.

• Communications of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.373-397
• /
• 2024

Lambek introduced the concept of symmetric rings to expand the commutative ideal theory to noncommutative rings. In this study, we propose an extension of symmetric rings called strongly α-symmetric rings, which serves as both a generalization of strongly symmetric rings and an extension of symmetric rings. We define a ring R as strongly α-symmetric if the skew polynomial ring R[x; α] is symmetric. Consequently, we provide proofs for previously established outcomes regarding symmetric and strongly symmetric rings, directly derived from the results we have obtained. Furthermore, we explore various properties and extensions of strongly α-symmetric rings.

• Communications of the Korean Mathematical Society
• /
• v.36 no.2
• /
• pp.197-207
• /
• 2021

The main purpose of this paper is to study the zero-divisor properties of the zero-symmetric near-ring of skew formal power series R₀[[x; α]], where R is a symmetric, α-compatible and right Noetherian ring. It is shown that if R is reduced, then the set of all zero-divisor elements of R₀[[x; α]] forms an ideal of R₀[[x; α]] if and only if Z(R) is an ideal of R. Also, if R is a non-reduced ring and annR(a - b) ∩ Nil(R) ≠ 0 for each a, b ∈ Z(R), then Z(R₀[[x; α]]) is an ideal of R₀[[x; α]]. Moreover, if R is a non-reduced right Noetherian ring and Z(R₀[[x; α]]) forms an ideal, then ann_R(a - b) ∩ Nil(R) ≠ 0 for each a, b ∈ Z(R). Also, it is proved that the only possible diameters of the zero-divisor graph of R₀[[x; α]] is 2 and 3.

• Communications of the Korean Mathematical Society
• /
• v.36 no.2
• /
• pp.209-227
• /
• 2021

In this paper, we deal with the question that what kind of properties does a ring gain when it satisfies symmetricity or reversibility by the way of nilpotent elements? By the motivation of this question, we approach to symmetric and reversible property of rings via nilpotents. For symmetricity, we call a ring R middle right-(resp. left-)nil symmetric (mr-nil (resp. ml-nil) symmetric, for short) if abc = 0 implies acb = 0 (resp. bac = 0) for a, c ∈ R and b ∈ nil(R) where nil(R) is the set of all nilpotent elements of R. It is proved that mr-nil symmetric rings are abelian and so directly finite. We show that the class of mr-nil symmetric rings strictly lies between the classes of symmetric rings and weak right nil-symmetric rings. For reversibility, we introduce left (resp. right) N-reversible ideal I of a ring R if for any a ∈ nil(R), b ∈ R, being ab ∈ I implies ba ∈ I (resp. b ∈ nil(R), a ∈ R, being ab ∈ I implies ba ∈ I). A ring R is called left (resp. right) N-reversible if the zero ideal is left (resp. right) N-reversible. Left N-reversibility is a generalization of mr-nil symmetricity. We exactly determine the place of the class of left N-reversible rings which is placed between the classes of reversible rings and CNZ rings. We also obtain that every left N-reversible ring is nil-Armendariz. It is observed that the polynomial ring over a left N-reversible Armendariz ring is also left N-reversible.

• Journal of applied mathematics & informatics
• /
• v.5 no.3
• /
• pp.819-826
• /
• 1998

The purpose of this paper is to prove the following results; (1) Let R be a prime ring of char $(R)\neq 2$ and I a nonzero left ideal of R. The existence of a nonzero symmetric bi-derivation D : $R\timesR\;\longrightarrow\;$ such that d is sew-commuting on I where d is the trace of D forces R to be commutative (2) Let m and n be integers with $m\;\neq\;0.\;or\;n\neq\;0$. Let R be a noncommutative prime ring of char$ (R))\neq \; 2-1\; p_1 \;n_1$ where p is a prime number which is a divisor of m, and I a nonzero two-sided ideal of R. Let $D_1$ ; $R\;\times\;R\;\longrightarrow\;and\;$ $D_2\;:\;R\;\times\;R\;longrightarrow\;R$ be symmetric bi-derivations. Suppose further that there exists a symmetric bi-additive mapping B ; $R\;\times\;R\;\longrightarrow\;and\;$ such that $md_1(\chi)\chi ＋ n\chi d_2(\chi)=f(\chi$) holds for all $\chi$$\in$I, where $d_1 \;and\; d_2$ are the traces of $D_1 \;and\; D_2$ respectively and f is the trace of B. Then we have $D_1=0 \;and\; D_2=0$.

• Communications of the Korean Mathematical Society
• /
• v.27 no.3
• /
• pp.483-488
• /
• 2012

In this paper we introduce the notion of P-strongly regular near-ring. We have shown that a zero-symmetric near-ring N is P-strongly regular if and only if N is P-regular and P is a completely semiprime ideal. We have also shown that in a P-strongly regular near-ring N, the following holds: (i) $Na$ + P is an ideal of N for any $a{\in}N$. (ii) Every P-prime ideal of N containing P is maximal. (iii) Every ideal I of N fulfills I + P = $I^2$ + P.

• Communications of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1113-1121
• /
• 2018

Let R be a prime ring (or semiprime ring) with center Z(R), I a nonzero ideal of R, T an automorphism of $R,S:R^n{\rightarrow}R$ be a symmetric skew n-derivation associated with the automorphism T and ${\Delta}$ is the trace of S. In this paper, we shall prove that S($x_1,{\ldots},x_n$) = 0 for all $x_1,{\ldots},x_n{\in}R$ if any one of the following holds: i) ${\Delta}(x)=0$, ii) [${\Delta}(x),T(x)]=0$ for all $x{\in}I$. Moreover, we prove that if $[{\Delta}(x),T(x)]{\in}Z(R)$ for all $x{\in}I$, then R is a commutative ring.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.529-545
• /
• 2022

This article concerns a ring property that arises from combining one-sided duo factor rings and centers. A ring R is called right CIFD if R/I is right duo by some proper ideal I of R such that I is contained in the center of R. We first see that this property is seated between right duo and right π-duo, and not left-right symmetric. We prove, for a right CIFD ring R, that W(R) coincides with the set of all nilpotent elements of R; that R/P is a right duo domain for every minimal prime ideal P of R; that R/W(R) is strongly right bounded; and that every prime ideal of R is maximal if and only if R/W(R) is strongly regular, where W(R) is the Wedderburn radical of R. It is also proved that a ring R is commutative if and only if D₃(R) is right CIFD, where D₃(R) is the ring of 3 by 3 upper triangular matrices over R whose diagonals are equal. Furthermore, we show that the right CIFD property does not pass to polynomial rings, and that the polynomial ring over a ring R is right CIFD if and only if R/I is commutative by a proper ideal I of R contained in the center of R.