Next Article in Journal
Some Interval Neutrosophic Linguistic Maclaurin Symmetric Mean Operators and Their Application in Multiple Attribute Decision Making
Next Article in Special Issue
Study of Decision Framework of Shopping Mall Photovoltaic Plan Selection Based on DEMATEL and ELECTRE III with Symmetry under Neutrosophic Set Environment
Previous Article in Journal
Efficient Algorithms for Real-Time GPU Volumetric Cloud Rendering with Enhanced Geometry
Previous Article in Special Issue
A Novel Skin Lesion Detection Approach Using Neutrosophic Clustering and Adaptive Region Growing in Dermoscopy Images
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Neutrosophic Triplet Cosets and Quotient Groups

Faculty of Arts and Sciences, Department of Mathematics, Gaziantep University, 27310 Gaziantep, Turkey
*
Author to whom correspondence should be addressed.
Symmetry 2018, 10(4), 126; https://doi.org/10.3390/sym10040126
Submission received: 29 March 2018 / Revised: 16 April 2018 / Accepted: 17 April 2018 / Published: 20 April 2018

Abstract

:
In this paper, by utilizing the concept of a neutrosophic extended triplet (NET), we define the neutrosophic image, neutrosophic inverse-image, neutrosophic kernel, and the NET subgroup. The notion of the neutrosophic triplet coset and its relation with the classical coset are defined and the properties of the neutrosophic triplet cosets are given. Furthermore, the neutrosophic triplet normal subgroups, and neutrosophic triplet quotient groups are studied.

1. Introduction

Neutrosophy was first introduced by Smarandache (Smarandache, 1999, 2003) as a branch of philosophy, which studied the origin, nature, and scope of neutralities, as well as their interactions with different ideational spectra: (A) is an idea, proposition, theory, event, concept, or entity; anti(A) is the opposite of (A); and (neut-A) means neither (A) nor anti(A), that is, the neutrality in between the two extremes. A notion of neutrosophic set theory was introduced by Smarandache in [1]. By using the idea of the neutrosophic theory, Kandasamy and Smarandache introduced neutrosophic algebraic structures in [2,3]. The neutrosophic triplets were first introduced by Florentin Smarandache and Mumtaz Ali [4,5,6,7,8,9,10], in 2014–2016. Florentin Smarandache and Mumtaz Ali introduced neutrosophic triplet groups in [6,11]. A lot of researchers have been dealing with neutrosophic triplet metric space, neutrosophic triplet vector space, neutrosophic triplet inner product, and neutrosophic triplet normed space in [12,13,14,15,16,17,18,19,20,21,22].
A neutrosophic extended triplet, introduced by Smarandache [7,20] in 2016, is defined as the neutral of x (denoted by e n e u t ( x ) and called “extended neutral”), which is equal to the classical algebraic unitary element (if any). As a result, the “extended opposite” of x (denoted by e a n t i ( x ) ) is equal to the classical inverse element from a classical group. Thus, the neutrosophic extended triplet (NET) has a form ( x , e n e u t ( x ) , e a n t i ( x ) ) for x ∈ N, where e n e u t ( x ) ∈ N is the extended neutral of x. Here, the neutral element can be equal to or different from the classical algebraic unitary element, if any, such that: x e n e u t ( x ) = e n e u t ( x ) x = x , and e a n t i ( x ) ∈ N is the extended opposite of x, where x e a n t i ( x ) = e a n t i ( x ) x = e n e u t ( x ) . Therefore, we used NET to define these new structures.
In this paper, we deal with neutosophic extended triplet subgroups, neutrosophic triplet cosets, neutrosophic triplet normal subgroups, and neutrosophic triplet quotient groups for the purpose to develop new algebraic structures on NET groups. Additionally, we define the neutrosophic triplet image, neutrosophic triplet kernel, and neutrosophic triplet inverse image. We give preliminaries and results with examples in Section 2, and we introduce neutrosophic extended triplet subgroups in Section 3. Section 4 is dedicated to introduing neutrosophic triplet cosets, with some of their properties, and we show that neutrosophic triplet cosets are different from classical cosets. In Section 5, we introduce neutrosophic triplet normal subgroups and the neutrosophic triplet normal subgroup test. In Section 6, we define the neutrosophic triplet quotient groups and we examine the relationships of these structures with each other. In Section 7, we provide some conclusions.

2. Preliminaries

In this section, the definition of neutrosophic triplets, NET’s, and the concepts of NET groups have been outlined.

2.1. Neutrosophic Triplet

Let U be a universe of discourse, and (N, ∗) a set included in it, endowed with a well-defined binary law ∗.
Definition 1
([1,2,3]). A neutrosophic triplet has a form (x, neut(x), anti(x)), for x in N, where neut(x) and anti(x) ∊ N are neutral and opposite to x, which are different from the classical algebraic unitary element, if any, such that: x n e u t ( x ) = n e u t ( x ) x = x and x a n t i ( x ) = a n t i ( x ) x = n e u t ( x ) , respectively. In general, x may have more than one neut’s and anti’s.

2.2. NET

