Professional Documents
Culture Documents
derivation
( )=
. Moreover
satisfies
is a derivation and
( ) +
( ), for all
, then
. If
is
is a commutative
ring.
KEYWORDS: Prime Ring, Near Ring, Center, Derivation, Generalized Derivation, Jordan Derivation, Generalized
Jordan Derivation
Received: Mar 01, 2016; Accepted: Mar 16, 2016; Published: Mar 30, 2016; Paper Id.: IJMCARAPR201607
Original Article
INTRODUCTION
In [1] Bell. H. E and Mason. G had Proved the following statements:
is 3-prime and 2-torsion free and
(B): If
( ) , then
(C):If
= 0, then
(A): If
, then
derivation), if (
)= ( ) +
( ) ( )=
by Generalized
such that
additive map
for which
is a Commutative ring.
( ) ( ), for all ,
= 0.
)= ( ) +
= 0, for all ,
)=
( ) +
( ) (resp. (
)=
, implies
= 0 or
.According to [2], a
If
www.tjprc.org
is suc that
( ) = 0 or ( ) = 0 ,
editor@tjprc.org
62
then
= 0.
Lemma 2: [3, Proposition 1] If
( ), for all ,
is a derivation on
)=
( ) +
Lemma 3: Let
(&)& + & (&) ' = (&)&' + & (&)', for all &, ', (
derivation .Then
, then (
with associated
(').
(1)
(').
(2)
( ) = 0.
( ) = 0, for all
), for all
( ) +
( ( ) )+
( )
)=
( ) =0
( ) =0
+ ( ) ( )+ ( ) ( )+
( ) ( )+ ( ) ( )+
( (
Put
( (
( )=0
)) = ( ) ( ) + ( ) ( ) +
=
( )=0
( ) = 0.
Applying
( ) = 0.
again, we get
( ( ) ( )+ ( ) ( )+
( )) = 0
( ( )) ( ) + ( )
(x)D(x) + D(x)
( )
(x) +
Substitute
( )
(3)
(x) +
(x)D(x) + D(x)
(x) + D(x)
(x) + D(x)
(x) + x
/ (x)
(x) + x
= 0.
/ (x)
=0
(4)
( )+ ( )
( )+
/(
) = 0.
(5)
63
(x) = 0.
(6)
( ( )) ( ) +
Substitute
in
( ) = 0.
(7)
( ( )) ( ) +
( ) ( )+ ( )
( ) = 0.
is a commutative ring.
, then
( ) ( )=
( ) ( ), for
is a commutative ring.
such that
0,
( ) = 0.
such that 0 ( )
Since ( ) + ( ) = ( + ) ,
(N,+) is abelian by lemma1(ii)
To complete the proof, we show that
First, consider the case
So that (
)= ( ) +
is multiplicatively commutative.
= 0.
( ) = ( ) , for all
Then ( ) 1 = 1 ( )
( ) 1 ( )1 = 0
( )( 1 1 ) = 0.
( )[ , 1] = 0.
0, then [ , 1] = 0.
Now assume that
Then (
( ( ) +
www.tjprc.org
0, and let
)= ( ) +
\0
( ) .
( )) = ( ( ) +
editor@tjprc.org
64
) = 0, for all ,
( ) = 0, for all
In particular
Note that for
such that ( ) = 0.
)= ( ) +
is commutative.
( )=
( )
Hence by lemma 2, ( ) ( )
central element squaring to 0, hence is also 0.The remaining possibility is that ( ) ( ) and
central elements, in which case ( ) is not a zero diviser. Thus ( ) ( ) ( ) =
( ) ( ) are non-zero
( ) ( ) ( ) yields
( )( ( ) ( ) ( ) ( )) = 0.
( ) ( ) ( ) ( ) = 0. Consequently,
Theorem2: Let
derivation .If
= 0,then
(
Proof: We have
( (
)=
) = 0.
( ) +
( ) =0
( )+ ( )
(
( )+
/(
) = 0.
(8)
)=0
)=0
( ) +
( ) =0
( ( ) )+
( ) =0
( ) + ( ) ( )+ ( ) ( )+
( ) ( )+ ( ) ( )+
substitute ( ) for
( )
= 0.Moreover, if
( ) ( )+ ( )
is commutative.
( )+ ( )
( )+
Then if ,
( ) = 0.
(9)
( )=0
/(
) = 0.
( ) = 0, for all
/(
) = 0, for all
(10)
(11)
and since
is 3-prime,
= 0.
and ( ) = 0 , then
( $) = ( )$ +
($) = 0
65
= 0.
such
= 0.
(12)
= 0, so
and
( )=(
= 0, for all
= 0.
= 0 and
= 0.
= 0 is a contradiction.
Thus ( = 0.
Let us we introduced a generalized derivation
(
)=
( ) +
( ) , for all
, where
is derivation. (*)
be a 2, 3-torsion free prime near ring which admits a generalized Jordan derivation
such that
satisfies (*).Then
with non
is a commutative ring.
or ( ( ) = 0 , then ( ( ) = 0
( )
( )+ ( )
( ) ( ) =
( ) ( )=
( )=
( )
( ), for all
( )
( ). (13)
( ) ( )+ ( )
( ) =
( ) ( )
( ) = 0 , for all
www.tjprc.org
= 0, thus
= 0.
is commutative.
editor@tjprc.org
66
CONCLUSIONS
In this paper we proved that Nbe a 2,3-torsion free prime near ring. If N admits a nonzero generalized Jordan
derivation f such that f(N) Z, then N is a commutative ringand if D is a derivation and f = 0, then D/ = 0 . If N is 2torsion free, then D(Z) = 0 . Moreover f satisfies f(x ) = D(x)x + xf(x), for all x N, then N is a commutative ring
REFERENCES
1.
Bell.
H.
and
Mason.
G:
On
derivations
in
near-
rings,
in
near
rings
and
near
fields
Netherlands,1987.
2.
Bell. H. E: On prime Near-Rings with Generalized derivation, International Journal of Mathematics and Mathematical
Sciences, Vol, 2008, 1-5, 2008.
3.
Wang. X.-K: Derivations in prime near-rings, proceedings of the American Mathematical Society, Vol.121, no.2, 361-366,1994.