A Classical Group of Neutrosophic Triplet Groups Using { Z 2 p , × }

In this paper we study the neutrosophic triplet groups for a ∈ Z2p and prove this collection of triplets (a, neut(a), anti(a)) if trivial forms a semigroup under product, and semi-neutrosophic triplets are included in that collection. Otherwise, they form a group under product, and it is of order (p− 1), with (p + 1, p + 1, p + 1) as the multiplicative identity. The new notion of pseudo primitive element is introduced in Z2p analogous to primitive elements in Zp, where p is a prime. Open problems based on the pseudo primitive elements are proposed. Here, we restrict our study to Z2p and take only the usual product modulo 2p.


Introduction
Fuzzy set theory was introduced by Zadeh in [1] and was generalized to the Intuitionistic Fuzzy Set (IFS) by Atanassov [2].Real-world, uncertain, incomplete, indeterminate, and inconsistent data were presented philosophically as a neutrosophic set by Smarandache [3], who also studied the notion of neutralities that exist in all problems.Many [4-7] have studied neutralities in neutrosophic algebraic structures.For more about this literature and its development, refer to [3-10].
It has not been feasible to relate this neutrosophic set to real-world problems and the engineering discipline.To implement such a set, Wang et al. [11] introduced a Single-Valued Neutrosophic Set (SVNS), which was further developed into a Double Valued Neutrosophic Set (DVNS) [12] and a Triple Refined Indeterminate Neutrosophic Set (TRINS) [13].These sets are capable of dealing with the real world's indeterminate data, and fuzzy sets and IFSs are not.
Smarandache [14] presents recent developments in neutrosophic theories, including the neutrosophic triplet, the related triplet group, the neutrosophic duplet, and the duplet set.The new, innovative, and interesting notion of the neutrosophic triplet group, which is a group of three elements, was introduced by Florentin Smarandache and Ali [10].Since then, neutrosophic triplets have been a field of interest that many researchers have worked on [15-22].In [21], cancellable neutrosophic triplet groups were introduced, and it was proved that it coincides with the group.The paper also discusses weak neutrosophic duplets in BCI algebras.Notions such as the neutrosophic triplet coset and its connection with the classical coset, neutrosophic triplet quotient groups, and neutrosophic triplet normal subgroups were defined and studied by [20].
Using the notion of neutrosophic triplet groups introduced in [10], which is different from classical groups, several interesting structural properties are developed and defined in this paper.Here, we study the neutrosophic triplet groups using only {Z 2p , ×}, p is a prime and the operation × is product modulo 2p.The properties as a neutrosophic triplet group under the inherited operation × is studied.This leads to the definition of a semi-neutrosophic triplet.However, it has been proved that semi-neutrosophic triplets form a semigroup under ×, but the neutrosophic triplet groups, which are nontrivial and are not semi-neutrosophic triplets, form a classical group of neutrosophic triplets under ×.
This paper is organized into five sections.Section 2 provides basic concepts.In Section 3, we study neutrosophic triplets in the case of Z 2p , where p is an odd prime.Section 4 defines the semi-neutrosophic triplet and shows several interesting properties associated with the classical group of neutrosophic triplets.The final section provides the conclusions and probable applications.

Basic Concepts
We recall here basic definitions from [10].Definition 1.Consider (S, ×) to be a nonempty set with a closed binary operation.S is called a neutrosophic triplet set if for any x ∈ S there will exist a neutral of x called neut (x), which is different from the algebraic unitary element (classical), and an opposite of x called anti (x), with both neut (x) and anti (x) belonging to S such that x * neut (x) = neut (x) * x = x and x * anti (x) = anti (x) * x = neut (x) .
neut (x) denotes the neutral of x. x is the first coordinate of a neutrosophic triplet group and not a neutrosophic triplet.y is the second component, denoted by neut (x), of a neutrosophic triplet if there are elements x and z ∈ S such that x * y = y * x = x and x * z = z * x = y.Thus, (x, y, z) is the neutrosophic triplet.
We know that (neut (x) , neut (x) , neut (x)) is a neutrosophic triplet group.Let {S, * } be the neutrosophic triplet set.If (S, * ) is well defined and for all x, y ∈ S, x * y ∈ S, and (x * y) * z = x * (y * z) for all x, y, z ∈ S, then {S, * } is defined as the neutrosophic triplet group.Clearly, {S, * } is not a group in the classical sense.
In the following section, we define the notion of a semi-neutrosophic triplet, which is different from neutrosophic duplets and the classical group of neutrosophic triplets of {Z 2p , ×}, and derive some of its interesting properties.

