International Journal of Scientific Research Engineering & Technology (IJSRET), ISSN 2278 0882

Volume 4, Issue 7, July 2015

Smarandache Soft- Neutrosophic- Near Ring and Soft Neutrosophic Ideal

1,2

N.Kannappa 1, B.Fairosekani 2
Department of Mathematics, T.B.M.L. College,
Porayar-609307, Tamil Nadu, India

ABSTRACT
In this paper, we introduce new algebraic structures of
Soft Neutrosophic Near Ring, namely Smarandache
Soft - Neutrosophic -Near Ring and Smarandache - soft
Neutrosophic Homomorphism.We define Smarandache Soft Neutrosophic - Near ring and obtain some
characterizations through the concept of Soft
Neutrosophic Ideals.For the core concept of Near-Ring
we refer to G.Pilz[4],for the concept of Near Field we
refer to P.Dheena[1] and for the concept of Soft
Neutrosophic
Algebraic Structures we refer to
Muhammed Shabir ,Mumtaz Ali , Munazza Naz, and
Florentin Smarandache[5,6].
Keywords- Soft Neutrosophic
Near-ring, Soft
Neutrosophic
Near-field
,Soft
Neutrosophic
ideal,SmarandacheSoft
Neutrosophic
near
ring,Smarandache - soft Neutrosophic Homomorphism.

I. INTRODUCTION
To better study the congruence in number theory
,Florentin smarandache introduces new notions in
algebra [2] .By <proper subset> of a set A we consider a
set P included in A, and different from A ,also different
from empty set, and from the unit element in A, Ranking
the algebraic structures using an order relationship:
We have an algebraic structures S1 << S2 if: both
are defined on the same set ; all S1 laws are also S2 laws;
all axioms of a S1 law are accomplished by the
corresponding S2 law; S2 law accomplish more axioms
that S1 laws, or S2 has more laws than S1 .
For example: Semi group<< Monoid <<group<<
ring<<field, or Semi group<< to commutative semi
group, ring<< unitary ring etc.The author defines a
general special structure to be a structure SM on a set A,
different from a structure SN, such that a proper subset
of A is a structure, where SM << SN.
In addition, see our papers [9,10].

II. PRELIMINARIES
Definition 2.1. Let be a neutrosophic near-ring
and (, ) be a soft set over .Then (, ) is called

soft neutrosophic near-ring if and only if F() is a

neutrosophic sub near-ring of for all .
Definition 2.2. Let = be a neutrosophic
near-field and let , be a soft set over . Then
(, ) is said to be soft neutrosophic near-field if and
only if () is a neutrosophic sub near-field of () for
all .
Definition 2.3. Let (F,A) be a soft neutrosophic nearring over with more than one element .Then the
non-zero elements of (F,A) form a group under
multiplication if and only if for every F(a) 0 in (F,A)
,there exist a unique F(b) in (F,A) such that F(a)F(b)F(a)
= F(a).
Definition 2.4. Let (F,A) be a soft neutrosophic
zerosymmetric near-ring over , which contains a
distributive element F(a1) 0 .Then (F,A) is a near-field
if and only if for each F(a) 0 in (F,A), (F,A)F(a) =
(F,A) .
Definition 2.5. Let (F,A) be a finite soft neutrosophic
zero symmetric near-ring that contains a distributive
element F(w) 0 and for each F(x) 0 in (F,A) there
exist F(y) in (F,A) such that F(y)F(x) 0 then (F,A) is a
soft neutrosophic near-field if and only if (F,A) has no
proper left ideal.
Definition 2.6. Let (, ) be a soft neutrosophic nearring over , Then (F,A) is called soft neutrosophic
zerosymmetric near-ring over .If F(n)0 = 0 for all
F(n) in (F,A).
Definition 2.7. Let (F,A) be a soft neutrosophic nearring over .An element F(e) in a soft neutrosophic
near-ring (F,A) over is called idempotent .If
F( e2) = F(e).
Definition 2.8. Let (F,A) be a soft neutrosophic nearring over .An element F(b)in (F,A) is called
distributive if
F(b)(F(a1) + F(a2)) = F(b)F(a1) + F(b)F(a2) for all
F(a1),F(a2) in (F,A)

