Neutrosophic Multigroups and Applications

In recent years, fuzzy multisets and neutrosophic sets have become a subject of great interest for researchers and have been widely applied to algebraic structures include groups, rings, fields and lattices. Neutrosophic multiset is a generalization of multisets and neutrosophic sets. In this paper, we proposed a algebraic structure on neutrosophic multisets is called neutrosophic multigroups which allow the truth-membership, indeterminacy-membership and falsity-membership sequence have a set of real values between zero and one. This new notation of group as a bridge among neutrosophic multiset theory, set theory and group theory and also shows the effect of neutrosophic multisets on a group structure. We finally derive the basic properties of neutrosophic multigroups and give its applications to group theory.


Introduction
In the real world, there are much uncertainty information which cannot be handled by crisp values.The fuzzy set theory [1] has been an age old and effective tool to tackle uncertainty information by introduced Zadeh but it can be applied only on random process.Therefore, on the basis of fuzzy set theory, Sebastian and Ramakrishnan [2] introduced Multi-Fuzzy Sets, Atanassov [3] proposed intuitionistic fuzzy set theory, Shinoj and John [4] initiated intuitionistic fuzzy multisets.Recently, the above theories have developed in many directions and found its applications in a wide variety of fields including algebraic structures.For example, on fuzzy sets [5][6][7], on fuzzy multi sets [8][9][10], on intuitionistic fuzzy sets [11][12][13][14][15][16][17][18][19], on intuitionistic fuzzy multi sets [20] are some of the selected works.
But these theories cannot manage the all types of uncertainties, such as indeterminate and inconsistent information some decision-making problems.For instance, "when we ask the opinion of an expert about certain statement, he or she may that the possibility that the statement is true is 0.5 and the statement is false is 0.6 and the degree that he or she is not sure is 0.2" [21].In order to overcome this shortage, Smarandache [22] introduced neutrosophic set theory to makes the theory of Atanassov [3] very convenient and easily applicable in practice.Then, Wang et al. [21] gave the some operations and results of single valued neutrosophic set theory.In order to establish the algebraic structures of neutrosophic sets, some authors gave definition of neutrosophic groups [23][24][25][26] that is actually a example of a group.To develop the neutrosophic set theory, the concept of neutrosophic multi sets was initiated by Deli et al. [27] and Ye [28,29] for modeling vagueness and uncertainty.Using their definitions, in this paper, we define a new type of neutrosophic group on a neutrosophic multi set, which we call neutrosophic multi set group.Since this new concept a brings the neutrosophic multi set theory, set theory and the group theory together, it is very functional in the sense of improving the neutrosophic multi set theory with respect to group structure.Rosenfeld [30] extended the classical group theory to fuzzy set.By using the definitions and results on fuzzy sets in [6,30] and on intuitionistic fuzzy multiset in [20], we applied the definitions and results to neutrosophic multi set theory.The above set theories have been applied to many different areas including neutrosophic environments have been studied by many researchers in [31][32][33][34][35][36][37][38][39].In this paper the notion of neutrosophic multigroup along with some related properties have been introduced by follow the results of intuitionistic fuzzy group theory.This concept will bring a new opportunity in research and development of neutrosophic sets theory.
The paper is organized as follows.In Section 2, we briefly review some preliminary concepts that will be used in the paper.In Section 3, we introduce the concept of neutrosophic multi group and give several basic properties and operations.In Section 4, we give some applications to the group theory with respect to neutrosophic multi groups.In Section 5, we make some concluding remarks and suggest.

Preliminary
In this section, we present basic definitions of fuzzy set theory, multi fuzzy set theory, intuitionistic fuzzy set theory, intuitionistic fuzzy multi set theory, neutrosophic set theory and neutrosophic multi set theory.For more detailed explanations related to this section, we refer to the earlier studies [1,2,4,6,20,22,27,30].
Then, a fuzzy set X over E is defined by where µ X is called membership function of X and defined by µ X : E → [0, 1].For each x ∈ E, the value µ X (x) represents the degree of x belonging to the fuzzy set X.