The Classical Group of Neutrosophic Triplet Groups of {Z 2p , ×} and Its Properties
Here we define the classical group of neutrosophic triplets using {Z 2p , ×}, where p is an odd prime.The collection of all nontrivial neutrosophic triplet groups forms a classical group under the usual product modulo 2p, and the order of that group is p − 1.We also derive interesting properties of such groups.
Thus, H is a cyclic group of order 10.
In view of all these example, we have the following results.Theorem 1.Every semigroup {Z 2p , ×}, where p is an odd prime, has only two idempotents: p and p + 1.
Proof.Clearly, p is a prime of the form 2n + 1 in Z 2p .
Thus, p and p + 1 are the only idempotents of Z 2p .In fact, Z 2p has no other nontrivial idempotent.Let x ∈ Z 2p be an idempotent.This implies that x must be even as all odd elements other than p are units.
Thus, Z 2p has only two idempotents, p and p + 1.
1.If a ∈ Z 2p has neut (a) and anti (a), then a is even.
2. The only nontrivial neutral element is p + 1 for all a, which contributes to neutrosophic triplet groups in G.
Proof.Let a in G be such that a × neut (a) = a if a is odd and a = p.Then a −1 exists in Z 2p and we have neut (a) = 1, but neut (a) = 1 by definition.Hence the result is true.Further, we know neut (a) × neut (a) = neut (a), that is neut (a) is an idempotent.This is possible if and only if a = p + 1 or p.
Clearly, a = p is ruled out because ap = 0 for all even a in Z 2p , hence the claim.Thus, neut (a) = p + 1 is the only neutral element for all relevant a in Z 2p .
We have already given examples of them.It is important to mention this definition is valid only for Z 2p under the product modulo 2p where p is an odd prime.
In view of all of this, we have to define the following for Z 2p .
Definition 3. Let {Z 2p , ×} be the semigroup under product modulo 2p, where p is an odd prime.Let K = {2, 4, . . ., 2p − 2} be the set of all even elements of Z 2p .For p There also exists a y ∈ K such that y p−1 = p + 1.We define this y as the pseudo primitive element of K ⊆ Z 2p .
Note: We can define pseudo primitive elements only for Z 2p where p is an odd prime and not for any Z n , where n is an even integer that is analogous to primitive elements in Z p , where p is a prime.
We will illustrate this situation with some examples.
Example We leave it as an open problem to find the number of such pseudo primitive elements of K = {2, 4, 6, . . ., 2(p − 1)} of Z 2p .
We have the following theorem.
Theorem 3. Let S = {Z 2p , ×} be the semigroup under product modulo 2p, where p is an odd prime.
1. K = {2, 4, . . ., 2p − 2} ⊆ Z 2p has a pseudo primitive element x ∈ K with x p−1 = p + 1, where p + 1 is the multiplicative identity of K. 2. K is a cyclic group under × of order p − 1 generated by that x, and p + 1 is the identity element of K. 3. S is a Smarandache semigroup.
This x ∈ K proves part (2) of the claim.Since K is a group under × and K ⊆ {Z 2p , ×}, by the definition of Smarandache semigroup [4], S is an S-semigroup, so (3) is true.
Next, we prove that the following theorem for our research pertains to the classical group of neutrosophic triplets and their structure.Proof.Clearly, from the earlier theorem, K = 2Z 2p \ {0} is a cyclic group of the order p − 1, and p + 1 acts as the identity element of K.
H = {(a, neut(a), anti(a)) |a ∈ K} is a neutrosophic triplet groups collection and neut(a) = p + 1 acts as the identity and is the unique element (neutral element) for all a ∈ K.
Since K ⊆ Z 2p \ {0} is a cyclic group of order p − 1 with p + 1 as the identity element of K, we have H = {(a, neut (a) , anti (a)) |a ∈ K}, to be cyclic.If x ∈ K is such that x p−1 = p + 1, then that neutrosophic triplet group element (x, p + 1, anti(x)) in H will generate H as a cyclic group of order p − 1 as a × anti(a) = neut(a).
Hence, H is a cyclic group of order p − 1.
Next, we proceed to describe the semi-neutrosophic triplets in the following section.