www.ijsret.org

749

International Journal of Scientific Research Engineering & Technology (IJSRET), ISSN 2278 0882
Volume 4, Issue 7, July 2015

Definition 2.9. Let (F,A) be a soft neutrosophic nearring over .A soft neutrosophic subgroup (H ,A)
of (F,A) is called (F,A)-subgroup
if (F,A)(H,A) (, ).
Definition 2.10. Let (F,A) be a soft neutrosophic nearring over is called regular if for each F(a) in
(F,A).There exist F(x) in (F,A)
such that F(a)F(x)F(a) = F(a).
Definition 2.11. Let (F,A) be a soft set over a
neutrosophic near-ring over . Then (F,A) is called
soft neutrosophic ideal over if and only if F(a) is
a Neutrosophic ideal over .
Definition 2.12. Let (F,A) and (K,B) be two soft
neutrosophic near-ring over . Then (K,A) is
called soft Neutrosophic ideal of (F,A), if
1. B A,and
2. k(a) is Neutrosophic ideal of F(a) for all a A .
Definition 2.13. The extended union of
two
Smarandache - soft Neutrosophic ideals (L1,A) and
(L2,B) over a Smarandache - soft Neutrosophic - near
ring is the soft neutrosophic ideal (L3,C),where
C =AB and for all c C, L3(c) is defined as

L3(c) =

L1(c)
L2(c)
L1(c) L2(c)

if c A-B
if c B-A
if c AB

We write (L1,A) (L2,B) = (L3,C).

Definition 2.14. The restricted union of
two
Smarandache - Soft Neutrosophic ideals (L1,A) and
(L2,B) over a Smarandache - soft Neutrosophic - near
ring is the soft Neutrosophic ideal (L3,C),where
C =AB and for all c C, (L3,C) is defined as (L3,C) =
(L1,A) (L2,B) where C = AB and L3(c) = L1(c)
L2(c) for all c C.
Definition 2.15. The extended intersection of two
Smarandache - soft Neutrosophic ideals (L1,A) and
(L2,B) over a Smarandache - soft Neutrosophic - near
ring is the soft Neutrosophic ideal (L3,C),where
C =AB and for all c C, (L3,c) is defined as

L3(c) =

L1(c)
if c A-B
L2(c)
if c B-A
L1(c) L2(c) if c AB

We write (L1,A) (L2,B) = (L3,C).

Definition 2.16. The restricted intersection of two

Smarandache - soft Neutrosophic ideals (L1,A) and
(L2,B) over a Smarandache - soft Neutrosophic - near
ring is the soft Neutrosophic ideal (L3,C), such
that AB = .Their restricted intersection is denoted by
(L1,A) (L2,B) = (L3,C) where (L3,C) is defined as and
L3(c) = L1(c) L2(c) for all c C.
Definition 2.17. Let
, and (, )be two
Smarandache soft Neutrosophic near ring over
and | respectively.Let :
|
and : be two mappings.Then
, : , (, ) is called Smarandache soft
Neutrosophic near ring Homomorphism,if
1. is a Neutrosophic near ring
Homomorphism from onto |
2. is a mapping from onto .
3. (()) = (()) for all a .
If is a Neutrosophic isomorphism from to
| and is one to one mapping from onto
.Then (, ) is called Smarandache - Soft
Neutrosophic Near ring isomorphism from (F,A) to
(G,B),where () & () is a proper subset of (F,A)
which is a Soft Neutrosophic near- field.
Now we introduce our core concept, called
SMARANDACHESOFT NEUTROSOPHICNEAR
RING.
Definition 2.18. A soft neutrosophic near ring is said to
be smarandache soft neutrosophic near ring, if a
proper subset of it is a soft neutrosophic near field with
respect to the same induced operations.

III. MAIN RESULTS

