Printer Friendly

Neutrosophic Units of Neutrosophic Rings and Fields.

1. Introduction

In recent years, the inter connection between classical structures and Neutrosophic structures is studied by few researchers. For such kind of study, researchers defined new algebraic structures whose elements are generated by elements in classical algebraic set and indeterminate of the real world problem with respect to algebraic operations on the well defined Neutrosophic elements.

The idea of associating a Neutrosophic structure to a classical structure first appears in [1, 2]. For the elements of the Neutrosophic set, Vasantha Kandasamy and Smarandache takes all elements of a classical ring R together with indeterminate I. The notion N (R, I) of Neutrosophic ring was introduced by Vasantha Kandasamy and Smarandache in 2006 and the Neutrosophic element in N (R, I) is denoted by a + bI if for all a, b [member of] R and [I.sup.2] = I. Basically, they specify that N (R, I) is not a classical ring with respect to Neutrosophic addition and Neutrosophic multiplication. Further investigation of Neutrosophic rings was done by Agboola, Akinola and Oyebolain [3, 4]. Recently, Chalapathi and Kiran studied the enumeration of Neutrosophic self additive inverse elements of Neutrosophic rings and fields in [5].

Neutrosophic rings are additive Neutrosophic groups with a new binary operation of Neutrosophic multiplication. This new kind of Neutrosophic multiplication operation constrains the new generated algebraic structures of classical rings and makes it more benefit than classical rings to obtained elementary structural theorems of indeterminacy modeled situations. So, the use of Neutrosophic algebraic theory becomes inevitable when a real world problem contains indeterminacy.

In this paper, we study some concepts of Neutrosophic units of Neutrosophic rings and fields explained with suitable examples, and examine properties satisfied by certain general collections of classical rings. The classical rings of primary interest are finite, so many of the results about classical groups and Neutrosophic groups will be helpful fundamentally.

2. Definitions and notations

In this section, we discuss the terminology used when working with the two Neutrosophic operations, namely Neutrosophic addition and Neutrosophic multiplication, in an abstractly given Neutrosophic rings. Before going to the abstract definition of a Neutrosophic ring, we get some definitions and notations by considering the classical rings from [6].

Let R be a ring. If there is an element 1 [member of] R such that 1 [not equal to] 0 and 1a = a = a 1 for each Element a [member of] R, we say that R is a ring with unity. The ring R is commutative if ab = ba for all a, b[member of]e R. Suppose R has unity 1. Then [R.sup.x] denote the units of R. So, an element u [member of] [R.sup.x] is a unit of R if there exist u' [member of] [R.sup.x] such that uu' = u'u = 1, and [R.sup.x] forms an abelian group under usual multiplication of R. Next the ring F is a field if its multiplication is commutative and if every non zero element of F is a unit. Now we recall that the following well known results about [R.sup.x] and [F.sup.x] from [6].

Theorem.2.1 Let R and S be finite commutative rings. Then [(R x S.sup.)x] = [R.sup.x] x [S.sup.x] as groups. Also,

[absolute value of ([R.sup.x] x [S.sup.x])] = [absolute value of ([R.sup.x])] [absolute value of ([S.sup.x])].

Theorem.2.2 Let [Z.sub.n] be the ring of integers modulo n. Then [([Z.sub.m] x [Z.sub.n]).sup.x] = [Z.sup.x.sub.m] x [Z.sup.x.sub.n] if and only if gcd(m, n) = 1.

Theorem.2.3 Let R be a finite Boolean ring.Then [absolute value of ([R.sup.x])] = 1.

Theorem.2.4 Let F be a finite field of order n > 1. Then its unit group [F.sup.x] is a cyclic group of order n -1.

Now define the Neutrosophic group and these groups in general do not have classical group structure, which are defined specifically with respect to Neutrosophic multiplication as follows.

Definition.2.5 Let (G, x) be a multiplicative group. Then the set <G [union] I> = <a, al : a [member of] G, [I.sup.2] = I> is called a

Neutrosophic group generated by G and I under the operation on G, where I is the Neutrosophic element. Based on this definition we have the following.

1. Neutrosophic group <G [union] I> of G is also denoted by N (G, I).

2. N (G, I) = G [union] GI, where G [intersection] GI = [phi]and GI = {aI : a [member of] G}.

3. G [subset] N (G, I) and N (G, I) [not subset] G.

4. Let n [greater than or equal to] 1 be a positive integer. Then [(aI).sup.n] = a"I for every a [member of] G.