Definition 2
([4,7]). A neutrosophic extended triplet is a neutrosophic triplet, as defined in Definition 1, where the neutral of x (denoted by e n e u t ( x ) and called extended neutral) is equal to the classical algebraic unitary element, if any. As a consequence, the extended opposite of x (denoted by e a n t i ( x ) ) is also equal to the classical inverse element from a classical group. Thus, an NET has a form ( x , e n e u t ( x ) ,   e a n t i ( x ) ) , for x ∈ N, where e n e u t ( x ) and e a n t i ( x ) in N are the extended neutral and opposite of x, respectively, such that: x e n e u t ( x ) = e n e u t ( x ) x = x , which can be equal to or different from the classical algebraic unitary element, if any, and x e a n t i ( x ) = e a n t i ( x ) x = e n e u t ( x ) . In general, for each x ∈ N there are many e n e u t ( x ) ’s and e a n t i ( x ) ’s.
Definition 3
([1,2,3]). The element y in ( N ,   ) is the second coordinate of a neutrosophic extended triplet (denoted as neut(y) of a neutrosophic triplet), if there are other elements exist, x and z ∈ N such that: x y = y x = x and x z = z x = y . The formed neutrosophic triplet is (x, y, z). The element z ∈ ( N ,   ) , as the third coordinate, can be defined in the same way.
Example 1.
Let X = (0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11), enclosed with the classical multiplication law, (x) modulo 12, which is well defined on X, with the classical unitary element 1. X iss an NET “weak commutative set” see “Table 1”.
The formed NETs of X are: (0, 0, 0), (0, 0, 1), (0, 0, 2), …, (0, 0, 11), (1, 1, 1), (3, 9, 3), (3, 9, 7), (3, 9, 11), (4, 4, 4), (4, 4, 7), (4, 4, 10), (5, 1, 5), (7, 1, 7), (8, 4, 2), (8, 4, 5), (8, 4, 8), (8, 4, 11), (9, 9, 5), (9, 9, 9), (11, 1, 11).
Here, 2, 6, and 10 did not give rise to a neutrosophic triplet, as neut(2) = 1 and 7, however anti(2) did not exist in Z12. In addition, neut(6) = 1, 3, 5, 7, 9, and 11, however anti(6) did not exist in Z12. The neut(10) = 1, however anti(10) did not exist in Z12.
Definition 4
([4,7]). The set N is called a strong neutrosophic extended triplet set if, for any x in N, e n e u t ( x ) ∈ N and e a n t i ( x ) ∈ N exists.
Example 2.
The NET’s of (x) modulo 12 were as follows:
(0, 0, 0), (0, 0, 1), (0, 0, 2), …, (0, 0, 11), (1, 1, 1), (3, 9, 3), (3, 9, 7), (3, 9, 11), (4, 4, 4), (4, 4, 7), (4, 4, 10), (5, 1, 5), (7, 1, 7), (8, 4, 2), (8, 4, 5), (8, 4, 8), (8, 4, 11), (9, 9, 5), (9, 9, 9), (11, 1, 11).
Definition 5
([4,7]). The set N is called an NET weak set if, for any x ∈ N, an NET ( y ,   e n e u t ( y ) ,   e a n t i ( y ) ) included in N exists, such that:
x = y
or
x = e n e u t ( y )
or
x = e a n t i ( y ) .
Definition 6.
A neutrosophic extended triplet (x, y, z) for x, y, z ∈ N, is called a neutrosophic perfect triplet if both (z, y, x) and (y, y, y) are also neutrosophic triplets.
Example 3.
The neutrosophic perfect triplets of (x) modulo 12 are described in “Table 1” as follows:
Here, (0, 0, 0), (1, 1, 1), (3, 9, 3), (4, 4, 4), (5, 1, 5), (7, 1, 7), (8, 4, 8), (9, 9, 9), (11, 1, 11) are neutrosophic perfect triplets of (x) modulo 12.
Definition 7.
An NET (x, y, z) for x, y, z ∈ N, is called a neutrosophic imperfect triplet if at least one of (z, y, x) or (y, y, y) is not a neutrosophic triplet(s).
Example 4.
The neutrosophic imperfect triplets of (x) modulo 12, from the above table, were as follows:
( 0 ,   0 ,   1 ) ,   ( 0 ,   0 ,   2 ) , , ( 0 ,   0 ,   11 ) ,   ( 3 ,   9 ,   7 ) ,   ( 3 ,   9 ,   11 ) ,   ( 4 ,   4 ,   7 ) , ( 4 ,   4 ,   10 ) , ( 8 ,   4 ,   2 ) , ( 8 ,   4 ,   5 ) ,   ( 8 ,   4 ,   11 ) , ( 9 ,   9 ,   5 ) .

2.3. Neutrosophic Triplet Group (NTG)

Definition 8
([1,2,3]). Let (N, ∗) be a neutrosophic strong triplet set. Then, (N, ∗) is called a neutrosophic strong triplet group, if the following classical axioms are satisfied:
(1) 
(N, ∗) is well-defined, that is, for any x, y ∈ N, one has x y ∈ N.
(2) 
(N, ∗) is associative, that is, for any x, y, z ∈ N, one has x ( y z ) = ( x y ) z .
Example 5.
We let Y = (Z12, ×) be a semi-group under product 12. The neutral elements of Z12 were 4 and 9. The elements (8, 4, 8), (4, 4, 4), (3, 9, 3), and (9, 9, 9) were NETs.
NTG, in general, was not a group in the classical sense, because it might not have had a classical unitary element, nor the classical inverse elements. We considered that the neutrosophic neutrals replaced the classical unitary element, and the neutrosophic opposites replaced the classical inverse elements.
Proposition 1
([3]). Let (N, ∗) be an NTG with respect to ∗ and a, b, c ∈ N:
(1) 
a b = a c n e u t ( a ) b = n e u t ( a ) c .
(2) 
b a = c a b n e u t ( a ) = c n e u t ( a ) .
(3) 
if a n t i ( a ) b = a n t i ( a ) c , then n e u t ( a ) b = n e u t ( a ) c .
(4) 
if b a n t i ( a ) = c a n t i ( a ) , then b n e u t ( a ) = c n e u t ( a ) .
Theorem 1 
([3]). Let (N, ∗) be a commutative NET, with respect to ∗ and a, b ∈ N:
(i) 
n e u t ( a ) n e u t ( b ) = n e u t ( a b ) ;
(ii) 
a n t i ( a ) a n t i ( b ) = a n t i ( a b ) ;
Theorem 2 
([3]). Let (N, ∗) be a commutative NET, with respect to ∗ and a ∈ N:
(i) 
n e u t ( a ) n e u t ( a ) = n e u t ( a ) ;
(ii) 
a n t i ( a ) n e u t ( a ) = n e u t ( a ) a n t i ( a ) = a n t i ( a ) ;
Definition 9
([3]). An NET (N, ∗) is called to be cancellable, if it satisfies the following conditions:
(a) 
  x ,   y ,   z ∊ N, x y = y z     y = z .