Theorem 3.1
Let (F,A) be a Soft Neutrosophic Near-ring over
in which idempotents commute and suppose that for
each H(x) in (H,A).There exists H(y) in (H,A) such that
H(y)H(x) 0.Then (F,A) is a Smarandache -soft
neutrosophic- near ring if and only if (H,A) has no
proper left ideal and (H,A)0 (H,A).Where (H,A) is a
soft neutrosophic near ring ,which is a proper subset of
(F,A).
Proof:(I) we assume that (H,A) has no proper left ideal.
Now to claim that (H,A) is soft neutrosophic near field.
Let H(x) 0 in (H,A) and let
K(H(x))= {H(n) in (H,A):H(n)H(x)=0}. clearly K(H(x))
is a left ideal.Since there exists H(y) in (H,A) such that
H(y)H(x) 0.we have H(y) is not in K(H(x)).so K(H(x))
=0

www.ijsret.org

750

International Journal of Scientific Research Engineering & Technology (IJSRET), ISSN 2278 0882
Volume 4, Issue 7, July 2015

Let : ((H,A),+) ((H,A)H(x),+) given by

(H(n))=H(n)H(x).Then is an isomorphism.Since
(H,A) is finite,(H,A)H(x)=(H,A).
Hence, by theorem, we have Let (F,A) be a soft
neutrosophic near-ring over .
Then (F,A) is a smarandache - soft neutrosophic - near
ring.if and only if for each () 0 in (H,A),
(H,A)H(a) = (H,A) and (H,A)0 (H,A),where (H,A) is
a soft neutrosophic near-ring,which is a proper subset of
(F,A),in which idempotents commute
Therefore (H,A) is a soft neutrosophic near-field.Then
by Definition,(F,A) is a smarandache - soft neutrosophic
near ring.

then K (H(0)) is a left ideal .Since H(e) in K (H(0)), K

(H(0)) 0.So K (H(0)) = (H,A) and (H,A) is
zerosymmetric.
Therefore (H,A) is soft neutrosophic near field.
By definition, (F,A) is a Smarandache - soft
neutrosophic - near ring.
(II) Conversly, we assume that (F,A) is a smarandache
soft neutrosophic near ring.Then by definition ,there
exist a proper subset (H,A) 0 of (F,A) is a soft
neutrosophic near field. Now to prove that (H,A) has no
proper left ideal.Since (H,A) is a soft neutrosophic near
field if and only if [0] and itself are the ideals of
(H,A).Therefore (H,A) has no proper left ideal.

(II) Conversly we assume that (F,A) is a smarandache

soft neutrosophic near ring.Then by definition, there
exist a proper subset (H,A) 0 of (F,A) is a soft
Neutrosophic near field. Now,we prove that (H,A) has
no proper left ideal.Since (H,A) is a soft neutrosophic
near field if and only if [0] and itself are the ideals of
(H,A).Therefore (H,A) has no proper left ideal.

Theorem 3.3
Let (F,A) be a Soft Neutrosophic Near-ring over
in which idempotents commute. Then (F,A) is a
smarandache - soft neutrosophic - near ring if and only if
(H,A) is regular and (H,A) has no proper left
ideal,Where (H,A) is a soft neutrosophic near
ring,Which is a proper subset of (F,A).

Theorem 3.2
Let (F,A) be a Soft Neutrosophic Near-ring over
that contains a distributive element H(r) 0 and
suppose that for each H(x) 0 in (H,A),there exists H(y)
in (H,A) such that H(y)H(x) 0.Then (F,A) is a
smarandache - soft neutrosophic - near ring if and only if
(H,A) is regular and (H,A) has no proper left
ideal,Where (H,A)is a soft neutrosophic near
ring,Which is a proper subset of (F,A).

Proof:(I) we assume that (H,A) is regular with no proper

