• Communications of the Korean Mathematical Society
• /
• v.13 no.2
• /
• pp.225-232
• /
• 1998

Let H be a finite dimensional Hopf algebra over a field k, and A be an H-module algebra over k which the H-action on A is D-continuous. We show that $Q_{max}(A)$, the maximal ring or quotients of A, is an H-module algebra. This is used to prove that if H is a finite dimensional semisimple Hopf algebra and A is a semiprime right(left) Goldie algebra than $A#H$ is a semiprime right(left) Goldie algebra. Assume that Asi a semiprime H-module algebra Then $A^H$ is left Artinian if and only if A is left Artinian.

• Kyungpook Mathematical Journal
• /
• v.51 no.3
• /
• pp.301-309
• /
• 2011

In this paper we dene the notions of left *-bimultiplier, *-bimultiplier and generalized *-biderivation, and to prove that if a semiprime *-ring admits a left *-bimultiplier M, then M maps R ${\times}$ R into Z(R). In Section 3, we discuss the applications of theory of *-bimultipliers. Further, it was shown that if a semiprime *-ring R admits a symmetric generalized *-biderivation G : R ${\times}$ R ${\rightarrow}$ R with an associated nonzero symmetric *-biderivation R ${\times}$ R ${\rightarrow}$ R, then G maps R ${\times}$ R into Z(R). As an application, we establish corresponding results in the setting of $C^*$-algebra.

• The Pure and Applied Mathematics
• /
• v.23 no.4
• /
• pp.347-375
• /
• 2016

Let R be a 3!-torsion free noncommutative semiprime ring, U a Lie ideal of R, and let $D:R{\rightarrow}R$ be a Jordan derivation. If [D(x), x]D(x) = 0 for all $x{\in}U$, then D(x)[D(x), x]y - yD(x)[D(x), x] = 0 for all $x,y{\in}U$. And also, if D(x)[D(x), x] = 0 for all $x{\in}U$, then [D(x), x]D(x)y - y[D(x), x]D(x) = 0 for all $x,y{\in}U$. And we shall give their applications in Banach algebras.

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

• Journal of the Chungcheong Mathematical Society
• /
• v.31 no.1
• /
• pp.1-12
• /
• 2018

Let R be a 3!-torsion free noncommutative semiprime ring, and suppose there exists a Jordan derivation $D:R{\rightarrow}R$ such that $D^2(x)[D(x),x]=0$ or $[D(x),x]D^2(x)=0$ for all $x{\in}R$. In this case we have $f(x)^5=0$ for all $x{\in}R$. Let A be a noncommutative Banach algebra. Suppose there exists a continuous linear Jordan derivation $D:A{\rightarrow}A$ such that $D^2(x)[D(x),x]{\in}rad(A)$ or $[D(x),x]D^2(x){\in}rad(A)$ for all $x{\in}A$. In this case, we show that $D(A){\subseteq}rad(A)$.

• Kyungpook Mathematical Journal
• /
• v.53 no.4
• /
• pp.565-571
• /
• 2013

In this paper, we investigate the commutativity of a semiprime ring R admitting a generalized derivation F with associated derivation D satisfying any one of the properties: (i) $F(x){\circ}D(y)=[x,y]$, (ii) $D(x){\circ}F(y)=F[x,y]$, (iii) $D(x){\circ}F(y)=xy$, (iv) $F(x{\circ}y)=[F(x) y]+[D(y),x]$, and (v) $F[x,y]=F(x){\circ}y-D(y){\circ}x$ for all x, y in some appropriate subsets of R.

• The Pure and Applied Mathematics
• /
• v.8 no.2
• /
• pp.145-152
• /
• 2001

Posner [Proc. Amer. Math. Soc. 8 (1957), 1093-1100] defined a derivation on prime rings and Herstein [Canad, Math. Bull. 21 (1978), 369-370] derived commutative property of prime ring with derivations. Recently, Bergen [Canad. Math. Bull. 26 (1983), 267-227], Bell and Daif [Acta. Math. Hunger. 66 (1995), 337-343] studied derivations in primes and semiprime rings. Also, in near-ring theory, Bell and Mason [Near-Rungs and Near-Fields (pp. 31-35), Proceedings of the conference held at the University of Tubingen, 1985. Noth-Holland, Amsterdam, 1987; Math. J. Okayama Univ. 34 (1992), 135-144] and Cho [Pusan Kyongnam Math. J. 12 (1996), no. 1, 63-69] researched derivations in prime and semiprime near-rings. In this paper, Posner, Bell and Mason＇s results are extended in prime near-rings with some conditions.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.1
• /
• pp.135-146
• /
• 2009

In the present note we study the properties of weak Armendariz rings, and the connections among weak Armendariz rings, Armendariz rings, reduced rings and IFP rings. We prove that a right Ore ring R is weak Armendariz if and only if so is Q, where Q is the classical right quotient ring of R. With the help of this result we can show that a semiprime right Goldie ring R is weak Armendariz if and only if R is Armendariz if and only if R is reduced if and only if R is IFP if and only if Q is a finite direct product of division rings, obtaining a simpler proof of Lee and Wong's result. In the process we construct a semiprime ring extension that is infinite dimensional, from given any semi prime ring. We next find more examples of weak Armendariz rings.

• Journal of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.997-1005
• /
• 2009

Let R be a prime ring, I a nonzero ideal of R, d a derivation of R and n a fixed positive integer. (i) If (d(x)y+xd(y)+d(y)x+$yd(x))^n$ = xy + yx for all x, y $\in$ I, then R is commutative. (ii) If char R $\neq$ = 2 and (d(x)y + xd(y) + d(y)x + $yd(x))^n$ - (xy + yx) is central for all x, y $\in$ I, then R is commutative. We also examine the case where R is a semiprime ring.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.83-102
• /
• 2019

For $M{\in}R-Mod$, $N{\subseteq}M$ and $L{\in}{\sigma}[M]$ we consider the product $N_ML={\sum}_{f{\in}Hom_R(M,L)}\;f(N)$. A module $N{\in}{\sigma}[M]$ is called an M-multiplication module if for every submodule L of N, there exists a submodule I of M such that $L=I_MN$. We extend some important results given for multiplication modules to M-multiplication modules. As applications we obtain some new results when M is a semiprime Goldie module. In particular we prove that M is a semiprime Goldie module with an essential socle and $N{\in}{\sigma}[M]$ is an M-multiplication module, then N is cyclic, distributive and semisimple module. To prove these results we have had to develop new methods.