Now we proceed on to define the Neutrosophic ring and consider their basic properties from [2]. Definition.2.6 Let (R, +, *) be a ring. Then the Neutrosophic set N (R, I) = {a + bI : a, b [member of] R, [I.sup.2] = I} is called Neutrosophic ring generated by R and I under the following Neutrosophic addition and Neutrosophic multiplication operations.

1. (a + bI) + (c + dI) = (a + c) + (b + d)I.

2. (a + bI)(c + dI) = ac + (bc + ad + bd)I.

Properties of N (R, I).2.7

1. R is a commutative ring with unity 1 [??] N(R, I) is a commutative Neutrosophic ring with unity 1 and Neutrosophic unity I.

2. If R is finite ring then [absolute value of (N(R, I))] = [[absolute value of (R)].sup.2].

3. In general, I + 1 [not equal to] I and -I [not equal to] I, where -I exist in N (R, I). In particular, -I = I if and only if N (R, I) s N ([Z.sub.2], I).

4. [I.sup.n] = I for each n > 1

For further details about Neutrosophy and Neutrosophic rings the reader should refer [7, 8].

3. Neutrosophic units

In this section we define Neutrosophic units of finite commutative rings, fields and study its concrete properties which are comparing the group units of classical rings and fields.

Definition.3.1 Let [R.sup.x] be the set of group units of the commutative ring R. Then the set

N([R.sup.x], I) = (u, uI :u [member of][R.sup.x], [I.sup.2] = I)

is called Neutrosophic group units or simply Neutrosophic units generated by [R.sup.x] and I under the operations of [R.sup.x], where [I.sup.-1] does not exist.


1. N([Z.sub.3.sup.x], I) = {1,2,1, 21}.

2. N([Z.sub.6.sup.x], I) = {1,5, 1, 51}.

Properties of N([R.sup.x], I).3.3

1. N([R.sup.x], I) is a Neutrosophic group but not a classical group.

2. [R.sup.x] [subset] N ([R.sup.x], I) [subset] N (R, I).

3. [R.sup.x]I [subset] N([R.sup.x], I) [subset] N(R, I).

4. [R.sup.x] [intersection] [R.sup.x] I = [phi] and N([R.sup.x], I) = [R.sup.x] [union] [R.sup.x]I.

5. For any u, u' [member of] R, the Neutrosophic element u + u'I is a Neutrosophic unit if and only if either u = 0 or w' = 0.

6. Let N(R, I) be a Neutrosophic ring without zero devisors. Then for any u, u'[member of] [R.sup.x], uI = vI [??] uI - vI = 0 [??] (u - v)I = 0 [??] u = v, since I [not equal to] 0.