(b) 
  x ,   y ,   z ∊ N, y x = z x     y = z .
Definition 10
([3]). Let N be an NTG and x ∈ N. N is then called a neutro-cyclic triplet group if N = a . We can say that a is the neutrosophic triplet generator of N.
Example 6.
We let N = (2, 4, 6) be an NTG with respect to (Z8, .). Then, N was clearly a neutro-cyclic triplet group as N = a 〉. Therefore, 2 was the neutrosophic triplet generator of N.

2.4. Neutrosophic Extended Triplet Group (NETG)

Definition 11
([4,7]). Let (N, ) be an NET strong set. Then, (N, ) is called an NETG, if the following classical axioms are satisfied:
(1) 
(N, ) is well-defined, that is, for any x, y ∈ N, one has x y ∈ N.
(2) 
(N, ) is associative, that is, for any x, y, z ∈ N, one has
x ( y z ) = ( x y ) z .
For NETG, the neutrosophic extended neutrals replaced the classical unitary element, and the neutrosophic extended opposites replaced the classical inverse elements. In the case where NETG included a classical group, then NETG enriched the structure of a classical group, since there might have been elements with more extended neutrals and more extended opposites.
Definition 12.
A permutation of a set X is a function σ: x → x that is one to one and onto, that is, a bijective map. Permutation maps, being bijective, have anti neutrals and the maps combine neutrally under composition of maps, which are associative. There is natural neutral permutation σ: x → x, X = (1, 2, 3, …, n), which is σ(k) = k. Therefore, all of the permutations of a set X = (1, 2, 3, …, n) form an NETG under composition. This group is called the symmetric NETG (eSn) of degree n.
Example 7.
We let A = (1, 2, 3). The elements of symmetric group of S3 were as follows:
σ 0 = ( 1   2   3 1   2   3 ) ,   σ 1 = ( 1   2   3 2   3   1 ) ,   σ 2 = ( 1   2   3 3   1   2 )
μ 1 = ( 1   2   3 1   2   3 ) ,   μ 2 = ( 1   2   3 1   2   3 ) ,   μ 3 = ( 1   2   3 1   2   3 )
The operartion of S3 is defined in Table 2 as follows:
1. 
(S3, ○ ) is well-defined, that is, for any σi, μi ∈ S3, i = 1,2,3 one has σi ○ μi ∈ S3.
2. 
(S3, ○) is associative, that is, for any σ1, μ1, μ3 ∈ S3,one has the following:
(σ1μ1) ○ μ3 = σ1 ○ (μ1μ3)
(μ1μ3) = (σ1σ1) = σ2.
The NET’s of S3 (eS3) are as follows:
(σ0, σ0, σ0), (σ1, σ0, σ2), (σ2, σ0, σ1), (μ1, σ0, μ1), (μ2, σ0, μ2), (μ3, σ0, μ3).
Hence, (S3, ○) is an NET strong group.
Definition 13
([9,10,11]). Let (N1, N2 ) be two NETGs. A mapping f: N1 → N2 is called a neutro-homomorphism if:
(1) 
For any x, y ∈ N1, we have f ( x y ) = f ( x )     f ( y )
(2) 
If (x, neut[x], anti[x]) is an NET from N1, then,
f ( n e u t [ x ] ) = n e u t ( f [ x ] ) and f ( a n t i [ x ] ) = a n t i ( f [ x ] ) .
Example 8.
We let N1 be an NETG with respect multiplication modulo 6 in (Z6, ×), where N1 = (0, 2, 4), and we let N2 be another NETG in (Z10, ×), where N2 = (0, 2, 4, 6, 8). We let f: N1 → N2 be a mapping defined as f(0) = 0, f (2) = 4, f (4) = 6. Then, f was clearly a neutro-homomorphism, because condition (1) and (2) were satisfied easily.
Definition 14.
Let f: N1 → N2 be a neutro-homomorphism from an NETG (N1, ∗) to an NETG (N2, ∗). The neutrosophic image of f is a subset, as follows:
Im(f) = (f(g):g ∈ N1, ∗) of N2.
Definition 15.
Let f: N1 → N2 be a neutro-homomorphism from an NETG (N1, ∗) to an NETG (N∗, ○) and B N2. Then
f −1(B) = (x ∈ N1: f(x) ∈ B)
is the neutrosophic inverse image of B under f.
Definition 16.
Let f: N1 → N2 be a neutro-homomorphism from am NETG (N1, ∗) to an NETG (N2, ○). The neutrosophic kernel off is a subset
k e r ( f ) =   { x N 1 :   f ( x ) = n e u t ( x ) }
of N1, where n e u t ( x ) denotes the neutral element of N2.
Example 9.
We took D4, the symmetry NETG of the square, which consisted of four rotations and four reflections. We took a set of the four lines through the origin at angles 0, ᴨ/4, ᴨ/2, and 3ᴨ/4, numbered 1, 2, 3, 4, respectively. We let S4 be the permutation NETG of the set of four lines. Each symmetry s, of the square in particular, gave a permutation ϕ(s) of the four lines. Then we defined a mapping, as follows:
Φ: D4 → S4
whose value at the symmetry s ∈ D4 was the permutation ϕ(s) of the four lines. Such a process would always define a neutro-homomorphism. We found the kernel and image of ϕ. The neutral permutation of the square gave the neutral of the four lines. The rotation (1234) of the square gave the permutation (13)(24) of the four lines; the rotation (13)(24) by 180 degrees gave the neutral permutation e n e u t of the four lines; the rotation (4321) of the square gave the permutation (13)(24) of the four lines again. Thus, the neutrosophic image of the rotation NET subgroup R4 of D4 was the NET subgroup ( n e u t , [13][24]) of S4. The reflections of the square were given by the compositions of the rotations of the square with a reflection, for example, the reflection (13). The reflection (13) of the square (in the vertical axis) gave the permutation (24) of the lines. Thus, the homomorphism ϕ took the set of reflections R4 ○ (13) to the following:
ϕ(R4) ○ ϕ(13) = (neut, [13][24] ○ [24]) = ([24], [13]).
The neutrosophic image of ϕ was the union of the neutrosophic image of the rotations and the reflections, which was Im(ϕ) = (neut, [13][24], [13], [24]) ∈ S4. In the work above, we saw that the neutrosophic kernel of ϕ was as follows:
ker(ϕ) = (neut, [13][24]) of D4

