1. Generalized @U; M A-Derivations in Prime -Rings
M. M. Rahman
1
& A. C. Paul
2
1
Corresponding Author
Department of Mathematics, Jagannath University
Dhaka, Bangladesh; e-mail: mizanorrahman@gmail.com
2
Department of Mathematics, University of Rajshahi
Rajshahi, Bangladesh; e-mail: acpaulrubd math@yahoo.com
Abstract
vet M ˜e — PEtorsion free prime Ering s—tisfying the ™ondition ab
4. 2 D U ˜e — vie ide—l of M —nd f ˜e — gener—lized @U;MAEderiv—tion of MF „hen we
prove the following resultsX
IF sf U is —n —dmissi˜le vie ide—l of MD then f@uvA a f@uAv C ud@vA;8u;v 2 U; 2 F
PF sf uu 2 U;8u 2 U; 2 D then f@umA a f@uAm C ud@mA;8u 2 U;m 2 M; 2 D
where d is — @U;MAEderiv—tion of MF
KeywordsX heriv—tionD vie ide—lD —dmissi˜le vie ide—lD gener—lized @U;MAEderiv—tionD EringD prime
EringF
2010 AMS Subject Classi
5. cationX €rim—ry IQxISY ƒe™ond—ry IT‡IHD IUgSHF
1 Introduction
sn ‘W“D rerstein proved — wellEknown result in prime rings th—t every tord—n deriv—tion is — deriv—E
tionF efterw—rds m—ny w—them—ti™i—ns studied extensively the deriv—tions in prime ringsF sn ‘Q“D
ewt—r extended this result in vie ide—lsF @U;RAEderiv—tions in rings h—ve ˜een introdu™ed ˜y p—r—jD
r—etinger —nd w—jeed ‘U“D —s — gener—liz—tion of tord—n deriv—tions on — vie ide—ls of — ringF „he
notion of — @U;RAEderiv—tion extends the ™on™ept given in ‘Q“F sn this p—per ‘U“D they proved th—t if
R is — prime ringD ™h—r@RA Ta PD U — squ—re ™losed vie ide—l of R —nd d — @U;RAE deriv—tion of RD
then d@urA a d@uAr C ud@rA;V;u P U;r P RF „his result is — gener—liz—tion of — result in ewt—r ‘QD
„heorem in se™tion Q“F
„he notion of — Ering h—s ˜een developed ˜y xo˜us—w— ‘IQ“D —s — gener—liz—tion of — ringF pollowE
ing f—rnes ‘R“ gener—lized the ™on™ept of xo˜us—w—9s Ering —s — more gener—l n—tureF xow — d—ysD
Ering theory is — showpie™e of m—them—ti™—l uni™—tionD ˜ringing together sever—l ˜r—n™hes of the
su˜je™tF st is the ˜est rese—r™h —re— for the w—them—ti™i—ns —nd during RH ye—rsD m—ny ™l—ssi™—l ring
theories h—ve ˜een gener—lized in Erings ˜y m—ny —uthorsF
WV
6. „he notions of deriv—tion —nd tord—n deriv—tion in Erings h—ve ˜een introdu™ed ˜y ƒ—p—n™i —nd
x—k—jim— ‘IR“F efterw—rdsD in the light of some signi™—nt results due to tord—n left deriv—tion of —
™l—ssi™—l ring o˜t—ined ˜y tun —nd uim in ‘II“D some extensive results of left deriv—tion —nd tord—n
left deriv—tion of — Ering were determined ˜y geven in ‘T“F sn ‘V“D r—lder —nd €—ul extended the
results of ‘T“ in vie ide—lsF
sn this —rti™leD we introdu™e the ™on™ept of @U;MAEderiv—tion —nd gener—lized @U;MAEderiv—tionD
where U is — vie ide—l of — Ering M F en ex—mple of — vie ide—l of — Ering —nd —n ex—mple of
@U;MAEderiv—tion —nd gener—lized @U;MAEderiv—tion —re given hereF e result in ‘UD „heorem PFV“ is
gener—lized in Erings ˜y the new ™on™ept of — @U;MAEderiv—tionF
vet M —nd ˜e —dditive —˜eli—n groupsF sf there is — m—pping
M ¢ ¢M 3 M @sending @x;;yA into xyA su™h th—t
@iA @x C yAz a xz C yz;
x@ C
11. P D then M is ™—lled — -ringF „his ™on™ept is more gener—l th—n — ring
—nd w—s introdu™ed ˜y f—rnes ‘R“F e Ering M is ™—lled — prime -ring if Va;b P M;a M b a H
implies a a H or b a H —nd M is ™—lled semiprime if a M a a H @with a P MA implies a a HF e
Ering M is 2-torsion free if Pa a H implies a a H;Va P M:
por —ny x;y P M —nd P D we indu™e — new produ™t D the Lie product ˜y ‘x;y“ a xy yxF
en —dditive su˜group U M is s—id to ˜e — Lie ideal of M if whenever u P U;m P M —nd P D
then ‘u;m“ P UF
sn the m—in results of this —rti™le we —ssume th—t the vie ide—l … veries uu P U;Vu P UF e vie
ide—l of this type is ™—lled — square closed Lie idealF
purthermoreD if the vie ide—l U is squ—re ™losed —nd U is not ™ont—ined in Z@MADwhere Z@MAdenotes
the ™enter of MDthen U is ™—lled —n admissible Lie ideal of MF
vet M ˜e — EringF en —dditive m—pping d X M 3 M is ™—lled — derivation if d@abA a d@aAb C
ad@bA;Va;b P M —nd P F
en —dditive m—pping d X M 3 M is ™—lled — Jordan derivation if
d@aaA a d@aAa C ad@aA;Va P M —nd P F
„hroughout the —rti™leD we use the ™ondition ab
32. nition: vet M ˜e — Ering —nd U ˜e — vie ide—l of MF en —dditive m—pping d X M 3 M is
s—id to ˜e — @U;MA- derivation of M if d@umCsuA a d@uAmCud@mACd@sAuCsd@uA;Vu P
U;m;s P M —nd P F
2.2 De
33. nition: vet M ˜e — Ering —nd U ˜e — vie ide—l of MF en —dditive m—pping f X M 3 M
is s—id to ˜e — generalized @U;MA- derivation of M if there exists — @U;MAEderiv—tion d of M su™h
th—t f@um C suA a f@uAm C ud@mA C f@sAu C sd@uA;Vu P U;m;s P M —nd P F
„he existen™e of — vie ide—l of — EringD @U;MAEderiv—tion —nd — gener—lized @U;MAEderiv—tion —re
™onrmed ˜y the following ex—mplesX
2.3 Example: vet R ˜e — ™ommut—tive ring with ™h—r—™teristi™ P h—ving unity element IF vet
M a MP;P@RA —nd
a
nI:I nQ:I
nP:I nR:I
X ni P @Z PZA;i a I;P;Q;RYnI a nR;nP a nQ
F
„hen w is — EringF
vet U a
x y
y x
X x;y P R
F
„hen U is — vie ide—l of MF
vet us dene — m—pping f X M 3 M ˜y
f
a b
c d
a
a H
H d
;V
a b
c d
P M
„hen there exists — @U;MAEderiv—tionD d of M whi™h is dened ˜y
d
a b
c d
a
H b
c H
;V
a b
c d
P M
„hen f is — gener—lized @U;MAEderiv—tion of MF
2.4 Lemma: vet M ˜e — PEtorsion free Ering s—tisfying the ™ondition @BAF U ˜e — vie ide—l of
M —nd f ˜e — gener—lized @U;MAEderiv—tion of MF„hen
@iA f@um
47. P F
Proof: fy the denition of gener—lized @U;MAEderiv—tion of MDwe h—ve
f@um C suA a f@uAm C ud@mA C f@sAu C sd@uA;Vu P U;m;s P M —nd P F
‚epl—™ing m —nd s ˜y @PuA
109. P F
sf we line—rize @QA on uD then @iiA is o˜t—inedF
2.5 De
110. nition: vet d ˜e — @U;MAEderiv—tion of MD then we dene ¨@u;mA a d@umA d@uAm
ud@mA
Vu P U;m P M —nd P F
2.6 Lemma: vet d ˜e — @U;MAEderiv—tion of MD then
@iA¨@u;mA a ¨@m;uAD Vu P U;m P M —nd P F
@iiA ¨@u C v;mA a ¨@u;mA C ¨@v;mA;Vu;v P U;m P M —nd P F
@iiiA ¨@u;m C nA a ¨@u;mA C ¨@u;nA;Vu P U;m;n P M —nd P F
@ivA ¨C
171. ;
P
ƒin™e d is — @U;MAEderiv—tionD we h—ve ¨@u;vA a H;Vu;v P U —nd P F …sing this we o˜t—in the
desired resultF
2.10 Lemma: vet U ˜e — vie ide—l of — PEtorsion free prime Ering M —nd U is not ™ont—ined
in Z@MAF „hen there exists —n ide—l I of M su™h th—t ‘I;M“ U ˜ut ‘I;M“ is not ™ont—ined in
Z@MAF
Proof: ƒin™e M is PEtorsion free —nd U is not ™ont—ined in Z@MAD it follows from the result in ‘I“
th—t ‘U;U“ Ta H —nd ‘I;M“ UDwhere I a I ‘U;U“ M Ta H is —n ide—l of M gener—ted ˜y ‘U;U“ F
xow U is not ™ont—ined in Z@MA implies th—t ‘I;M“ is not ™ont—ined in Z@MAY for if ‘I;M“
Z@MAD then ‘I;‘I;M“ “ a HD whi™h implies th—t I Z@MA —nd hen™e I Ta H is —n ide—l of MD so
M a Z@MAF
2.11 Lemma: vet U ˜e — vie ide—l of — PEtorsion free prime Ering M s—tisfying the ™ondition @BA —nd
U is not ™ont—ined in Z@MAF sf a;b P M @respFb P U —nd a P MA su™h th—t aU
173. P D
then a a H or b a HF
Proof: fy vemm— PFIHD there exists —n ide—l I of M su™h th—t ‘I;M“ U —nd ‘I;M“ is not ™onE
t—ined in Z@MAF xow t—ke u P U;c P I;m P M —nd ;
191. b a HF
ƒin™e U Ta HD we must h—ve b a HF
sn the simil—r m—nnerD it ™—n ˜e shown th—t if b Ta HD then a a HF
IHI
192. 2.12 Lemma: vet M ˜e — PEtorsion free prime Ering —nd U —n —dmissi˜le vie ide—l of MF vet
GI;GP;:::;Gn ˜e —dditive groupsD S X GI ¢ GP ¢ ::: ¢ Gn 3 M —nd T X GI ¢ GP ¢ ::: ¢ Gn 3 M
˜e m—ppings whi™h —re —dditive in e—™h —rgumentF sf S@aI;:::;anA
300. @u;mA a HD sin™e U is non™entr—lF
References
‘I“ wust—f— es™i —nd ƒ—hin ger—nD „he ™ommut—tivity in prime g—mm— rings with left deriv—E
tionsD International Mathematical Forum, 2(3)(2007), 103-108.
‘P“ woh—mm—d eshr—f —nd x—deemE…rE‚ehm—nD On Lie ideals and Jordan left derivations of
prime ringsD er™hFw—thF@frnoADQT@PHHHADPHIEPHTF
‘Q“ ‚F ewterD Lie ideals and Jordan derivations of prime ringsD emerFw—thFƒo™F WH@IAD@IWVRADWE
IRF
‘R“ ‡FiF f—rnesD On the -rings of NobusawaD €—™i™ tF w—thFD IV@IWTTAD RIIERPPF
‘S“ wF fres—r —nd tF†ukm—nD Jordan derivations on prime ringsD fullFeustr—lFw—thFƒo™FD
QR@IWVVADQPIEQPPF
IHQ
301. ‘T“ ‰F gevenD Jordan left derivations on completely prime gamma ringsD gF…F penEide˜iy—t
p—kultesi pen filimleri hergisi PQ@PHHPADQWERQF
‘U“ eFuFp—r—jD gFr—etinger —nd eFrFw—jeedD Generalized Higher (U,R)-DerivationsD t€ tourn—l
of elge˜r—D IT@PAD @PHIHAD IIWEIRPF
‘V“ eFuFr—lder —nd eFgF€—ulD Jordan left derivations on Lie ideals of prime -ringsD €unj—˜
…niversity tFw—thFD@PHIIADHIEHUF
‘W“ sFxFrersteinD Jordan derivations of prime ringsD €ro™F emerF w—thF ƒo™FD V@IWSUAD IIHREIIIHF
‘IH“ sFxFrersteinD Topics in Ring TheoryD „he …niversity of ghi™—go €ressDghi™—goDIIIFE
vondonDIWTWF
‘II“ uF‡F tun —nd fFhFuimD A note on Jordan left derivationsD fullFuore—n
w—thFƒo™FDQQ@IWWTADPPIEPPVF
‘IP“ rFu—nd—m—rD The k-derivations of a gamma ringsD „urkish tF w—thFD PR @PHHHADPPIEPQIF
‘IQ“ xF xo˜us—w—D On the generalizeation of the ring theoryD ys—k— tF w—thF I@IWTRAD VIEVWF
‘IR“ wF ƒ—p—n™i —nd eF x—k—jim—D Jordan Derivations on Completely Prime -RingsD w—thF
t—poni™— RTD @IWWUAD RUESIF
VIHR