# Characterizations of Group Theory under Q-Neutrosophic Soft Environment.

1 Introduction

Neutrosophic sets (NSs), one of the fundamental models that deal with uncertainty, first appeared in mathematics in 1998 by Smarandache [1, 2] as an extension of the concepts of the classical sets, fuzzy sets  and intuitionistic fuzzy sets . A NS is identified via three independent membership degrees which are standard or non-standard subsets of the interval][.sup.-0],1+[where [.sup.-0] = 0 - [delta], [1.sup.+] = 1 + [delta]; [delta] is an infinitesimal number. These memberships represent the degrees of truth (T), indeterminacy (I), and falsity (F). This structure makes the NS an effective common framework and empowers it to deal with indeterminate information which were not considered by fuzzy and intuitionistic fuzzy sets. Molodtsov  raised the notion of soft sets, based on the theory of adequate parametrization, as another approach to handle uncertain data. Since its initiation, a plenty of hybrid models of soft sets have been produced, for example, soft multi set theory , soft expert sets , fuzzy soft sets  and neutrosophic soft sets (NSS) . Recently, NSs and NSSs were studied deeply by different researchers -.

However, none of the above models can deal with two-dimensional indeterminate, uncertain and incompatible data. This propelled researchers to amplify them to have the capacity to deal with such circumstances, for example, Q-fuzzy soft sets [20, 21], Q-neutrosophic soft sets (Q-NSSs)  and Q-linguistic neutrosophic variable sets . A Q-NSS is an expanded model of NSSs characterized via three two-dimensional independent membership degrees to tackle two-dimensional indeterminate issues that show up in real world. It gave an appropriate parametrization notion to handle imprecise, indeterminate and inconsistent two-dimensional information. Hence, it fits the indeterminacy and two-dimensionality simultaneously. Thus, Q-NSSs were further explored by Abu Qamar and Hassan by discussing their basic operations , relations , measures of distance, similarity and entropy  and also extended it further to the concept of generalized Q-neutrosophic soft expert set .

Hybrid models of fuzzy sets and soft sets were extensively applied in different fields of mathematics, in particular they were extremely applied in classical algebraic structures. This was started by Rosenfeld in 1971  when he established the idea of fuzzy subgroup, by applying fuzzy sets to the theory of groups. Since then, the theories and approaches of fuzzy soft sets on different algebraic structures developed rapidly. Mukherjee and Bhattacharya  studied fuzzy groups, Sharma  discussed intuitionistic fuzzy groups, Aktas and Cagman  defined soft groups and Aygunoglu and Aygun presented the concept of fuzzy soft groups . Recently, many researchers have applied different hybrid models of fuzzy sets to several algebraic structures such as groups, semigroups, rings, fields and BCK/BCI-algebras -. NSs and NSSs have received more attention in studying the algebraic structures dealing with uncertainty. Cetkin and Aygun  established the concept of neutrosophic subgroups. Bera and Mahapatra introduced neutrosophic soft groups , neutrosophic soft rings , ([alpha],[beta],[gamma])-cut of neutrosophic soft sets and its application to neutrosophic soft groups  and neutrosophic normal soft groups . Neutrosophic triplet groups, rings and fields and many other structures were discussed in [44, 45, 46]. Moreover, two-dimensional hybrid models of fuzzy sets and soft sets were also applied to different algebraic structures. Solairaju and Nagarajan  introduced the notion of Q-fuzzy groups. Thiruveni and Solairaju defined the concept of neutrosophic Q-fuzzy subgroups , while Rasuli  established Q-fuzzy and anti Q-fuzzy subrings.

Inspired by the above discussion, in the present work we combine the idea of Q-NSS and group theory to conceptualize the notion of Q-neutrosophic soft groups (Q-NSGs) as a generalization of neutrosophic soft groups and soft groups; it is a new algebraic structure that deals with two-dimensional universal set under uncertain and indeterminate data. Some properties and basic characteristics are explored. Additionally, we define the Q-level soft set of a Q-NSS, which is a bridge between Q-NSGs and soft groups. The concept of Q-neutrosophic soft homomorphism (Q-NS hom) is defined and homomorphic image and preimage of a Q-NSG are investigated. Furthermore, the cartesian product of Q-NSGs is defined and some pertinent properties are examined. To clarify the novelty and originality of the proposed model a few contributions of numerous authors toward Q-NSGs are appeared in Table 1.

2 Preliminaries

We recall the elementary aspects of soft set, Q-NS and Q-NSS relevant to this study.

Definition 2.1.  A pair (f, E) is a soft set over X if f is a mapping given by f : E [right arrow] P (X). That is, the soft set is a parametrized family of subsets of X.

Definition 2.2.  A soft set (f, E) over a group G is called a soft group over G if f (a) is a subgroup of G, [for all]a [member of] E.

Definition 2.3.  A fuzzy soft set (F, E) over a group G is called a fuzzy soft group over G if [for all][alpha] [member of] E, F(a) is a fuzzy subgroup of G in Rosenfeld's sense.

Abu Qamar and Hassan  proposed the notion of Q-neutrosophic set (Q-NS) in the following way.

Definition 2.4.  A Q-NS [[GAMMA].sub.Q] in X is an object of the form

[mathematical expression not reproducible]

where Q [not equal to] [phi] and [mathematical expression not reproducible] are the true, indeterminacy and false membership functions, respectively with [mathematical expression not reproducible].

Definition 2.5.  Let X be a universal set, Q be a nonempty set and A [??] E be a set of parameters. Let [[mu].sup.l]QNS(X) be the set of all multi Q-NSs on X with dimension l = 1. A pair ([[GAMMA].sub.Q], A) is called a Q-NSS over X, where [[GAMMA].sub.Q] : A [right arrow] [[mu].sup.l]QNS(X) is a mapping, such that [[GAMMA].sub.Q](e) - [phi] if e [??] A.

A Q-NSS can be presented as

([[GAMMA].sub.Q], A) = {(e, [[GAMMA].sub.Q](e)) : e [member of] A, [[GAMMA].sub.Q] [member of] [[mu].sup.l]QNS(X)}.

Definition 2.6 (). Let ([[GAMMA].sub.Q], A), ([[PSI].sub.Q], B) [member of] Q - NSS(X). Then, ([[GAMMA].sub.Q], A) is a Q-neutrosophic soft subset of ([[PSI].sub.Q], B), denoted by ([[GAMMA].sub.Q],A) [??] ([[PSI].sub.Q],B), if A [??] B and [[GAMMA].sub.Q](e) [??] [[PSI].sub.Q](e) for all e [member of] A, that is [mathematical expression not reproducible] for all (s, p) [member of] X x Q.

Definition 2.7.  The union of two Q-NSSs ([[GAMMA].sub.Q], A) and ([[PSI].sub.Q], B) is the Q-NSS ([[LAMBDA].sub.Q], C) written as ([[GAMMA].sub.Q], A)[union] ([[PSI].sub.Q], B) = ([[LAMBDA].sub.Q], C), where C = [LAMBDA] [union] B and [[for all].sub.c] [member of] C, (s,p) [member of] X x Q, the membership degrees of ([[LAMBDA].sub.Q], C) are:

[mathematical expression not reproducible]

Definition 2.8.  The intersection of two Q-NSSs ([[GAMMA].sub.Q], A) and ([[PSI].sub.Q], B) is the Q-NSS ([[XI].sub.Q], C) written as ([[GAMMA].sub.Q], A) n ([[PSI].sub.Q], B) = ([[XI].sub.Q], C), where C = A [intersection] B and [[for all].sub.c] [member of] C and (s,p) [member of] X x Q, the membership degrees of ([[XI].sub.Q], C) are:

[mathematical expression not reproducible]

Definition 2.9.  If ([[GAMMA].sub.Q], A) and ([[PSI].sub.Q], B) are two Q-NSSs on X, then ([[GAMMA].sub.Q], A) AND ([[PSI].sub.Q], B) is the Q-NSS denoted by ([[GAMMA].sub.Q], A) [??] ([[PSI].sub.Q],B) and introduced by ([[GAMMA].sub.Q], A) [??] ([[PSI].sub.Q],B) = ([[THETA].sub.Q], A x B), where [[THETA].sub.Q](a,b) = [[GAMMA].sub.Q](a) [intersection] [[PSI].sub.Q](6) [for all](a, b) [member of] A x B and (s,p) [member of] X x Q, the membership degrees of ([[THETA].sub.Q], A x B) are:

[mathematical expression not reproducible]

Definition 2.10.  If ([[GAMMA].sub.Q], A) and ([[PSI].sub.Q], B) are two Q-NSSs on X, then ([[GAMMA].sub.Q], A) OR ([[PSI].sub.Q], B) is the Q-NSS denoted by ([[GAMMA].sub.Q], A) [??] ([[PSI].sub.Q],B) and introduced by ([[GAMMA].sub.Q], A) [??] ([[PSI].sub.Q], B) = ([[UPSILON].sub.Q], A x B), where [[UPSILON].sub.Q](a, b) = [[GAMMA].sub.Q](a) [union] [[PSI].sub.Q](b) [for all](a, b) [member of] A x B and (s,p) [member of] X x ([[UPSILON].sub.Q], A x B) are:

[mathematical expression not reproducible]

Definition 2.11.  If ([[GAMMA].sub.Q], A) is a Q-NSS on X, then the necessity [??] ([[GAMMA].sub.Q], A) and the possibility [??]([[GAMMA].sub.Q], A) operations of ([[GAMMA].sub.Q], A) are defined as: for all e [member of] A

[mathematical expression not reproducible]

and

[mathematical expression not reproducible]

3 Q-Neutrosophic soft groups

In the current section, we propose the notion of Q-NSG and investigate some related properties. In this paper G will denote a classical group.

Definition 3.1. Let ([[GAMMA].sub.Q], A) be a Q-NSS over G. Then, ([[GAMMA].sub.Q], A) is said to be a Q-NSG over G if for all e [member of] A, [[GAMMA].sub.Q](e) is a Q-neutrosophic subgroup of G, where [[GAMMA].sub.Q](e) is a mapping given by [[GAMMA].sub.Q](e) : G x Q - [[0,1].sup.3].

Definition 3.2. Let ([[GAMMA].sub.Q], A) be a Q-NSS over G. Then, ([[GAMMA].sub.Q], A) is said to be a Q-NSG over G if for all s, t [member of] G, p [member of] Q and e [member of] A it satisfies:

1. [mathematical expression not reproducible] and [mathematical expression not reproducible].

2. [mathematical expression not reproducible].

Example 3.3. Let G = (Z, +) be a group and A = 3Z be the parametric set. Define a Q-NSS ([[GAMMA].sub.Q], A) as follows

for p [member of] Q and s, m [member of] Z

[mathematical expression not reproducible]

It is clear that ([[GAMMA].sub.Q], 3Z) is a Q-NSG over G.

Theorem 3.4. Let ([[GAMMA].sub.Q], A) be a Q-NSG over G. Then, for all s [member of] G and p [member of] Q the following valid:

1. [mathematical expression not reproducible] and [mathematical expression not reproducible].

(2.) [mathematical expression not reproducible] and [mathematical expression not reproducible].

Proof. 1. [mathematical expression not reproducible] and [mathematical expression not reproducible]. Now, from Definition 3.2 the result follows.

2. For the identity element e in G

[mathematical expression not reproducible]

and

[mathematical expression not reproducible]

Therefore, the result is proved.

Theorem 3.5. A Q-NSS ([[GAMMA].sub.Q], A) over G is a Q-NSG if and only if for all s, t [member of] G,p [member of] Q and e [member of] A

1. [mathematical expression not reproducible],

2. [mathematical expression not reproducible] and

3. [mathematical expression not reproducible]

Proof. Suppose that ([[GAMMA].sub.Q], A) is a Q-NSG over G. By Definition 3.2 we have

[mathematical expression not reproducible]

Thus, conditions 1,2 and 3 hold.

Conversely, suppose conditions 1,2 and 3 are satisfied. We show that for each e [member of] A ([[GAMMA].sub.Q], A) is a Q-neutrosophic subgroup of G. From Theorem 3.4 we have [mathematical expression not reproducible] and [mathematical expression not reproducible]. Next,

[mathematical expression not reproducible]

and

[mathematical expression not reproducible]

This completes the proof.

Theorem 3.6. Let ([[GAMMA].sub.Q], A) and ([[PSI].sub.Q],B) be two Q-NSGs over G. Then, ([[GAMMA].sub.Q], A) [??] ([[PSI].sub.Q],B) and ([[GAMMA].sub.Q], A) [intersection] ([[PSI].sub.Q],B) are also Q-NSGs over G.

Proof. We know that ([[GAMMA].sub.Q], A) [??] ([[PSI].sub.Q], B) = ([[THETA].sub.Q], A x B), where for all (a, b) [member of] A x B and (s,p) [member of] X x Q

[mathematical expression not reproducible]

Now, since ([[GAMMA].sub.Q], A) and ([[PSI].sub.Q], B) are Q-NSGs over G, [[for all].sub.s], t [member of] G,p [member of] Q and (a, b) [member of] A x B, we get

[mathematical expression not reproducible]

and

[mathematical expression not reproducible]

Also,

[mathematical expression not reproducible]

[mathematical expression not reproducible]

This shows that ([[GAMMA].sub.Q], A) [??] ([[PSI].sub.Q], B) is a Q-NSG. The proof of ([[GAMMA].sub.Q], A) [intersection] ([[PSI].sub.Q], B) is similar to the proof of ([[GAMMA].sub.Q],A) [??] ([[PSI].sub.Q], B).

Remark 3.7. For two Q-NSGs ([[GAMMA].sub.Q], A) and ([[PSI].sub.Q], B) over G, ([[GAMMA].sub.Q], A) [union] ([[PSI].sub.Q], B) is not generally a Q-NSG over G.

For example, let G = (Z, +) and E = 2Z. Define the two Q-NSGs ([[GAMMA].sub.Q],E) and ([[PSI].sub.Q], E) over G as the following for s, m [member of] Z, p [member of] Q

[mathematical expression not reproducible]

and

[mathematical expression not reproducible]

Let ([[GAMMA].sub.Q], A) [union] ([[PSI].sub.Q], B) = ([[??].sub.Q], E). For m = 3, s = 12, t = 18 we have

[mathematical expression not reproducible]

and

[mathematical expression not reproducible]

Hence, [mathematical expression not reproducible] i.e. [mathematical expression not reproducible] is not a Q-NSG.

Theorem 3.8. If ([[GAMMA].sub.Q], A) is a Q-NSG over G, then [??] ([[GAMMA].sub.Q], A) and [??]([[GAMMA].sub.Q], A) are Q-NSGs over G. Proof. Let ([[GAMMA].sub.Q], A) be a Q-NSG over G. Then, for each e [member of] A, s, t [member of] G and p [member of] Q we have

[mathematical expression not reproducible]

Hence, [??]([[GAMMA].sub.Q], A) is a Q-NSG. Similarly, we can prove the second part.

Definition 3.9. Let ([[GAMMA].sub.Q], A) be a Q-NSG over G. Let [alpha], [beta], [gamma] [member of] [0,1] with [alpha] + [beta] + [gamma] [less than or equal to] 3. Then [([[GAMMA].sub.Q], A).sub.([alpha],[beta],[gamma])] is a Q-level soft set of ([[GAMMA].sub.Q], A) defined by

[mathematical expression not reproducible]

for all e [member of] A.

The next theorem provides a bridge between Q-NSG and soft group.

Theorem 3.10. Let ([[GAMMA].sub.Q], A) be a Q-NSS over G. Then, ([[GAMMA].sub.Q], A) is a Q-NSG over G if and only if for all [alpha], [beta], [gamma] [member of] [0, 1] the Q-level soft set [([[GAMMA].sub.Q], A).sub.([alpha],[beta],[gamma])] [not equal to] [phi] is a soft group over G.

Proof. Let ([[GAMMA].sub.Q], A) be a Q-NSG over G, s,t [member of] [([[GAMMA].sub.Q](e)).sub.([alpha],[beta],[gamma])] and p [member of] Q, for arbitrary [alpha],[beta],[gamma] [member of] [0,1] and

e [member of] A.

Then we have [mathematical expression not reproducible]. Since ([[GAMMA].sub.Q], A) is a Q-NSG over G, then we have

[mathematical expression not reproducible]

Therefore, st [member of] [([[GAMMA].sub.Q](e)).sub.([alpha],[beta],[gamma])]. Furthermore [mathematical expression not reproducible]. So, [s.sup.-1] [member of] [([[GAMMA].sub.Q](e)).sub.([alpha],[beta],[gamma])]. Hence [([[GAMMA].sub.Q](e)).sub.([alpha],[beta],[gamma])] is a subgroup over G, [for all]e [member of] A.

Conversely, suppose ([[GAMMA].sub.Q], A) is not a Q-NSG over G. Then, there exists e [member of] A such that [[GAMMA].sub.Q](e) is not a Q-neutrosophic subgroup of G. Then, there exist [s.sub.1], [t.sub.1] [member of] G and p [member of] Q such that

[mathematical expression not reproducible]

and

[mathematical expression not reproducible].

Let us assume that, [mathematical expression not reproducible]. Let [mathematical expression not reproducible] and [mathematical expression not reproducible]. If we take [alpha] = min{[[alpha].sub.1],[[alpha].sub.2]}, then [s.sub.1][t.sup.-1.sub.1] [??] [([[GAMMA].sub.Q](e)).sub.([alpha],[beta],[gamma])]. But, since

[mathematical expression not reproducible].

and

For [mathematical expression not reproducible]., we have [s.sub.1],[t.sub.1] [member of] [([[GAMMA].sub.Q](e)).sub.([alpha],[beta],[gamma])] (.)

This contradicts with the fact that [([[GAMMA].sub.Q](e)).sub.([alpha],[beta],[gamma])] is a soft group over G.

Similarly, we can show that [mathematical expression not reproducible] and [mathematical expression not reproducible].

4 Homomorphism of Q-neutrosophic soft groups

In the following, we define the Q-neutrosophic soft function (Q-NS fn), and then define the image and preimage of a Q-NSS under Q-NS fn. Moreover, we define the Q-neutrosophic soft homomorphism (Q-NS hom) and prove that the homomorphic image and pre-image of a Q-NSG are also Q-NSGs.

Definition 4.1. Let g : X x Q [right arrow] Y x Q and h : A [right arrow] B be two functions where A and B are parameter sets for the sets X x Q and Y x Q, respectively. Then, the pair (g, h) is called a Q-NS fn from X x Q to Y x Q.

Definition 4.2. Let ([[GAMMA].sub.Q], A) and ([[PSI].sub.Q], B) be two Q-NSSs defined over X x Q and Y x Q, respectively, and (g, h) be a Q-NS fn from X x Q to Y x Q. Then,

1. The image of ([[GAMMA].sub.Q], A) under (g, h), denoted by (g, h)([[GAMMA].sub.Q], A), is a Q-NSS over Y x Q and is defined by:

(g,h)([[GAMMA].sub.Q], A) = (g([[GAMMA].sub.Q]),h(A)) = {<b,g([[GAMMA].sub.Q])(b) : b [member of] h(A)>},

where for all b [member of] h(A), t [member of] Y,p [member of] Q,

[mathematical expression not reproducible]

2. The preimage of ([[PSI].sub.Q],B) under (g,h), denoted by [(G,H).sup.-1]([[PSI].sub.Q],B), is a Q-NSS over X x Q and is defined by:

[(g,h).sup.-1]([[PSI].sub.Q],B) = ([(g,h).sup.-1]([[PSI].sub.Q]),[h.sup.-1](B) = {<a, [g.sup.-1]([[PSI].sub.Q])(a) : a [member of] [h.sup.-1](B)>}, where, for all a [member of] [h.sup.-1](B), s [member of] X,p [member of] Q,

[mathematical expression not reproducible]

If g and h are injective (surjective), then (g, h) is injective (surjective).

Definition 4.3. Let (g, h) be a Q-NS fn from X x Q to Y x Q. If g is a homomorphism from X x Q to Y x Q, then (g, h) is said to be a Q-NS hom. If g is an isomorphism from X x Q to Y x Q and h is a one-to-one mapping from A to B, then (g, h) is said to be a Q-neutrosophic soft isomorphism.

Theorem 4.4. Let ([[GAMMA].sub.Q], A) be a Q-NSG over a group [G.sub.1] and (g, h) be a Q-NS hom from [G.sub.1] x Q to [G.sub.2] x Q.

Then, (g, h)([[GAMMA].sub.Q], A) is a Q-NSG over [G.sub.2].

Proof. Let b [member of] h(E), [t.sub.1], [t.sub.2] [member of] [G.sub.2] and p [member of] Q. For [g.sub.-1]([t.sub.1],p) = [phi] or [g.sup.-1]([t.sub.2],p) = [phi], the proof is clear.

So, suppose there exist [s.sub.1], [s.sub.2] [member of] [G.sub.1] and p [member of] Q such that g([s.sub.1],p) = ([t.sub.1],p) and g([s.sub.2],p) = ([t.sub.2],p). Then,

[mathematical expression not reproducible]

Since, the inequality is hold for each [s.sub.1], [s.sub.2] [member of] [G.sub.1] and p [member of] Q, which satisfy g([s.sub.1],p) = ([t.sub.1],p) and g([s.sub.2],p) = ([t.sub.2],p). Then,

[mathematical expression not reproducible]

Also,

[mathematical expression not reproducible].

Similarly, we can obtain

[mathematical expression not reproducible].

This completes the proof.

Theorem 4.5. Let ([[PSI].sub.Q], B) be a Q-NSG over a group [G.sub.2] and (g, h) be a Q-NS homfrom [G.sub.1] x Q to [G.sub.2] x Q.

Then, [(g, h).sup.-1]([[PSI].sub.Q], B) is a Q-NSG over [G.sub.1].

Proof. For a [member of] [h.sup.-1](B), [s.sub.1], [s.sub.2] [member of] [G.sub.1] and p [member of] Q, we have

[mathematical expression not reproducible]

Similarly, we can obtain

[mathematical expression not reproducible]

Thus, the theorem is proved.

5 Cartesian product of Q-neutrosophic soft groups

In this section, we introduce the cartesian product of Q-NSGs and discuss some of its properties.

Definition 5.1. Let ([[GAMMA].sub.Q], A) and ([[PSI].sub.Q], B) be two Q-NSGs over the groups [G.sub.1] and [G.sub.2], respectively. Then their cartesian product is ([[GAMMA].sub.Q], A) x ([[PSI].sub.Q], B) = ([[ohm].sub.Q], A x B) where [[ohm].sub.Q](a, b) = [[GAMMA].sub.Q](a) x [[PSI].sub.Q](b) for (a, b) E A x B. Analytically,

[mathematical expression not reproducible]

where,

[mathematical expression not reproducible]

Theorem 5.2. Let ([[GAMMA].sub.Q], A) and ([[PSI].sub.Q], B) be two Q-NSGs over the groups [G.sub.1] and [G.sub.2]. Then their cartesian product ([[GAMMA].sub.Q], A) x ([[PSI].sub.Q], B) = ([[OMEGA].sub.Q], A x B) is also a Q-NSG over [G.sub.1] x [G.sub.2].

Proof. Let ([[GAMMA].sub.Q], A) x ([[PSI].sub.Q], B) = ([[OMEGA].sub.Q], A x B) where [[ohm].sub.Q](a, b) = [[GAMMA].sub.Q](a) x [[PSI].sub.Q](b) for (a, b) [member of] A x B. Then for (([S.sub.1],[t.sub.1]),p), (([S.sub.2],[t.sub.2]),p) [member of] ([G.sub.1] x [G.sub.2]) x Q

[mathematical expression not reproducible]

also

[mathematical expression not reproducible]

similarly, [mathematical expression not reproducible].

Next,

[mathematical expression not reproducible]

also

[mathematical expression not reproducible]

similarly, [mathematical expression not reproducible]. Hence, this proves that ([[GAMMA].sub.Q], A) x ([[PSI].sub.Q], B) is a Q-NSG over [G.sub.1] x [G.sub.2].

6 Conclusions

A Q-NSS is a NSS over two-dimensional universal set. Thus, a Q-NSS is a set with three components that can handle two-dimensional and indeterminate data simultaneously. The main goal of the current work is to utilize Q-NSSs to group theory. This study conceptualizes the notion of Q-NSGs as a new algebraic structure that deals with two-dimensional universal set. Some relevant properties and basic characteristics are explored. We define the Q-level soft set of a Q-NSS, which acts as a bridge between Q-neutrosophic soft groups and soft groups. Also, the concepts of image and preimage of a Q-NSG are investigated. Moreover, the cartesian product of Q-NSGs is discussed. The defined notion serves as the base for applying Q-NSSs to different algebraic structures such as semigroups, rings, hemirings, fields, lie subalgebras, BCK/BCI-algebras and in hyperstructure theory such as hypergroups and hyperrings following the discussion in [50, 51, 52, 53]. Moreover, these topics may be discussed using t-norm and s-norm.

Acknowledgments: We are indebted to Universiti Kebangsaan Malaysia for providing support and facilities for this research under the grant GUP-2017-105.

References

 F. Smarandache. Neutrosophy. Neutrosophic Probability, Set and Logic, American Research Press: Rehoboth, IL, USA, 1998.

 F. Smarandache. Neutrosophic set, a generalisation of the intuitionistic fuzzy sets. Int. J. Pure Appl. Math., 24(2005), 287-297.

 L. A. Zadeh. Fuzzy sets, Inf. Control, 8(1965), 338-353.

 K. T. Atanassov. Intuitionistic fuzzy sets, Fuzzy Sets Syst., 20(1986), 87-96.

 D. Molodtsov. Soft set theory-first results, Comput. Math. App., 37(1999), 19-31.

 S. Alkhazaleh, A. R. Salleh, and N. Hassan. Soft multi sets theory, Appl. Math. Sci., 5(2011), 3561-3573.

 S. Alkhazaleh, and A. R. Salleh. Soft expert sets, Adv. Decis. Sci., 2011(2011), 757868.

 P. K. Maji, R. Biswas, and A. R. Roy. Fuzzy soft sets, J. Fuzzy Math., 9(2001), 589-602.

 P. K. Maji. Neutrosophic soft set, Ann. Fuzzy Math. Inform., 5(2013), 157-168.

 A. Al-Quran, and N. Hassan. The complex neutrosophic soft expert set and its application in decision making, J. Intell. Fuzzy Syst., 34(2018), 569-582.

 M. Sahin, S. Alkhazaleh, and V. Ulucay. Neutrosophic soft expert sets, Appl. Math., 6(2015), 116-127.

 V. Ulucay, M. Sahin, and N. Hassan. Generalized neutrosophic soft expert set for multiple-criteria decision-making, Symmetry, 10 (2018), 437.

 N. A. Nabeeh, F. Smarandache, M. Abdel-Basset, H. A. El-Ghareeb, and A. Aboelfetouh. An integrated neutrosophic-TOPSIS approach and its application to personnel selection: A new trend in brain processing and analysis, IEEE Access, 7 (2019), 29734-29744.

 M. Abdel-Basset, M. Saleh, A. Gamal, and F. Smarandache. An approach of TOPSIS technique for developing supplier selection with group decision making under type-2 neutrosophic number, Applied Soft Computing, 77 (2019), 438-452.

 M. Abdel-Baset, V. Chang, A. Gamal, and F. Smarandache. An integrated neutrosophic ANP and VIKOR method for achieving sustainable supplier selection: A case study in importing field, Computers in Industry, 106 (2019), 94-110.

 M. Abdel-Basset, G. Manogaran, A. Gamal, and F. Smarandache. A group decision making framework based on neutrosophic TOPSIS approach for smart medical device selection, Journal of medical systems, 43 (2019), 38.

 M. Abdel-Baset, V. Chang, and A. Gamal. Evaluation of the green supply chain management practices: A novel neutrosophic approach, Computers in Industry, 108 (2019), 210-220.

 M. Abdel-Basset, G. Manogaran, A. Gamal, and F. Smarandache. A hybrid approach of neutrosophic sets and DEMATEL method for developing supplier selection criteria, Design Automation for Embedded Systems, 22 (2018), 1-22.

 K. Mohana, V. Christy, and F. Smarandache. On multi-criteria decision making problem via bipolar single-valued neutrosophic settings, Neutrosophic Sets Syst, 25 (2019), 125-135.

 F. Adam, and N. Hassan. Operations on Q-fuzzy soft set, Appl. Math. Sci., 8 (2014), 8697-8701.

 F. Adam, and N. Hassan. Q-fuzzy soft set, Appl. Math. Sci., 8 (2014), 8689-8695.

 M. Abu Qamar, and N. Hassan. Q-neutrosophic soft relation and its application in decision making, Entropy, 20(2018), 172.

 J. Ye, Z. Fang, and W. Cui. Vector similarity measures of Q-linguistic neutrosophic variable sets and their multi-attribute decision making method, Symmetry, 10(2018), 531.

 M. Abu Qamar, and N. Hassan. An approach toward a Q-neutrosophic soft set and its application in decision making, Symmetry, 11(2019), 139.

 M. Abu Qamar, and N. Hassan. Entropy, measures of distance and similarity of Q-neutrosophic soft sets and some applications, Entropy, 20(2018), 672.

 M. Abu Qamar, and N. Hassan. Generalized Q-neutrosophic soft expert set for decision under uncertainty, Symmetry, 10(2018), 621.

 A. Rosenfeld. Fuzzy groups, J. Math. Anal. Appl., 35(1971), 512-517.

 N. P. Mukherjee, and P. Bhattacharya. Fuzzy groups: some grouptheoretic analogs, Inf. Sci., 39(1986), 247-268.

 P. K. Sharma. Intuitionistic fuzzy groups, IFRSA Int. J. Data Warehous Min., 1(2011), 86-94.

 H. Aktas, and N. Cagman. Soft sets and soft groups, Inf. Sci., 177(2007), 2726-2735.

 A. Aygunoglu, and H. Aygun. Introduction to fuzzy soft groups, Comput. Math. Appl., 58(2009), 1279-1286.

 A. Al-Masarwah, and A. G. Ahmad. m-polar fuzzy ideals of BCK/BCI-algebras, J. King Saud Univ.-Sci., 2018, doi:10.1016/j.jksus.2018.10.002.

 A. Al-Masarwah, and A. G. Ahmad. On some properties of doubt bipolar fuzzy H-ideals in BCK/BCI-algebras, Eur. J. Pure Appl. Math., 11(2018), 652-670.

 A. Al-Masarwah, and A. G. Ahmad. Novel concepts of doubt bipolar fuzzy H-ideals of BCK/BCI-algebras, Int. J. Innov. Comput. Inf. Control, 14(2018), 2025-2041.

 G. Muhiuddin, F. Smarandache, Y. B. Jun. Neutrosophic quadruple ideals in neutrosophic quadruple BCI-algebras, Neutrosophic Sets Syst., 25 (2019), 161-173.

 F. Feng, B. J. Young, and X. Zhao. Soft semirings, Computers and Mathematics with Applications, 56(2008), 2621-2628.

 A. Al-Masarwah, and A. G. Ahmad. Doubt bipolar fuzzy subalgebras and ideals in BCK/BCI-algebras, J. Math. Anal., 9(2018), 9-27.

 R. A. Borzooei, M. M. Takallo, F Smarandache, Y. B. Jun. Positive implicative BMBJ-neutrosophic ideals in BCK-algebras, Neutrosophic Sets Syst., 23 (2018), 126-141.

 V. Cetkin, and H. Aygun. An approach to neutrosophic subgroup and its fundamental properties, J. Intell. Fuzzy Syst., 29(2015), 1941-1947.

 T. Bera, and N. K. Mahapatra. Introduction to neutrosophic soft groups, Neutrosophic Sets Syst., 13(2016), 118-127.

 T. Bera, S. Broumi, and N. K. Mahapatra. Behaviour of ring ideal in neutrosophic and soft sense, Neutrosophic Sets Syst., 25 (2019), 1-24.

 T. Bera, and N. K. Mahapatra. ([alpha], [beta], [gamma])-cut of neutrosophic soft set and its application to neutrosophic soft groups, AJOM-COR, 12(2016), 160-178.

 T. Bera, and N. K. Mahapatra. normal soft groups, Int. J. Appl. Comput. Math., 3(2017), 3047.

 F. Smarandache, and M. Ali. Neutrosophic triplet group, Neural Comput. & Applic., 29(2018), 595.

 M. Ali, F. Smarandache, and M. Khan. Study on the development of neutrosophic triplet ring and neutrosophic triplet field, Mathematics, 6(2018), 46.

 T. Bera, and N. K. Mahapatra. On neutrosophic soft prime ideal, Neutrosophic Sets Syst., 20(2018), 54-75.

 A. Solairaju, and R. Nagarajan. A new structure and construction of Q-fuzzy groups, Advances in Fuzzy Mathematics, 4(2009), 23-29.

 S. Thiruveni, and A. Solairaju. Neutrosophic Q-fuzzy subgroups, Int. J. Math. And Appl., 6(2018), 859-866.

 R. Rasuli. Characterization of Q-fuzzy subrings (Anti Q-fuzzy subrings) with respect to a T-norm (T-conorm), J. Inf. Optim. Sci., 39(2018), 827-837.

 N. Yaqoob, M. Akram, and M. Aslam. Intuitionistic fuzzy soft groups induced by (t, s) norm, Indian J. Sci.Technol., 6(2013), 4282-4289.

 M. Akram, A. Farooq, and K. P. Shum. On m-polar fuzzy lie subalgebras, Ital. J. Pure Appl. Math., 36(2016), 445-454.

 A. Al-Masarwah, and A. G. Ahmad. m-Polar ([alpha], [beta])-fuzzy ideals in BCK/BCI-algebras, Symmetry, 11(2019), 44.

 J. Zhan, W. A. Dudek, and J. A. Neggers. New soft union set: Characterizations of hemirings, Int. J. Mach. Learn. Cybern., 8(2017), 525-535.

Received: February 16, 2019. Accepted: April 30, 2019.

Majdoleen Abu Qamar (1), Nasruddin Hassan (2,*)

(1,2) School of Mathematical Sciences, Faculty of Science and Technology, Universiti Kebangsaan Malaysia, Bangi 43600, Selangor, Malaysia.

E-mail: (1) p90675@siswa.ukm.edu.my, mjabuqamar@gmail.com, (2) nas@ukm.edu.my

(*) Correspondence: Author (nas@ukm.edu.my)
```Table 1: Contributions toward Q-NSG.

Authors                        Year   Contributions

Rosenfeld                  1971   Introduction of fuzzy subgroup.
Aktas and Cagman           2007   Introduction of soft group.
Aygunoglu and Aygun        2009   Introduction to fuzzy soft groups.
Cetkin and Aygun           2015   Introduction of neutrosophic
subgroup.
Bera and Mahapatra         2016   Introduction of neutrosophic soft
group.
Solairaju and Nagarajan    2009   Introduction of Q-fuzzy group.
Thiruveni and Solairaju    2018   Introduction of neutrosophic
Q-fuzzy subgroup.
Abu Qamar and Hassan           This   Introduction of Q-NSG.
paper
```
COPYRIGHT 2019 Neutrosophic Sets and Systems
No portion of this article can be reproduced without the express written permission from the copyright holder.