Theorem. 3.4 For any non-trivial integral domain R we have [absolute value of ([R.sup.x])] = [absolute value of ([R.sup.x]I).

Proof. Define a map f : [R.sup.x] [right arrow] [R.sup.x]I by the relation f (u) = [u.sup.-1] for every u [member of] [R.sup.x], [I.sup.2] = I and [I.sup.-1] does not exist. Trivially, f (1) = I. Further, for any u, v [member of] [R.sup.x], f (uv) = [(uv).sup.-1] I = [u.sup.-1] [v.sup.-1]I = ([u.sup.-1]I)([v.sup.-1]I) = f(u) f(v) this implies that f is a group homomorphism. Also, for each u [member of] [R.sup.x], there exist unique [u.sup.-1] [member of] [R.sup.x] such that f ([u.sup.-1]) = [([u.sup.-1]).sup.-1] I = uI, f is onto. Finally, f (u) = f (v)implies that [u.sup.-1]I = [v.sup.-1]I.

Therefore, (1 -u[v.sup.-1])I = 0 implies u = v because N(R, I)has no zero devisors and I [not equal to] 0. This proves that there is a one-one correspondence between [R.sup.x] and [R.sup.x]I, and hence [absolute value of ([R.sup.x])] = [absolute value of ([R.sup.x]I)].

Theorem.3.5 If [absolute value of (R)] = 1, then N([R.sup.x], I) is empty.

Proof. Follows from well-known result that R = {0} if and only if N (R, I) = {0}.

Theorem. 3.6 For any finite non-trivial commutative ring R we have 2 [less than or equal to] [absolute value of (N([R.sup.x], I)] [less than or equal to] 2 [absolute value of ([R.sup.x])].

Proof. Suppose [absolute value of (R)] = 2. Then [R.sup.x] = {1} and N([R.sup.x], I) = {1,1}. Therefore, [absolute value of (N(R, I))] = 2, it is one extremity of the required inequality. Further, if [absolute value of (R)] > 2, then by the definition of N([R.sup.x], I), we have N([R.sup.x], I) = [R.sup.x] [union] [R.sup.x] I and [R.sup.x] [intersection] [R.sup.x]I =[phi]. Thus, by the Theorem [3.4], [absolute value of (N([R.sup.x], I))] = [absolute value of ([R.sup.x])] + [absolute value of ([R.sup.x], I)] = 2[absolute value of ([R.sup.x]), which are maximum number of elements in N([R.sup.x], I). This completes the proof.

In what follows here onward, [phi](n) denotes the well known Euler-Totient function of the integer n [greater than or equal to] 1, which gives the number of positive integers less than n that are relatively prime to n. For more details of [phi](n) we refer [9]. The immediate results are consequences of the Theorem [3.6].

Corollary. 3.7 Let n > 1 be a positive integer. Then the maximum number of elements in N([Z.sub.n.sup.x], I) is 2[phi](n). Moreover, this bound is sharp.

Proof. We know that [Z.sub.n.sup.x] is the group of units of the ring Zn of integers modulo n. Then clearly, in view of Theorem [3.6], [absolute value of (N([Z.sup.x.sub.n], I))] = 2[absolute value of ([Z.sup.x.sub.n])] = 2[phi](n).

Corollary.3.8 Let n [greater than or equal to] 1. If R is a Boolean ring of order [2.sup.n], then [absolute value of (N([R.sup.x], I)) = 2.

Proof. By the Theorem [2.3], we know that R is a finite Boolean ring if and only if [R.sup.x] = {1}. Hence [absolute value of (N([R.sup.x], I))] = 2.

Let F be a finite field of order [absolute value of (F)] > 1. Then [F.sup.*] = F - {0} = [F.sup.x] is a cyclic group with respect to multiplication on F. But N ([F.sup.x], I) is not a cyclic group with respect to either multiplication or Neutrosophic multiplication. However, [F.sup.x]I is a Neutrosophic semigroup and it is generated by uI where u generator of [F.sup.x]. In this connection we have to prove that the following results and for further information of fields and Neutrosophic field's reader refer [10] and [5], respectively.

Theorem.3.9 The Neutrosophic group N ([F.sup.x], I) is not a cyclic group.

Proof. By characterization of finite fields, it is well known that F be a finite field of order n if and only if [F.sup.x] is a cyclic group of order n -1 with respect to multiplication defined on F. Therefore, for a generator u [member of] [F.sup.x] we have [F.sup.x] = (u). To complete the proof, it is enough to show that the Neutrosophic group N([F.sup.x], I) is not a cyclic. If possible assume that N([F.sup.x], I) generated by its Neutrosophic unit uI, then

[mathematical expression not reproducible],

which is not possible because [mathematical expression not reproducible] is not multiplicative inverse of I. The above theorem proves that the following result, which is of fundamental importance of Neutrosophic rings and fields.

Theorem. 3.10 [F.sup.x] = <u> if and only if [F.sup.x]I = <ul>.

Proof. Let u [member of] [F.sup.x]. Then

[mathematical expression not reproducible].

We usually write u1 = u = 1u for every u in [R.sup.x] and uI [not equal to] u [not equal to] Iu for every u [not equal to] 1 in [R.sup.x]. So, the element 1 is unity and I is not unity but it is Neutrosophic unit because [I.sup.2] = I and [I.sup.-1] does not exist. The most familiar examples of infinite Neutrosophic units of infinite rings Z and Z[i], respectively, are

N([Z.sup.x], I) = {1, -1, I, -1} and N(Z[[i].sup.x], I) = {1, -1, i, - i, I, -I, iI, -iI} where [i.sup.2] = -1 and 12 = I. These examples support our claim that the sum of elements in N([R.sup.x], I) is zero. However, the following important results showing that the sum of elements of a Neutrosophic ring is zero when char(R) [not equal to] 2. This is one of similar result of classical rings.

Theorem. 3.11 If char(R) = 2 then the sum of elements of N([R.sup.x], I) is not zero. Proof. It is obvious because 1, I [member of] N([R.sup.x], I) implies 1 + 1 [not equal to] 0.

Theorem. 3.12 Let N([R.sup.x], I) be a commutative Neutrosophic ring whose characteristic is not equal to 2, then bI [not equal to] -bI for every b [member of] R.

Proof. Suppose bI = -bI [??] 2bI = 0 and

2a = 0 [??] 2(a + bI) = 0 [??] 2(a + bI) = 0 [??] char (N (R, I)) = 2 because a + bI [member of] N (R, I).

Theorem. 3.13 Let F be a finite field. If [absolute value of (F)] > 2 then the sum of the elements of N ([F.sup.x], I) is zero.

Proof. Suppose that [absolute value of (F)] = n > 2. Then the Neutrosophic units group N ([F.sup.x], I) is the disjoint union of [F.sup.x] and [F.sup.x]I. By the Theorem [3.9] and Theorem [3.10], we have [u.sup.n] = 1 and [(uI).sup.n] = I [??] 1 - [u.sup.n] = 0 and I - [(uI).sup.n] = 0

[??] (1 -u) (1 + u + [u.sup.2] +... + [u.sup.n-1]) = 0 and (I - uI) (I + uI + [(uI).sup.2] +... + [(uI).sup.n-1]) = 0.

As uI [not equal to] I and u [not equal to] 1, these relations becomes

1 + u + [u.sup.2] +... + [un.sup.-1] = 0 and I + uI + [(uI).sup.2] +... + [(uI).sup.n-1] = 0.

This implies that the sum of elements in the Neutrosophic units group N ([F.sup.x], I) is zero. Hence the result.

The following table illustrates the main differences between classical field and their Neutrosophic filed.
Classical filed                     Neutrosophic filed.

1   [absolute value of (F)] =      [absolute value of (N(F, I)]
    [p.sup.n]                      = [p.sup.2n]

2   [F.sup.x] is a group of         N ([F.sup.x], I) is a
    order [p.sup.n] -1              Neutrosophic group of order
                                    2([p.sup.n] -1)

3   [F.sup.x] is a cyclic           N ([F.sup.x], I) is not
    group                           a cyclic group

4   [F.sup.x] = <u>                 [F.sup.x] I = <uI>

5   1 [member of] [F.sup.x]         1 [not member of] [F.sup.x] I
6   [Z.sup.x.sub.2] = {1}           N([Z.sup.x.sub.2], I) = {1, I}

4. Isomorphic properties of Neutrosophic units

Isomorphism of finite groups is central to the study of point symmetries and geometric symmetries of any object in the nature. They also provide abundant relations of abelian and non-abelian groups. If the group [R.sup.x] is isomorphic to the group [S.sup.x], we write [R.sup.x] [S.sup.x], the map f :[R.sup.x] [right arrow] [S.sup.x] is an isomorphism if there exist a oneone and onto map such that the group operation preserved. The concept of isomorphism of groups is analogues to the concept of Neutrosophic isomorphism of Neutrosophic groups. For this reason the authors Agboola et al. [3, 4] and Chalapathi and Kiran [5] define Neutrosophic group isomorphism as follows.

Definition.4.1 Two Neutrosophic groups N ([R.sup.x], I) and N ([S.sup.x], I) are Neutrosophic isomorphic if there exist a well-defined map [phi]: N([R.sup.x], I) [right arrow] N([S.sup.x], I) such that

1. [phi](l) = 1 and [phi](I) = I,

2. [phi] is a group homomorphism,

3. [phi] is one-one correspondence.

If N ([R.sup.x], I) is Neutrosophic isomorphic to N ([S.sup.x], I), we write N([R.sup.x], I) [congruent to] ([S.sup.x], I).

Theorem.4.2 [6]. Let [R.sup.x] and [S.sup.x] be any two non-trivial finite commutative rings. Then R [congruent to] S if and only if [R.sup.x] [congruent to] [S.sup.x].

An important consequence of above theorem is the following immediate in Neutrosophic rings which we state as a theorem in view of its importance throughout our study of Neutrosophic ring theory. Theorem.4.3 If [R.sup.x] [congruent to] [S.sup.x] then N([R.sup.x], I) [congruent to] N([S.sup.x], I).

Proof. Let [R.sup.x] and [S.sup.x] be the set of units of the rings R and S respectively. Suppose, [R.sup.x] [congruent to] [S.sup.x]. Then there exist a group isomorphism f : [R.sup.x] [right arrow] [S.sup.x] such that f (1) = 1. Now define a map [phi]: N([R.sup.x], I) [right arrow] N([S.sup.x], I) by setting

[mathematical expression not reproducible]

for all x [member of] N([R.sup.x], I) = [R.sup.x] [union] [R.sup.x]I. Because f is a group isomorphism, we get [phi] is well defined. For I [member of] [R.sup.x]I, we have [phi](I) = [phi](1I) = f (1)1 = 1I = I. Next, we show that [phi] is a homomorphism. Writing x for uI and y for u'I, where u, u' [e.sup..sub.[]R.sup.x], [phi](xy) = [phi]((uI)(u'I)) = "(uu'I) = f (uu')I = f (u) f (u')I = (f(u) I)(f(u')I) = [phi](x)[phi](y).Clearly, [phi] is onto, since f is onto. Finally, we show that [phi] is one-one. For this let [phi](x) = [phi](y), then f (u)I = f (u')I [??] (f(u) - f(u')) I = 0

[??] f (u) - f (u') = 0, since I [not equal to] 0 and f is one-one. Hence, N([R.sup.x], I) [congruent to] N([S.sup.x], I).

In view of the Theorem [2.2] and Theorem [4.3], the proof of the following result is obvious. Theorem. 4.4 Let m and n be two positive integers such that m > 1 and n > 1. Then the following are equivalent.

1. gcd(m, n) = 1,

2. [] [congruent to] [Z.sup.x.sub.m] x [Z.sup.x.sub.n],

3. N([], I) [congruent to] N([Z.sup.x.sub.m], I) x N([Z.sup.x.sub.n], I).

Theorem. 4.5 Let m > 1 and n > 1 be any two positive integers. Then

N([Z.sup.x.sub.m] x N([Z.sup.x.sub.n], I) [not congruent to] N([Z.sup.x.sub.m], I] N([Z.sup.x.sub.n], I] Proof. Let m > 1 and n > 1 be any two positive integers. By Theorem [2.1] and Corollary [3.7] we have [absolute value of ([Z.sub.n.sup.x])] = [phi](m), [absolute value of ([Z.sub.n.sup.x])]= [phi](n) and [absolute value of (N([Z.sub.m.sup.x]) x [Z.sub.n.sup.x], I)] = 2[phi](m)[phi](m). But

[mathematical expression not reproducible]

= 4[phi](n)[phi](m). Hence the result.


The authors wish to express their cordial thanks to Prof. L. Nagamuni Reddy and Prof. S.Vijaya Kumar Varma for valuable suggestions to improve the presentation of this paper.


[1] W.B. Vasantha Kandasamy and Florentin Smarandache, Basic Neutrosophic Algebraic Structures and their Applications to Fuzzy and Neutrosophic Models, Hexis, Church Rock (2004).

[2] W.B. Vasantha Kandasamy and F. Smarandache, Some Neutrosophic Algebraic Structures and Neutrosophic N-Algebraic Structures, Hexis, Phoenix, Arizona (2006).

[3] A.A.A. Agboola, A.D. Akinola and O.Y.Oyebola, Neutrosophic Rings I, Int. J. of Math. Comb, 4(2011)1-14.

[4] A.A.A. Agboola, E.O. Adeleke and S.A. Akinleye, Neutrosophic Rings II, International J.Math. Combin, 2(2012) 1-8.

[5] T.Chalapathi and R.V.M.S.S.Kiran Kumar, Self Additive Inverse Elements of Neutrosophic Rings and Fields, Annals of Pure and Applied Mathematics, 13 (2017) 63-72.

[6] L. Gilbert, Elements of Modern Algebra, 8th edition, Cengage Learning, (2014).

[7] P. Majumdar, Neutrosophic Sets and Its Applications to Decision Making, Computational Intelligence for Big Data Analysis, Springer International Publishing, Switzerland, 19(2015)97-115.

[8] T Chalapathi and R.V.M.S.S. Kiran Kumar, Neutrosophic Graphs of Finite Groups, Neutrosophic Sets and Systems, 15 (2017) 22-30.

[9] Tom M. Apostol, Introduction to Analytic Number Theory, Springer Science & Business Media, (1998).

[10] Gary L. Mullen, Daniel Panario, Handbook of Finite Fields, Taylor & Francis, CRC Press, (2013).

Received: May 15, 2018. Accepted: June 4, 2018.

T. Chalapathi (1), and R. V. M. S. S. Kiran Kumar (2)

(1) Department of Mathematics, Sree Vidyanikethan Eng.College Tirupati,-517502, Andhra Pradesh, India.


(2) Research Scholar, Department of Mathematics, S.V.University, Tirupati,- 517502, Andhra Pradesh, India.

COPYRIGHT 2018 Neutrosophic Sets and Systems
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2018 Gale, Cengage Learning. All rights reserved.

Article Details
Printer friendly Cite/link Email Feedback
Author:Chalapathi, T.; Kumar, R.V.M.S.S. Kiran
Publication:Neutrosophic Sets and Systems
Article Type:Report
Date:Oct 1, 2018
Previous Article:Contributions of Selected Indian Researchers to Multi Attribute Decision Making in Neutrosophic Environment: An Overview.
Next Article:Neutrosophic Approach to Grayscale Images Domain.

Terms of use | Privacy policy | Copyright © 2020 Farlex, Inc. | Feedback | For webmasters