3. Neutrosophic Extended Triplet Subgroup

In this section, a definition of the neutrosophic extended triplet subgroup and its example have been given.
Definition 17.
Given an NETG (N, ∗), a subset H is called an NET subgroup of N, if it forms an NETG itself under ∗. Explicitly, this means the following:
(1) 
The extended neutral element e n e u t ( x ) lies ∈ H.
(2) 
For any x, y ∊ H, x ∗ y ∈ H (H is closed under ∗).
(3) 
If x ∈ H, then e a n t i ( x ) ∈ H (H has extended opposites).
We wrote H ≤ N whenever H was an NET subgroup of N. ∅ ≠ H N, satisfying (2) and (3) of Definition 17, would be an NET subgroup, as we took x ∈ H and then (2) gave e a n t i ( x ) ∈ H, after which (3) gave x e a n t i ( x ) = e n e u t ( x ) ∈ H.
Example 10.
We let S4 = (neut, σ1, σ2, …, σ9, τ1, τ2, …, τ8, δ1, δ2, …, δ6) with σ1 = (1234), σ2 = (13)(24), σ3 = (1432), σ4 = (1243), σ5 = (14)(23), σ6 = (1342), σ7 = (1324), σ8 = (12)(34),σ9 = (1432),τ1 = (234),τ2 = (243), τ3 = (134), τ4 = (143), τ5 = (124), τ6 = (142), τ7 = (123), τ8 = (132), δ1 = (12), δ2 = (13), δ3 = (14), δ4 = (23), δ5 = (24), δ6 = (34). The trivial neutrosophic extended subgroups of S4 were the neutral elements, and the non-trivial neutrosophic extended subgroups S4 of order 2 were as follows: (neut, σ2), (neut, σ5), (neut, σ8), (neut, δ1), (neut, δ2), (neut, δ3), (neut, δ4), (neut, δ5), (neut, δ6), and the neutrosophic extended subgroups, S4, of order 3 were as follows:
L11 = 〈τ1〉 = 〈τ2〉 = (neut, τ1, τ2)
L12 = 〈τ3〉 = 〈τ14〉 = (neut, τ3, τ4)
L13 = 〈τ5〉 = 〈τ6〉 = (neut, τ5, τ6)
L14 = 〈τ7〉 = 〈τ8〉 = (neut, τ7, τ8)
it was straightforward to find the neutrosophic extended subgroups of order 4, 6, 8, and 12 of S4.

4. Neutrosophic Triplet Cosets

In this section, the neutrosophic triplet coset and its properties have been outlined. Furthermore, the difference between the neutrosophic triplet coset and the classical one have been given.
Definition 18.
Let N be an NETG and H N. ⩝ x ∈ N, the set xh/ h ∈ H, is denoted by xH, analogously, as follows:
Hx = hx/h ∈ H
and
(xH)anti(x) = (xh)anti(x)/h ∈ H.
When h ≤ N, xH is called the left neutrosophic triplet coset of H ∈ N containing x, and Hx is called the right neutrosophic triplet coset of H ∈ N containing x. In this case, the element x is called the neutrosophic triplet coset representative of xH or Hx. ∣xH∣ and ∣Hx∣ are used to denote the number of elements in xH or Hx, respectively.
Example 11.
When N = S3 and H = ([1], [12]), the “Table 3” lists the left and right neutrosophic triplet H-cosets of every element of the NETG.
First of all, cosets were not usually neutrosophic extended triplet subgroups (some did not even contain the extended neutral). In addition, since (13) ≠ H(13), a particular element could have different left and right neutrosophic triplet H-cosets. Since (13)H = H(13), different elements could have the same left neutrosophic triplet H-cosets.
Example 12.
We calculated the neutrosophic triplet cosets of N = (Z4, +) under addition and let H = (0, 2). The elements (0, 0, 0), (0, 0, 1), (0, 0, 2), (0, 0, 3), (1, 1, 1), and (3, 3, 3) were NET’s of Z4 and the classical cosets of N were as follows:
H = H + 0 = H + 2 = (0, 2).
and
H + 1 = H + 3 = (1, 3).
Here, 2 did not give rise to NET, because the neut’s of 2 were 1 and 3, however there were no anti’s. Therefore, we could not obtain the neutrosophic triplet coset of N. In general, classical cosets were not neutrosophic triplet cosets, because they might not have satisfied the NET conditions.
Similarly to Definition 16, we could define neutrosophic triplet cosets as follows:
Definition 19.
Let N be a neutrosophic triplet group and H ≤ N. We defined a relation ≡ ℓ(modH) on N as follows:
if x1, x2∈ N and anti(x1)x2 ∈ N, Then
x1 = l x2(modH)
Or, equivalently, if there exists an h ∈ H, such that:
anti(x1) ∗ x2 = h
That is, if x2 = x1h for some h ∈ H.
Proposition 2.
The relation ≡ ℓ(modH) is a neutrosophic triplet equivalence relation. The neutrosophic triplet equivalence class containing x is the set xH = xh/h ∈ H.
Proof. 
(1)
⩝x ∈ N1, anti(x) ∗ x = neut(x) ∈ H. Hence, x = x1(modH)} and ≡ ℓ(modH) is reflexive.
(2)
İf x = x2(modH), then anti(x1) ∗ x2 ∈ H. However, since an anti of an element of H is also in H, anti(anti[x1] ∗ x2) = anti(x2) ∗ anti(anti[x1]) = anti(x2) ∗ x1 ∈ H. Thus, x2 = x1(modH), hence ≡ (modH) is symmetric.
(3)
Finally, if x1 = x2(modH) and x2 = x3(modH), then anti(x1) ∗ x2 ∈ H and anti(x2) ∗ x3 ∈ H. Since H is closed under taking products, anti(x1)x2anti(x2)x3 = anti(x1)x3 ∈ H. Hence, x1 = x3(modH) so that ≡ ℓ(modH) is transitive. Thus, ≡ ℓ(modH) is a neutrosophic triplet equivalence relation. □