left ideal.
Now to claim that (H,A) is soft neutrosophic near
field.
For any H(n) in (H,A),(H(n)0)2 = H(n)0(H(n)0) =
H(n)0.Since 0 is also idempotent,we have 0 = 0(H(n)0) =
(H(n)0)0 = H(n)0,hence (H,A) is zerosymmetric,since
(H,A) is regular,Being given H(a) in (H,A) there exists
H(x) in (H,A) such that H(a)H(x)H(a) = H(a).
Let H(b) = H(x)H(a)H(x), then H(a)H(b)H(a) = H(a)
and
H(b)H(a)H(b) = H(b),so H(a)H(b) and H(b)H(a) are
idempotents.
For any H(a) in (H,A) if H(a)2 = 0,we have there exists
H(b) in(H,A) such that
H(a)H(b)H(a) = H(a) and H(b)H(a)H(b) = H(b).
So H(b)2 = (H(b)H(a)H(b)) (H(b)H(a)H(b)) = H(b)
(H(a)H(b)) ( H(b)H(a)) H(b)
= H(b) (H(b)H(a)) ( H(a)H(b)) H(b) = H(b)2 H(a)2 H(b)2
= 0.
[H(a)(H(b)H(a) + H(b))]2= H(a) (H(b)H(a) + H(b)) H(a)
(H(b)H(a) + H(b))
= [ H(a) (H(b)H(a) + H(b))
H(a)](H(b)H(a) + H(b))
= H(a)H(b)H(a) (H(b) H(a) + H(b)) =
H(a)(H(b)H(a) + H(b)).
Hence 0 = H(b)H(a)2 (H(b)H(a) + H(b)) = (H(b)H(a))[
H(a)(H(b)H(a) + H(b))]
= H(a)(H(b)H(a) + H(b))H(b)H(a) =
H(a)H(b)H(a)H(b)H(a) = H(a)H(b)H(a) = H(a).

Proof:(I) we assume that (H,A) is regular, with no

proper left ideal.
Now to claim that (H,A) is soft neutrosophic near- field.
Let H(b) 0 in (H,A) and let
K(H(b))={H(n) in (H,A):H(n)H(b)=0};then K(H(b)) is a
left ideal;since there exists some H(t) in (H,A),
suchthat H(t)H(b) 0,we have K(H(b))=0;so if H(a) 0
in (H,A) and H(b) 0 in (H,A); then H(a)H(b)
0.Hence (H,A) is without zero divisors.
Since (H,A) is regular ,there exists H(x) in (H,A) such
that H(r)H(x)H(r) = H(r).
Let H(r)H(x) = H(e). So H(e)H(r) = H(r) and H(e)
0 and H(e)2 = H(e).
So (H(r)H(e) - H(r))H(e) = 0,hence H(r) = H(r)H(e) =
H(e)H(r).Let H(z) in (H,A),
Then (H(z)H(e) - H(z))H(r) = 0,so H(z)H(e) = H(z).
Moreover H(r) (H(e)H(z) - H(z)) = 0,hence H(z) =
H(e)H(z) = H(z)H(e).so H(e) is identity in (H,A).If
K(H(0))= {H(n) in(H,A):H(n)H(0)=0},

www.ijsret.org

751

International Journal of Scientific Research Engineering & Technology (IJSRET), ISSN 2278 0882
Volume 4, Issue 7, July 2015

Hence if H(a) 0 in (H,A) ,then H(a)2 = 0. Let H(b)