Definition 3 ([4]
).Let X be a nonempty set.An Intuitionistic Fuzzy Multi-set A denoted by IFMS drawn from X is characterized by two functions: 'count membership' of A(CM A ) and 'count non membership' of A(CN A ) given respectively by A(CM A ) : X → Q and A(CN A ) : X → Q where Q is the set of all crisp multi-sets drawn from the unit interval [0, 1] such that, for each x ∈ X, the membership sequence is defined as a decreasingly ordered sequence of elements in CM A (x), which is denoted by (µ and the corresponding non membership sequence will be denoted by Definition 4 ([4]).Length of an element x in an IFMS.A defined as the Cardinality of CM A (x) or CN A (x) Proposition 1 ([20]).Let A, B, A i ∈ IFMS(X); then, the following results hold: 1. [ Definition 5 ([20]).Let X be a group.An intuitionistic fuzzy multiset G over X is an intuitionistic fuzzy multi group (IFMG) over X if the counts(count membership and non membership) of G satisfies the following four conditions:

Definition 6 ([22]
).Let X be a space of points (objects), with a generic element in X denoted by x.A neutrosophic set(N-set) A in X is characterized by a truth-membership function T A , a indeterminacy-membership function I A and a falsity-membership function F A .T A (x), I A (x) and F A (x) are real standard or nonstandard subsets of It can be written as There is no restriction on the sum of T A (x); Here, 1 + = 1+ε, where 1 is its standard part and ε its non-standard part.Similarly, − 0 = 1+ε, where 0 is its standard part and ε its non-standard part.

Definition 7 ([27]
).Let E be a universe.A neutrosophic multiset set(Nms) A on E can be defined as follows: where and is the truth-membership sequence, indeterminacy-membership sequence and falsity-membership sequence of the element x, respectively.In addition, P is called the dimension(cardinality) of Nms A, denoted d(A).We arrange the truth-membership sequence in decreasing order, but the corresponding indeterminacy-membership and falsity-membership sequence may not be in decreasing or increasing order.Definition 8 ([27,28]).Let A, B be two Nms.Then,

1.
A is said to be Nm-subset of B is denoted by A is said to be neutrosophic equal of B is denoted by ∀x ∈ E and i = 1, 2, ..., P.

3.
The union of A and B is denoted by A ∪B = C and is defined by where The intersection of A and B is denoted by A ∩B = D and is defined by where ∀x ∈ E and i = 1, 2, ..., P.

Neutrosophic Multigroups
In this section, we introduce neutrosophic multigroups and investigate their basic properties.Throughout this section, 1.
Let X be a group with a binary operation and the identity element is e.

2.
N MS(X) denotes the set of all neutrosophic multisets over the X.

3.
N MG(X) denotes the set of all neutrosophic multi groups N MG over the group X.
Definition 9. Let X be a group A ∈ N MS(X).Then, A −1 is defined as where ) for all i = 1, 2, ..., P.
Definition 10.Let X be a classical group A ∈ N MS(X).Then, A is called a neutrosophic multi groupoid over X if for all x, y ∈ X and i = 1, 2, ..., P.
A is called a neutrosophic multi group(NM-group) over X if the neutrosophic multi groupoid satisfies for all x ∈ X and i = for all x ∈ X and i = 1, 2, ..., P.
Proof.Since A an N M − group over X, then 1.
Proposition 3. Let X be a classical group and A ∈ N MS(X).If A ∈ N MG(X), then for all x ∈ X and i = 1, 2, ..., P.
Proof.Since A an N M − group over X, then 1.

3.
F for all x ∈ X and i = Then, B is a neutrosophic multi subgroup of A over (Z 3 , +) and denoted by B ≤A.
Theorem 1.Let X be a group A ∈ N MS(X).Then, A is an N M − group if and only if T Proof.Assume that A is an N M − group over X.Then, for all x, y ∈ X and i = 1, 2, ..., P.
Conversely, the given condition be satisfied.Firstly, Secondly, Thirdly, so the proof is complete.

Definition 12.
Let A, B ∈ N MS(X).Then, their "AND" operation is denoted by A ∧B and is defined by where Theorem 2. Let A, B ∈ N MG(X).Then, A ∧B is a neutrosophic multi group over X.
Example 3. Let us take into consideration the classical group (Z 3 , +).Define the neutrosophic multiset A, B on (Z 3 , +) as follows: Then, A ∧B ∈ N MG(X).
Definition 13.Let X be a classical group and A, B ∈ N MS(X).Then, their "OR" operation is denoted by A ∨B and is defined by where Proof.Let (x 1 , y 1 ), (x 2 , y 2 ) ∈ X × X.Then, for all (x 1 , y 1 ), (x 2 , y 2 ) ∈ X and i = 1, 2, ..., P-hence the proof.From this, it is clear that, if A, B ∈ N MG(X), then Corollary 1.Let A, B ∈ N MG(X).Then, A ∨B need not be an element of N MG(X).However, T i A ∨B (3, 0) ≥ T i A ∨B (1, 0).Then, A ∨B / ∈ N MG(X).
Theorem 3. Let X be a classical group and A ∈ N MG(X).Then, the followings are equivalent: Proof. 1.
(2) ⇒ (3): Immediate.3. ( 4. (4) ⇒ (1): Let x, y ∈ X.Then, Definition 15.Let X be a group, A ∈ N MG(X) and B is a neutrosophic multi subgroup of A over X.Then, B is called an a normal neutrosophic multi subgroup of A, denoted by B ˜ A if it is an abelian neutrosophic multi subset of A over X. Corollary 2. Let A ∈ N MG(X) and B be a neutrosophic multi subgroup of A over X.If X is an abelian group, then B is a normal neutrosophic multi subgroup of A over X.

Applications of Neutrosophic Multi Groups
In this section, we give some applications to the group theory with respect to neutrosophic multi groups.Definition 16.Let A be a neutrosophic multiset on X and α ∈ [0, 1].Define the α-level sets of A as follows:
y.xy.y −1 ) ≤ F i A (xy) Let X be a group, A ∈ N MS(X) and B is a nonempty neutrosophic multi subset of A over X.Then, B is called an abelian neutrosophic multi subset of A ifT i A (yx) = T i A (xy), I i A (yx) = I i A (xy) and F i A (yx) = F i A (xy) for all x, y ∈ X.Example 5. 1 X and 1 e are normal neutrosophic multi subgroup of X.If X is a commutative group, every neutrosophic multi subgroup of X is normal.