4.1. Properties of Neutrosophic Triplet Cosets

Lemma 1.
Let H ≤ N and let x, y ∈ N. Then,
(1) 
x ∈ xH.
(2) 
xH = H ⇔ x ∈ H.
(3) 
xH = yH ⇔ x ∈ yH.
(4) 
xH = yH or xH ∩ yH = Ø.
(5) 
xH = yH ⇔ anti(x)y ∈ H.
(6) 
xH = Hx ⇔ H = (xH)anti(x).
(7) 
xH ⊆ N ⇔ x ∈ H.
(8) 
(xy)H = x(yH) and H(xy) = (Hx)y.
(9) 
xH∣ = ∣YH∣.
Proof. 
(1)
x = x(neut(x)) ∈ xH
(2)
Suppose xH = H. Then x = x(neut(x)) ∈ xH = H.
Now assume x in H. Since H is closed, xH ⊆ H.
Next, also assume h ∊ H, so anti(x)h ∈ H, since H ≤ N. Then,
h = neut(x)h = x ∗ anti(x)h = x(anti[x])h ∈ xH,
So H ⊆ xH. By mutual inclusion, xH = h.
(3)
xH = Yh
x = x(neut(x)) ∈ xH = yH.
x ∈ yH ⇒ x = yh, where h ∈ H ⇒ h ∈ H, xH = (yh)H = y(hH) = yH.
(4)
Suppose that xH ∩ yH ≠ ∅. Then, ∃a ∈ xH ∩ yH ⇒ ∃h1h2 ∊ H ∍ a = xh1
and
a = yh2. Thus, x = a(anti(h1)) = yh2(antih1) and xH = yh2(anti(h1))H
= yh2(anti(h1)H) = yH by (2) of Lemma 1.
(5)
xH = yH H = anti(x)yH (2) of Lemma 1, anti(x)y ∈ H.
(6)
xH = Hx (xH)anti(x) = (Hx)anti(x) = H(x ∗ anti(x) = H xH(anti(x)) = H.
(7)
(That is, xH = H)
Suppose thay xH is a neutrosophic extended triplet subgroup of N. Then
xH contains the identity, so xH = H by (3) of Lemma 1, which holds x ∈ H by (2) of Lemma 1.
Conversely, if x ∈ H, then xH = H ≤ N by (2) of Lemma 1.
(8)
(xy)H = x(yH) and H(xy) = (Hx)y follows from the associative
property of group multiplication.
(9)
(Find a map α: xH ⟶ xH that is one to one and onto)
Consider α: xH ⟶ xH defined by α (xh) = yh. This is clearly onto yH. Suppose α (xh1)
= α (xh2). Then yh1 = yh2 h1 = h2 by left cancellation xh1 = xh2, therefore ⍺ is one to one. Since ⍺provides a one to one correspondence between xH and yH, ∣xH∣ = ∣yH∣. □
In classical group theory, cosets were used in the construction of vitali sets (a type of non-measurable set), and in computational group theory cosets were used to decode received data in linear error-correcting codes, to prove Lagrange’s theorem. The neutrosophic triplet coset plays a similar role in the theory of neutrosophic extended triplet group, as in the classical group theory. Neutrosophic triplet cosets could be used in areas, such as neutrosophic computational modelling, to prove Lagranges theorem in the neutrosophic extended triplet, etc.

4.2. The Index and Lagrange’s Theorem: ∣H∣ divides ∣N∣

Theorem 3 
If N is a finite neutrosophic extended triplet group and H ≤ N, then ∣ H∣/∣ N∣. Moreover, the number of the distinct left neutrosophic triplet cosets of H in N is ∣ N∣/∣ H∣.
Proof. 
Let x1H, x2H, …, xrH denote the distinct left neutrosophic triplet cosets of H in N. Then, ⩝ x ∈ N. xH = xiH for some i = 1, 2, …, r. Considering (1) of Lemma 1, x ∈ xH. Thus, N = x1H ∪ x2H ∪, …, ∪ xrH. Considering (4) of Lemma 1, this union is disjointed:
∣N∣ = ∣x1H∣ + ∣x2H∣ + ... + ∣xrH = r∣H∣.
Therefore: ∣xiH∣ = ∣xH∣ for i = 1, 2, …, r. □
Example 13.
We let H = ([1], [12]), it had three left neutrosophic triplet cosets in S3, see example 11, [S3:H] = 3 = (H, [13]H, [23]H) = (H, [13]H, [23]H).

5. Neutrosophic Triplet Normal Subgroups

In this section, the neutrosophic triplet normal subgroup and neutrosophic triplet normal subgroup test have been outlined.
Definition 20.
A neutrosophic extended triplet subgroup H of a neutrosophic extended triplet group N is called a neutrosophic triplet normal subgroup of N, if xH = Hx, ⩝ x ∈ N and we denote it as H N.
Example 14.
The set An = σ ∈ Sn/σ was even a normal subgroup of Sn. It was called the alternating neutrosophic extended triplet group on n letters. It was enough to notice that An = ker(sgn). Since Sn= n!, thus,
An∣ = n!/2.
Sn/An = n!/n!/2 = 2.

Neutrosophic Triplet Normal Subgroup Test

Theorem 4 
A neutrosophic extended triplet subgroup H of N is normal in N if, and only if, anti(x)Hx H,
⩝ x ∈ N.
Proof. 
Let H be a neutrosphic extended triplet subgroup of N. Suppose H is neutrosophic extended triplet subgroup of N. Then ⩝ x ∈ N, y ∈ H : Эz ∈ H : xy = zx. Thus (xy)anti(x) = z ∈ H implying (xH)anti(x) ⊆ H. □
Conversly, suppose ⩝ x ∈ N :(xH)anti(x) ⊆ H. Then for n ∊ N, we have (nH)anti(n) ⊆ H, which implies nH ⊆ Hn. Also, for anti(n) ∊ N, we have anti(n)H(anti[anti{n}]) = anti(n)Hn ⊆ H, which implies Hn ⊆ nH. Therefore, nH = Hn, meaning that H N.
Example 15.
We let f: N → H be a neutro-homomorphism from a neutrosophic extended triplet group N to a neutrosophic extended triplet group H, Kerf N.
(1) 
If ∀ a, b ∈ kerf, we had to show that a(anti[b]) ∈ kerf. This meant that kerf was a neutrosophic extended triplet subgroup of N. If a ∈ kerf, then
f(a) = neutH
and
b ∈ kerf, then
f(b) = neutH
Then, we showed that f(a(anti[b]) = neutH. (f is neutro-homomorphism)
f(a(anti(b)) = f(a) . f(anti(b))
= f(a) . f(anti(b))
= neutH . anti(neutH)
= neutH . neutH
= neutH
a(anti(b)) ∈ kerf.
(2) 
We let n ∈ N and a ∊ kerf. We had to show that n . a . (anti(n)) ∈ kerf. (f is neutro-homomorphism)
f(n . a . (anti(n) = f(n) . f(a) . f(anti(n))
= f(n) f(a) anti(f(n))
= h neutH (anti(h))
= neutH
n . a . (anti(n)) ∈ kerf
kerfN.
Theorem 5 .
A neutrosophic triplet subgroup H of N is a neutrosophic triplet normal subgroup of N if, and only if, each left neutrosophic triplet coset of H in N is a right neutrosophic triplet coset of H ∈ N.
Proof. 
Let H be a neutrosophic triplet normal subgroup of N, then xH(anti[x])=H, ⩝ x ∈ N xH(anti[x])x = Hx, ⩝x ∈ N ⇒ xH = Hx, ⩝x ∈ N, since each left neutrosophic triplet coset xH is the right neutrosophic triplet coset Hx. □
Conversely, let each left neutrosophic triplet coset of H in N be a right neutrosophic triplet coset of H in N. This means that if x is any element of N, then the left neutrosophic triplet coset xH is also a right neutrosophic triplet coset. Now neut(x) ∈ H, therefore x ∗ neut(x) = x ∈ xH. Consequently x must also belong to that right neutrosophic triplet coset, which is equal to left neutrosophic triplet coset xH. However, x is a left neutrosophic triplet coset and needs to contain one common element before they are identical. Therefore, Hx is the unique right neutrosophic triplet coset which is equal to the left neutrosophic triplet coset xH. Therefore, we have xH = xH, ⩝x ∈ N ⇒ xH(anti(x)) = Hx(anti(x), ⩝x ∈ N ⇒ xH(anti(x)) = H, ⩝x ∈ N, since H is a neutrosophic triplet normal subgroup of N.

6. Neutrosophic Triplet Quotient (Factor) Groups

The notion of quotient (factor) groups was one of the central concepts of classical group theory and played an important role in the study of the general structure of groups. Just as in a classical group theory, quotient groups played a similar role in the theory of neutrosophic extended triplet group. In this section, we have introduced the notion of neutrosophic triplet quotient group and its relation to the neutrosophic extended triplet group.
Definition 21.
If N is a neutrosophic extended triplet group and H N is a neutrosophic triplet normal subgroup, then the neutrosophic triplet quotient group N/H has elements xH: x ∈ N, the neutrosophic triplet cosets of H in N, and an operation of (xH)(yH) = (xy)H.
Example 16.
Let’s find all of the possible neutrosophic triplet quotient groups for the dihedral group D3.
D3 = (1, r, r2, s, sr, s r 2 ), where r 3 = s 2 = rsrs = 1. A quotient set D3/N is a neutrosophic triplet group if, and only if, N D3. Then, all of neutrosophic triplet normal subgroups are D3 itself. We always have the trivial ones D3/D3 = 1 ≅ 1 and D3/1 ≅ D3. The subgroup ⟨r⟩ = ⟨ r 2 ⟩ = (1, r, r 2 ) is that of index 2 and thus is normal. Therefore, D3/⟨r⟩ is also a neutrosophic triplet quotient group. If N D3 is a different neutrosophic triplet normal subgroup, then N . = 2, so either N = s 〉, N = s r . or N = s r 2 . However, none of them are normal, since ( s r ) s ( a n t i ( s r ) ) =   s r 2 not in s . Hence, the only non-triavial neutrosophic triplet quotient group is D3/⟨r⟩.
Theorem 6 
Let N be a neutrosophic extended triplet group and H be a neutrosophic triplet normal subgroup of N. In the set N/H = xH, x ∈ N is a neutrosophic extended triplet group under the operation of (xH)(yH) = xyH.
Proof. 
N/H × N/H → N/H
  • xH = x′H and yH = y′H
    Xh1 = x′ and yh2 = y′, h1, h2∊ H
    x′y′H = xh1yh2H = xh1yH = x h1Hy = xHy = xyH.
  • The neutral, for any x ∊ H, is neut(x)H = H. That is, xH ∗ H = xH ∗ neut(x)H = x ∗ neut(x)H = xH.
  • An anti of a neutrosophic triplet coset xH is anti(x)H, since xH∗ anti(x)H = (x ∗ anti(x)H) = neut(x)H = H.
  • Associativity, (xHyH)zH = (xy)HzH = (xy)zH = xH(yz)H = xH(yHzH), ⩝ x, y, z ∈ N. □

7. Conclusions

The main theme of this paper was to introduce the neutrosophic extended triplets and then to utilize these neutrosophic extended triplets in order to introduce the neutrosophic triplet cosets, neutrosophic triplet normal subgroup, and finally, the neutrosophic triplet quotient group. We also studied some interesting properties of these newly created structures and their application to neutrosophic extended triplet group. We further defined the neutrosophic kernel, neutrosophic-image, and inverse image for neutrosophic extended triplets. As a further generalization, we created a new field of research, called Neutrosophic Triplet Structures (namely, the neutrosophic triplet cosets, neutrosophic triplet normal subgroup, and neutrosophic triplet quotient group).

Author Contributions

All authors have contributed equally to this paper. The individual responsibilities and contribution of all authors can be described as follows: the idea of this whole paper was put forward by Mikail Bal, he also completed the preparatory work of the paper. Moges Mekonnen Shalla analyzed the existing work of symmetry 292516 neutrosophic triplet coset and quotient group and wrote part of the paper. The revision and submission of this paper was completed by Necati Olgun.

Conflicts of Interest

The authors declare no conflict of interest.

References and Note

  1. Smarandache, F. A Unifying Field in Logics: Neutrosophic Logic; Philosophy; American Research Press: Santa Fe, NM, USA, 1999; pp. 1–141. [Google Scholar]
  2. Kandasamy Vasantha, W.B.; Smarandache, F. Basic Neutrosophic Algebraic Structures and Their Application to Fuzzy and Neutrosophic Models; ProQuest Information & Learning: Ann Harbor, MI, USA, 2004. [Google Scholar]
  3. Kandasamy Vasantha, W.B.; Smarandache, F. Some Neutrosophic Algebraic Structures and Neutrosophic N-Algebraic Structures; ProQuest Information & Learning: Ann Harbor, MI, USA, 2006. [Google Scholar]
  4. Smarandache, F.; Mumtaz, A. Neutrosophic triplet group. Neural Comput. Appl. 2018, 29, 595–601. [Google Scholar] [CrossRef]
  5. Smarandache, F.; Mumtaz, A. Neutrosophic triplet as extension of matter plasma, unmatter plasma, and antimatter plasma. In Proceedings of the 69th Annual Gaseous Electronics Conference on APS Meeting Abstracts, Bochum, Germany, 10–14 October 2016. [Google Scholar]
  6. Smarandache, F.; Mumtaz, A. The Neutrosophic Triplet Group and Its Application to Physics. Available online: https://scholar.google.com.hk/scholar?hl=en&as_sdt=0%2C5&q=The+Neutrosophic+Triplet+Group+and+Its+Application+to+Physics&btnG= (accessed on 20 March 2018).
  7. Smarandache, F. Neutrosophic Extended Triplets; Special Collections. Arizona State University: Tempe, AZ, USA, 2016. [Google Scholar]
  8. Smarandache, F.; Mumtaz, A. Neutrosophic Triplet Field used in Physical Applications. In Proceedings of the 18th Annual Meeting of the APS Northwest Section, Pacific University, Forest Grove, OR, USA, 1–3 June 2017. [Google Scholar]
  9. Smarandache, F.; Mumtaz, A. Neutrosophic Triplet Ring and its Applications. In Proceedings of the 18th Annual Meeting of the APS Northwest Section, Pacific University, Forest Grove, OR, USA, 1–3 June 2017. [Google Scholar]
  10. Smarandache, F. (Ed.) A Unifying Field in Logics: Neutrosophic Logic. Neutrosophy, Neutrosophic Set, Neutrosophic Probability: Neutrosophic Logic: Neutrosophy, Neutrosophic Set, Neutrosophic Probability; Infinite Study; 2003. Available online: https://www.google.com.hk/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&uact=8&ved=0ahUKEwjatuT1w8jaAhVIkpQKHeezDpIQFgglMAA&url=https%3A%2F%2Farxiv.org%2Fpdf%2Fmath%2F0101228&usg=AOvVaw0eRjk3emNhoohTA4tbq5cc (accessed on 20 March 2018).
  11. Smarandache, F.; Mumtaz, A. Neutrosophic triplet group. Neural Comput. Appl. 2016, 29, 1–7. [Google Scholar] [CrossRef]
  12. Şahin, M.; Abdullah, K. Neutrosophic triplet normed space. Open Phys. 2017, 15, 697–704. [Google Scholar] [CrossRef]
  13. Sahin, M.; Kargin, A. Neutrosophic operational research. Pons Publ. House/Pons Asbl 2017, I, 1–13. [Google Scholar]
  14. Uluçay, V.; Irfan, D.; Mehmet, Ş. Similarity measures of bipolar neutrosophic sets and their application to multiple criteria decision making. Neural Comput. Appl. 2018, 29, 739–748. [Google Scholar] [CrossRef]
  15. Sahin, M.; Ecemis, O.; Ulucay, V.; Deniz, H. Refined NeutrosophicHierchical Clustering Methods. Asian J. Math. Comput. Res. 2017, 15, 283–295. [Google Scholar]
  16. Sahin, M.; Necati, O.; Vakkas, U.; Abdullah, K.; Smarandache, F. A New Similarity Measure Based on Falsity Value between Single Valued Neutrosophic Sets Based on the Centroid Points of Transformed Single Valued Neutrosophic Numbers with Applications to Pattern Recognition; Infinite Study. 2017. Available online: https://www.google.com/books?hl=en&lr=&id=x707DwAAQBAJ&oi=fnd&pg=PA43&dq=A+New+Similarity+Measure+Based+on+Falsity+Value+between+Single+Valued+Neutrosophic+Sets+Based+on+the+Centroid+Points+of+Transformed+Single+Valued+Neutrosophic+Numbers+with+Applications+to+Pattern+Recognition&ots=M_GVzltdc6&sig=uW5uUsVDAOUJPQex6D8JBj-ZZjw (accessed on 20 March 2018).
  17. Uluçay, V.; Mehmet, Ş.; Necati, O.; Adem, K. On neutrosophic soft lattices. Afr. Matematika 2017, 28, 379–388. [Google Scholar] [CrossRef]
  18. Sahin, M.; Shawkat, A.; Vakkas, U. Neutrosophic soft expert sets. Appl. Math. 2015, 6, 116. [Google Scholar] [CrossRef]
  19. Sahin, M.; Ecemis, O.; Ulucay, V.; Kargin, A. Some New Generalized Aggregation Operators Based on Centroid Single Valued Triangular Neutrosophic Numbers and Their Applications in Multi-Attribute Decision Making. Asian J. Math. Comput. Res. 2017, 16, 63–84. [Google Scholar]
  20. Smarandache, F. Seminar on Physics (unmatter, absolute theory of relativity, general theory—Distinction between clock and time, superluminal and instantaneous physics, neutrosophic and paradoxist physics), Neutrosophic Theory of Evolution, Breaking Neutrosophic Dynamic Systems, and Neutrosophic Triplet Algebraic Structures, Federal University of Agriculture, Communication Technology Resource Centre, Abeokuta, Ogun State, Nigeria, 19 May 2017.
  21. Smarandache, F. Hybrid Neutrosophic Triplet Ring in Physical Structures. Bull. Am. Phys. Soc. 2017, 62, 17. [Google Scholar]
  22. Smarandache, F. Neutrosophic Perspectives: Triplets, Duplets, Multisets, Hybrid Operators, Modal Logic, Hedge Algebras. And Applications; Infinite Study. 2017. Available online: https://www.google.com/books?hl=en&lr=&id=4803DwAAQBAJ&oi=fnd&pg=PA15&dq=Neutrosophic+Perspectives:+Triplets,+Duplets,+Multisets,+Hybrid+Operators,+Modal+Logic,+Hedge+Algebras.+And+Applications&ots=SzcTAGL10B&sig=kJMEHWsQ_tYjTJZbOk5TaNahnt0 (accessed on 20 March 2018).
Table 1. Neutrosophic triplets of (x) modulo 12.
Table 1. Neutrosophic triplets of (x) modulo 12.
01234567891011
0000000000000
101234567891011
202468100246810
3036903690369
4048048048048
505103816114927
6060606060606
707294116183105
8084084084084
9096309630963
1001086420108642
1101110987654321
Table 2. Neutrosophic triplets of X.
Table 2. Neutrosophic triplets of X.
σ0σ1σ2μ1μ2μ3
σ0σ0σ1σ2μ1μ2μ3
σ1σ1σ2σ0μ2μ3μ1
σ2σ2σ0σ1μ3μ1μ2
μ1μ1μ2μ3σ0σ2σ1
μ2μ2μ1μ3σ1σ0σ2
μ3μ3μ2μ1σ2σ1σ0
Table 3. Neutrosophic triplet left and right cosets of S3.
Table 3. Neutrosophic triplet left and right cosets of S3.
ggHHg
(1)([1], [12])([1], [12])
(12)([1], [12])([1], [12])
(13)([13], [123])([13], [132])
(23)([23], [132])([23], [123])
(123)([13], [123])([23], [123])
(132)([23], [132])([23], [123])

Share and Cite

MDPI and ACS Style

Bal, M.; Shalla, M.M.; Olgun, N. Neutrosophic Triplet Cosets and Quotient Groups. Symmetry 2018, 10, 126. https://doi.org/10.3390/sym10040126

AMA Style

Bal M, Shalla MM, Olgun N. Neutrosophic Triplet Cosets and Quotient Groups. Symmetry. 2018; 10(4):126. https://doi.org/10.3390/sym10040126

Chicago/Turabian Style

Bal, Mikail, Moges Mekonnen Shalla, and Necati Olgun. 2018. "Neutrosophic Triplet Cosets and Quotient Groups" Symmetry 10, no. 4: 126. https://doi.org/10.3390/sym10040126

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop