• Korean Journal of Mathematics
• /
• v.31 no.1
• /
• pp.95-107
• /
• 2023

Consider ℛ to be an associative prime ring and 𝒦 to be a nonzero dense ideal of ℛ. A mapping (need not be additive) ℱ : ℛ → 𝒬_mr associated with derivation d : ℛ → ℛ is called a multiplicative b-generalized derivation if ℱ(αδ) = ℱ(α)δ +bαd(δ) holds for all α, δ ∈ ℛ and for any fixed (0 ≠)b ∈ 𝒬_s ⊆ 𝒬_mr. In this manuscript, we study the commutativity of prime rings when the map b-generalized derivation satisfies the strong commutativity preserving condition and moreover, we investigate the commutativity of prime rings that admit multiplicative b-generalized derivation, which improves many results in the literature.

• Communications of the Korean Mathematical Society
• /
• v.10 no.4
• /
• pp.839-847
• /
• 1995

For the given torsion theory $\tau$, we study some equivalent conditions when the localized ring $R_\tau$ be semisimple artinian (Theorem 4). Using this, if $R_\tau$ is semisimple artinian ring, we study when does the given ring R become left V-ring?

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.5
• /
• pp.1319-1334
• /
• 2020

In this paper, we study the basic theory of the category of graded w-Noetherian modules over a graded ring R. Some elementary concepts, such as w-envelope of graded modules, graded w-Noetherian rings and so on, are introduced. It is shown that: (1) A graded domain R is graded w-Noetherian if and only if R^g_𝔪 is a graded Noetherian ring for any gr-maximal w-ideal m of R, and there are only finite numbers of gr-maximal w-ideals including a for any nonzero homogeneous element a. (2) Let R be a strongly graded ring. Then R is a graded w-Noetherian ring if and only if R_e is a w-Noetherian ring. (3) Let R be a graded w-Noetherian domain and let a ∈ R be a homogeneous element. Suppose 𝖕 is a minimal graded prime ideal of (a). Then the graded height of the graded prime ideal 𝖕 is at most 1.

• Communications of the Korean Mathematical Society
• /
• v.32 no.4
• /
• pp.827-833
• /
• 2017

In this paper, we define a set including of all $f_a$ with $a{\in}R$ generalized derivations of R and is denoted by $f_R$. It is proved that (i) the mapping $g:L(R){\rightarrow}f_R$ given by g (a) = f-a for all $a{\in}R$ is a Lie epimorphism with kernel $N_{{\sigma},{\tau}}$ ; (ii) if R is a semiprime ring and ${\sigma}$ is an epimorphism of R, the mapping $h:f_R{\rightarrow}I(R)$ given by $h(f_a)=i_{{\sigma}(-a)}$ is a Lie epimorphism with kernel $l(f_R)$ ; (iii) if $f_R$ is a prime Lie ring and A, B are Lie ideals of R, then $[f_A,f_B]=(0)$ implies that either $f_A=(0)$ or $f_B=(0)$.

• Korean Journal of Mathematics
• /
• v.27 no.1
• /
• pp.141-150
• /
• 2019

In this article we investigate the structure of rings in which lower nilradicals coincide with upper nilradicals. Such rings shall be said to be quasi-2-primal. It is shown first that the $K{\ddot{o}}the^{\prime}s$ conjecture holds for quasi-2-primal rings. So the results in this article may provide interesting and useful information to the study of nilradicals in various situations. In the procedure we study the structure of quasi-2-primal rings, and observe various kinds of quasi-2-primal rings which do roles in ring theory.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.4
• /
• pp.885-898
• /
• 2012

Let m, n, r be nonzero fixed positive integers, R a 2-torsion free prime ring, Q its right Martindale quotient ring, and L a non-central Lie ideal of R. Let D : $R{\rightarrow}R$ be a skew derivation of R and $E(x)=D(x^{m+n+r})-D(x^m)x^{n+r}-x^mD(x^n)x^r-x^{m+n}D(x^r)$. We prove that if $E(x)=0$ for all $x{\in}L$, then D is a usual derivation of R or R satisfies $s_4(x_1,{\ldots},x_4)$, the standard identity of degree 4.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.857-866
• /
• 2009

Let n be a fixed positive integer, R be a 2n!-torsion free prime ring and $\mu$, $\nu$ be a pair of generalized derivations on R. If < $\mu^2(x)+\nu(x),\;x^n$ > = 0 for all x $\in$ R, then $\mu$ and $\nu$ are either left multipliers or right multipliers. Let n be a fixed positive integer, R be a noncommutative 2n!-torsion free prime ring with the center $C_R$ and d, g be a pair of derivations on R. If < $d^2(x)+g(x)$, $x^n$ > $\in$ $C_R$ for all x $\in$ R, then d = g = 0. Then we apply these purely algebraic techniques to obtain several range inclusion results of pair of (generalized-)derivations on a Banach algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.4
• /
• pp.635-643
• /
• 2002

Our main goal is to show that if there exist Jordan derivations D and G on a noncommutative (n + 1)!-torsion free prime ring R such that $$D(x)x^n-x^nG(x)\in\ C(R)$$ for all $x\in\ R$, then we have D=0 and G=0. We also prove that if there exists a derivation D on a noncommutative 2-torsion free prime ring R such that the mapping $\chi$longrightarrow[aD($\chi$), $\chi$] is commuting on R, then we have either a = 0 or D = 0.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.2
• /
• pp.573-586
• /
• 2018

Let R be a noncommutative prime ring of characteristic different from 2, Q be its maximal right ring of quotients and C be its extended centroid. Suppose that $f(x_1,{\ldots},x_n)$ be a noncentral multilinear polynomial over $C,b{\in}Q,F$ a b-generalized derivation of R and d is a nonzero derivation of R such that d([F(f(r)), f(r)]) = 0 for all $r=(r_1,{\ldots},r_n){\in}R^n$. Then one of the following holds: (1) there exists ${\lambda}{\in}C$ such that $F(x)={\lambda}x$ for all $x{\in}R$; (2) there exist ${\lambda}{\in}C$ and $p{\in}Q$ such that $F(x)={\lambda}x+px+xp$ for all $x{\in}R$ with $f(x_1,{\ldots},x_n)^2$ is central valued in R.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.5
• /
• pp.1281-1293
• /
• 2023

The purpose of this paper is to study the relationship between the structure of a factor ring R/P and the behavior of some derivations of R. More precisely, we establish a connection between the commutativity of R/P and derivations of R satisfying specific identities involving the prime ideal P. Moreover, we provide an example to show that our results cannot be extended to semi-prime ideals.