Semi-Neutrosophic Triplets and Their Properties
In this section, we define the notion of semi-neutrosophic triplet groups and trivial neutrosophic triplet groups and show some interesting results.
We see that 13 ∈ Z 26 is an idempotent, but 13 × 25 = 13, where 25 is a unit of Z 26 .Therefore, for this 25, we cannot find anti (13), but 13 × 13 = 13 is an idempotent, and (13, 13,13) is a neutrosophic triplet group.We do not accept it as a neutrosophic triplet, as it cannot yield any other nontrivial triplet other than (13,13,13).
Proof.This is obvious from the definition and the fact p 2 = p in Z 2p under product modulo 2p.
Let P = K ∪ T = K ∪ T. For every x ∈ K and for every y ∈ T, x × y = y × x = (0, 0, 0).Thus, P is a semigroup under product, and P is defined as the semigroup of neutrosophic triplets.Further, we define T as the annihilating neutrosophic triplet semigroup of the classical group of neutrosophic triplets.Definition 5. Let S = {Z 2p , ×}, where p is an odd prime, be the semigroup under product modulo 2p.Let K = {(a, neut (a) , anti (a)) |a ∈ 2Z 2p \ {0}, ×} be the classical group of neutrosophic triplets.Let T = {(p, p, p) , (0, 0, 0)} be the semigroup of semi-neutrosophic triplets (as a minomer, we call the trivial neutrosophic triplet (0, 0, 0) as a semi-neutrosophic triplet).Clearly, T ∪ K = T ∪ K = P is defined as the semigroup of neutrosophic triplets with o Further, T is defined as the annihilating semigroup of the classical group of neutrosophic triplets K.
We have seen examples of classical group of neutrosophic triplets, and we have defined and studied this only for Z 2p under the product modulo 2p for every odd prime p.
In the following section, we identify open problems and probable applications of these concepts.

Discussions and Conclusions
This paper studies the neutrosophic triplet groups introduced by [10] only in the case of {Z 2p , ×}, where p is an odd prime, under product modulo 2p.We have proved the triplets of Z 2p are contributed only by elements in 2Z 2p \ {0} = {2, 4, . . ., 2p − 2}, and these triplets under product form a group of order p − 1, defined as the classical group of neutrosophic triplets.
We suggest the following problems: 1. How many pseudo primitive elements are there in {Z 2p , ×}, where p is an odd prime? 2. Can {Z n , ×}, where n is any composite number different from 2p, have pseudo primitive elements?If so, which idempotent serves as the identity?
For future research, one can apply the proposed neutrosophic triplet group to SVNS and develop it for the case of DVNS or TRINS.These neutrosophic triplet groups can be applied to problems where neut(a) and anti(a) are fixed once a is chosen, and vice versa.It can be realized as a special case of Single Valued Neutrosophic Sets (SVNSs) where neutral is always fixed.For every a in K 1 , the other factor anti(a) is automatically fixed, thereby eliminating the arbitrariness in determining anti(a); however, there is only one case in which a = anti(a).The set 2Z 2p \ {0} can be used to model this sort of problem and thereby reduce the arbitrariness in determining anti(a), which is an object of future study.