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

Fully prime rings (in which every proper ideal is prime) have been studied by Blair and Tsutsui, and fully semiprime rings (in which every proper ideal is semiprime) have been studied by Courter. For a given module M, we introduce the notions of a fully prime module and a fully semiprime module, and extend certain results of Blair, Tsutsui, and Courter to the category subgenerated by M. We also consider the relationship between the conditions (1) M is a fully prime (semiprime) module, and (2) the endomorphism ring of M is a fully prime (semiprime) ring.

• Communications of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.277-285
• /
• 2017

In the various module generalizations of the concepts of prime (semiprime) for a ring, the question "when are semiprime modules subdirect product of primes?" is a serious question in this context and it is considered by earlier authors in the literature. We continue study on the above question by showing that: If R is Morita equivalent to a right pre-duo ring (e.g., if R is commutative) then weakly compressible R-modules are precisely subdirect products of prime R-modules if and only if dim(R) = 0 and R/N(R) is a semi-Artinian ring if and only if every classical semiprime module is semiprime. In this case, the class of weakly compressible R-modules is an enveloping for Mod-R. Some related conditions are also investigated.

• The Pure and Applied Mathematics
• /
• v.14 no.4
• /
• pp.271-278
• /
• 2007

Let R be a 2-torsion free semiprime ring. Suppose that there exists a 4-permuting 4-derivation ${\Delta}:R{\times}R{\times}R{\times}R{\rightarrow}R$ such that the trace is centralizing on R. Then the trace of ${\Delta}$ is commuting on R. In particular, if R is a 3!-torsion free prime ring and ${\Delta}$ is nonzero under the same condition, then R is commutative.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.3
• /
• pp.451-458
• /
• 2009

Let $n{\geq}2$ be a fixed positive integer and let R be a noncommutative n!-torsion free semiprime ring. Suppose that there exists a symmetric n-derivation $\Delta$ : $R^{n}{\rightarrow}R$ such that the trace of $\Delta$ is centralizing on R. Then the trace is commuting on R. If R is a n!-torsion free prime ring and $\Delta{\neq}0$ under the same condition. Then R is commutative.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.789-794
• /
• 2007

Let R be a 3-torsion free semiprime ring and let I be a nonzero two-sided ideal of R. Suppose that there exists a permuting 3-derivation ${\Delta}:R{\times}R{\times}R{\rightarrow}R$ such that the trace is centralizing on I. Then the trace of ${\Delta}$ is commuting on I. In particular, if R is a 3!-torsion free prime ring and ${\Delta}$ is nonzero under the same condition, then R is commutative.

• The Pure and Applied Mathematics
• /
• v.13 no.4 s.34
• /
• pp.303-310
• /
• 2006

M. $Bre\v{s}ar$ and J. Vukman obtained some results concerning orthogonal derivations in semiprime rings which are related to the result that is well-known to a theorem of Posner for the product of two derivations in prime rings. In this paper, we present orthogonal generalized derivations in semiprime near-rings.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.477-484
• /
• 2005

Let R be a ring with an automorphism 17. An ideal [ of R is ($\sigma$-ideal of R if $\sigma$(I).= I. A proper ideal P of R is ($\sigma$-prime ideal of R if P is a $\sigma$-ideal of R and for $\sigma$-ideals I and J of R, IJ $\subseteq$ P implies that I $\subseteq$ P or J $\subseteq$ P. A proper ideal Q of R is $\sigma$-semiprime ideal of Q if Q is a $\sigma$-ideal and for a $\sigma$-ideal I of R, I$^{2}$ $\subseteq$ Q implies that I $\subseteq$ Q. The $\sigma$-prime radical is defined by the intersection of all $\sigma$-prime ideals of R and is denoted by P$_{(R). In this paper, the following results are obtained: (1) For a principal ideal domain R, P$_{(R) is the smallest $\sigma$-semiprime ideal of R; (2) For any ring R with an automorphism $\sigma$ and for a skew Laurent polynomial ring R[x, x$^{-1}$; $\sigma$], the prime radical of R[x, x$^{-1}$; $\sigma$] is equal to P$_{(R)[x, x$^{-1}$; $\sigma$ ].

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.3
• /
• pp.553-565
• /
• 2009

In this paper we prove that every generalized Jordan triple higher derivation on a 2-torsion free semiprime ring is a generalized higher derivation. This extend the main result of [9] to the case of a semiprime ring.

• Journal of applied mathematics & informatics
• /
• v.39 no.5_6
• /
• pp.761-768
• /
• 2021

Let I be a nonzero ideal of a prime ring R and m, n are positive integers. If R admits a generalized derivation F satisfying F(x)ⁿF(y)^m - xⁿy^m = 0 for any y, x ∈ I, then F(x) = ax for any x ∈ R and a^m+n = 1, where a ∈ C, the extended centroid of R.

• East Asian mathematical journal
• /
• v.18 no.2
• /
• pp.271-282
• /
• 2002

Let R be a ring with an endomorphism $\sigma$ and a derivation $\delta$. An ideal I of R is ($\sigma,\;\delta$)-ideal of R if $\sigma(I){\subseteq}I$ and $\delta(I){\subseteq}I$. An ideal P of R is a ($\sigma,\;\delta$)-prime ideal of R if P(${\neq}R$) is a ($\sigma,\;\delta$)-ideal and for ($\sigma,\;\delta$)-ideals I and J of R, $IJ{\subseteq}P$ implies that $I{\subseteq}P$ or $J{\subseteq}P$. An ideal Q of R is ($\sigma,\;\delta$)-semiprime ideal of R if Q is a ($\sigma,\;\delta$)-ideal and for ($\sigma,\;\delta$)-ideal I of R, $I^2{\subseteq}Q$ implies that $I{\subseteq}Q$. The ($\sigma,\;\delta$)-prime radical (resp. prime radical) is defined by the intersection of all ($\sigma,\;\delta$)-prime ideals (resp. prime ideals) of R and is denoted by $P_{(\sigma,\delta)}(R)$(resp. P(R)). In this paper, the following results are obtained: (1) $P_{(\sigma,\delta)}(R)$ is the smallest ($\sigma,\;\delta$)-semiprime ideal of R; (2) For every extended endomorphism $\bar{\sigma}$ of $\sigma$, the $\bar{\sigma}$-prime radical of an Ore extension $P(R[x;\sigma,\delta])$ is equal to $P_{\sigma,\delta}(R)[x;\sigma,\delta]$.