0 in (H,A).
Let K(H(b))={H(n) in(H,A):H(n)H(b)= 0}. Since H(b) is
not in K(H(b)),we have K(H(b)) = 0.So if H(a) 0 and
H(b) 0 in (H,A) ,then H(a) H(b) 0 and (H,A) is
without zero divisors. Let H(e) be any non-zero
idempotent .Then for any H(n) in (H,A).We have
(H(n)H(e) - H(n))H(e) = 0 and hence H(n)H(e)
=H(n).Hence every non-zero idempotent is right identity.
Let H(e) , H(f) be any two non-zero idempotents in
(H,A),then H(e) = H(e)H(f) = H(f)H(e) = H(f).So (H,A)
contains a unique non-zero idempotent, namely H(e).
Let H(a) be any element in (H,A)*,then there exists
H(b) in (H,A) such that H(a)H(b)H(a) =H(a).Since
H(b)H(a) is a non-zero idempotent, H(b)H(a) = H(e) and
H(a)H(e)
= H(a).Hence H(e) is right identity for
(H,A)*.Since H(a)H(b) is non-zero idempotent H(a)H(b)
= H(e).So H(b) is the right inverse of H(a).Hence
((H,A)*,) is a group. So (H,A)is a near- field.
Therefore,(H,A) is a soft neutrosophic near-field. Then by
definition,(F,A) is a smarandache - soft neutrosophic - near
ring.
(II) Conversely we assume that (F,A) is a smarandache
soft neutrosophic near ring.Then by definition, there
exist a proper subset (H,A) 0 of (F,A) is a soft
neutrosophic near field.Now to prove that (H,A) has no
proper left ideal. Since in (H,A), the conditions are
trivially hold.
Theorem 3. 4
Every smarandache- soft neutrosophic ideals (L,A) over
a neutrosophic near ring is trivially a
smarandache - soft neutrosophic- near ring.
Proof:
Let (L,A) be a a smarandache soft neutrosophic ideal
over a neutrosophic near ring .
Then by definition,F(a) is a neutrosophic ideal for all a
A.Since we know that every neutrosophic ideal is a
neutrosophic sub near ring of .
It follows that F(a) is a neutrosophic sub near ring of
.
Thus by definition of smarandache- soft neutrosophicnear ring ,This implies that (F,A) is a smarandache - soft
neutrosophic - near ring.

REFERENCES
[1]. Dheena.P., On Near-Fields
Indian.J.pure
appl. Maths., 17(3):322-326, March 1986.
[2]. Florentin
Smarandache,Special
algebraic
structures,University of Maxico,Craiova,1983.
[3]. Florentin Smarandache, Mumtaz Ali, Munazza Naz
and Muhammed shabir Soft Neutrosophic Left
Almost Semigroup,SISOM & ACOUSTICS
2014,Bucharesr 22-23 May.
[4]. Pilz.G.,Near rings,North Holland, American
Research Press,Amsterdam,1977.
[5]. Muhammed shabir, Mumtaz Ali ,Munazza Naz ,and
Florentin Smarandache,Neutrosophic Sets and
System,Vol.1.2013.
[6]. Mumtaz Ali , Florentin Smarandache, Muhammed
shabir and Munazza Naz,Neutrosophic Sets and
System, Vo.3.2014.
[7]. Mumtaz Ali , Florentin Smarandache, Muhammed
shabir and Luige vladareanu , Neutrosophic Sets and
System, Vo.5.2014.
[8]. Kareem Abass Layith AL-Ghurabi, A
Smarandache completely prime ideal with respect to
an elements of near ringInternational journal of
basic and applied sciences,3(3),2014,155-159.
[9]. Kannappa.N.,Fairosekani.B.,

On
Some
Characterization
of
Smarandache
Soft
Neutrosophic-Near ring Jamal Academic Research
Journal, An interdisciplinary, Trichirapalli , India
2015.
[10]. Kannappa.N.,Fairosekani.B., Some Equivalent
conditions of Smarandache Soft Neutrosophic near
ring Neutrosophic Sets and System,Vol.8,2015.
[11]. Ramaraj.T.Kannappa.N. On bi-ideals of
Smarandache-near-rings Acta ciencia Indica,
Vol.XXXIM, No.3 ,731-733.Meerut, India,2005.
[12]. Ramaraj.T.Kannappa.N.

On
finite
Smarandache-near-rings

Scientio
magna,Department of Mathematics , North West
University,
Xian
,
Shaanxi,P.R.China
.Vol.I,No.2,.ISSN 1556-6706 ,page 49-51, 2005.
[13]. Ramaraj.T.Kannappa.N. On six equivalent
conditions of Smarandache-near-rings Pure and
Applied Mathamathika Science, ISSN 0379-3168,
Saharanpur, India .Vol .LXVI, No. 1-2,Pages 87-91,
September,2007.

IV.ACKNOWLEDGEMENT
The authors acknowledge their thanks to
Professor Florentin Smarandache for valuable
suggestions.

www.ijsret.org

752