Open AccessArticle

New Results on Neutrosophic Extended Triplet Groups Equipped with a Partial Order

School of Science, Xi’an Polytechnic University, Xi’an 710048, China

Departmet of Mathematics, University of New Mexico, 705 Gurley Ave., Gallup, NM 87301, USA

College of Mathematics and Information Science, Shaanxi Normal University, Xi’an 710062, China

⁴

Department of Mathematics, Faculty of Science, Al-Azhar University, Assiut 71524, Egypt

Author to whom correspondence should be addressed.

Symmetry 2019, 11(12), 1514; https://doi.org/10.3390/sym11121514

Submission received: 13 November 2019 / Revised: 9 December 2019 / Accepted: 10 December 2019 / Published: 13 December 2019

(This article belongs to the Special Issue New Development of Neutrosophic Probability, Neutrosophic Statistics, Neutrosophic Algebraic Structures, and Neutrosophic & Plithogenic Optimizations)

Download

Browse Figures

Versions Notes

Abstract

Neutrosophic extended triplet group (NETG) is a novel algebra structure and it is different from the classical group. The major concern of this paper is to present the concept of a partially ordered neutrosophic extended triplet group (po-NETG), which is a NETG equipped with a partial order that relates to its multiplicative operation, and consider properties and structure features of po-NETGs. Firstly, in a po-NETG, we propose the concepts of the positive cone and negative cone, and investigate the structure features of them. Secondly, we study the specificity of the positive cone in a partially ordered weak commutative neutrosophic extended triplet group (po-WCNETG). Finally, we introduce the concept of a po-NETG homomorphism between two po-NETGs, construct a po-NETG on a quotient set by providing a multiplication and a partial order, then we discuss some fundamental properties of them.

Keywords:

partially ordered neutrosophic extended triplet group; positive cone; homomorphism; quotient set

1. Introduction

Groups play a very important role in algebraic structures [1,2,3], and have been applied in many other areas such as chemistry, physics, biology, etc. The concept of neutrosophic set theory is proposed by Smarandache in [4], which is the generalization of classical sets [5], fuzzy sets [6], and intuitionistic fuzzy sets [5,7]. Neutrosophic sets have received wide attention both on practical applications [8,9,10] and on theory as well [11,12]. The main idea of the concept of a neutrosophic triplet group (NTG), is defined in [13,14]. For an NTG

(G, *)

, every element a in G has its own neutral element (denoted by

n e u t (a)

) satisfying

a * n e u t (a) = n e u t (a) * a = a

, and there exists at least one opposite element (denoted by

a n t i (a)

) in G relative to

n e u t (a)

satisfying

a * a n t i (a) = a n t i (a) * a = n e u t (a)

. Here,

n e u t (a)

is not allowed to be equal to the classical identity element as a special case. By removing this restriction, the concept of neutrosophic extended triplet group (NETG), is presented in [13]. Many significant results and several studies on NTGs and NETGs can be found in [15,16,17,18,19,20]. On the other hand, some algebraic structures are equipped with a partial order that relates to the algebraic operations, such as ordered groups, ordered semigroups, ordered rings and so on [21,22,23,24,25,26,27,28].

Regarding these developments, as the motivation of this article, we will consider what it is like to endow a NETG with a partial order and introduce the concepts of partially ordered NETGs and positive cones. Then we consider a question: is a subset P of a NETG G the positive cone relative to some compatible order on G if P satisfies some conditions? To solve this problem, we investigate structure features of partially ordered NETGs and try to characterize the positive cones. Finally, we study properties of homomorphisms and quotient sets in partially ordered NETGs, and discuss the relationships between homomorphisms and congruences. In particular, the quotient set equipped with a special multiplication and a partial order provides a way to obtain a partially ordered NETG. All these results lay the groundwork for investigation of category properties of partially ordered NETGs.

The rest of this paper is organized as follows. In Section 2, we review some basic concepts, such as a neutrosophic extended triplet set, a neutrosophic extended triplet group, a weak commutative neutrosophic extended triplet group and a completely regular semigroup, and several results were published in [16,19]. In Section 3, we define a partially ordered neutrosophic extended triplet group and partially ordered weak commutative neutrosophic extended triplet group. Several of their interesting properties of partially ordered neutrosophic extended triplet group and partially weak commutative neutrosophic extended triplet group are explained. The homomorphisms and quotient sets of partially ordered neutrosophic extended triplet group are shown in Section 4. Finally, conclusions are given in Section 5.

2. Preliminaries

In this section, we recall some basic notions and results which will be used in this paper as indicated below.

Definition 1.

([13]) Let G be a non-empty set together with a binary operation *. Then G is called a neutrosophic extended triplet set if for any

a \in G

, there exist a neutral of "a" (denoted by

n e u t (a)

) and an opposite of "a" (denoted by

a n t i (a)

), such that

n e u t (a) \in G, a n t i (a) \in G,

and

a * n e u t (a) = n e u t (a) * a = a;

a * a n t i (a) = a n t i (a) * a = n e u t (a) .

The triplet

(a, n e u t (a), a n t i (a))

is called a neutrosophic extended triplet.

Definition 2.

([13]) Let

(G, *)

be a neutrosophic extended triplet set. If

(G, *)

is a semigroup, then G is called a neutrosophic extended triplet group (for short, NETG).

Proposition 1.

([[16] Theorems 1 and 2]) Let

(G, *)

be a NETG. The following properties hold:

\forall a \in G

(1): $n e u t (a)$ is unique;
(2): $n e u t (a) * n e u t (a) = n e u t (a)$ ;
(3): $n e u t (n e u t (a)) = n e u t (a)$ .

Notice that

a n t i (a)

may be not unique for every element a in a NETG

(G, *)

. To avoid confusion, we use the following notations:

a n t i (a)

denotes any certain one opposite of a and

{a n t i (a)}

denotes the set of all opposites of a.

Proposition 2.

([[19], Theorem 1]) Let

(G, *)

be a NETG. The following properties hold:

\forall a \in G, \forall p, q \in {a n t i (a)}

(1): $p * n e u t (a) \in {a n t i (a)}$ ;
(2): $p * n e u t (a) = q * n e u t (a) = n e u t (a) * q$ ;
(3): $n e u t (p * n e u t (a)) = n e u t (a)$ ;
(4): $a \in {a n t i (p * n e u t (a))}$ ;
(5): $a n t i (p * n e u t (a)) * n e u t (p * n e u t (a)) = a$ .

Definition 3.

([16]) Let

(G, *)

be a NETG. If

a * n e u t (b) = n e u t (b) * a

(\forall a \in G, \forall b \in G)

, then G is called a weak commutative neutrosophic extended triplet group ( WCNETG).

Proposition 3.

([[16], Theorem 2]) Let

(G, *)

be a NETG. Then G is a WCNETG iff G satisfies the following conditions:

\forall a \in G, \forall b \in G

(1): $n e u t (a) * n e u t (b) = n e u t (b) * n e u t (a)$ ;
(2): $n e u t (a) * n e u t (b) * a = a * n e u t (b)$ .

Proposition 4.

([[16], Theorem 3]) Let

(G, *)

be a WCNETG. The following properties hold:

\forall a \in G, \forall b \in G

(1): $n e u t (a) * n e u t (b) = n e u t (b * a)$ ;
(2): $a n t i (a) * a n t i (b) \in {a n t i (b * a)}$ .

Definition 3.

([29]) A semigroup

(S, *)

will be called completely regular if there exists a unary operation

a \mapsto a^{- 1}

on S with the properties:

{(a^{- 1})}^{- 1} = a, a * a^{- 1} * a = a, a * a^{- 1} = a^{- 1} * a .

Proposition 5.

([[19], Theorem 2]) Let

(G, *)

be a groupoid. Then G is a NETG iff it is a completely regular semigroup.

Note 1. In semigroup theory,

a^{- 1}

is called the inverse element of a and it is unique. However, in a NETG,

a n t i (a)

is called an opposite element of a and it may not be unique. From Proposition 5, we get that for arbitrary element a of a NETG

(G, *)

, if we define a unary operation

a \mapsto a^{- 1}

a^{- 1} = a n t i (a) * n e u t (a)

, then

(G, *)

is a completely regular semigroup.

In the following, we will regard all NETGs as completely regular semigroups, in which

a^{- 1} = a n t i (a) * n e u t (a)

for arbitrary element a. Then by Proposition 2, we have in a NETG

(G, *)

, for each

a \in G

a^{- 1} \in {a n t i (a)}

and

a^{- 1} * a = a * a^{- 1} = n e u t (a)

3. Partially Ordered NETGs

An NETG is a special set endowed with a multiplicative operation. Assuming that we introduce a partial order which is compatible with multiplication in a NETG, we will get the definition of partially ordered NETGs as indicated below.

Definition 5.

Let

(G, *)

be a NETG. If there exists a partial order relation ≤ on G such that

a \leq b

implying

c * a \leq c * b

and

a * c \leq b * c

for all

a \in G, b \in G, c \in G

, then ≤ is called a compatible partial order on G, and

(G, *, \leq)

is called a partially ordered NETG (for short, po-NETG).

Similarly, if

(G, *)

is a WCNETG and endowed with a compatible partial order, then

(G, *, \leq)

is called a partially ordered WCNETG ( po-WCNETG). Hence, po-WCNETGs must be po-NETGs.

Remark 1.

Obviously, the properties of NETGs and WCNETGs are holding in po-NETGs and po-WCNETGs, respectively.

In the following, we give an example of a po-NETG.

Example 1.

Let

G = {0, a, b, c, 1}

with the Hasse diagram as shown in Figure 1, in which 0 denotes the bottom element (mean the element is smallest element w.r.t. to partial order) and 1 denotes the top element (mean the element is largest element w.r.t. to partial order) of G. Then G is a partially ordered set.

Define multiplication * on G as shown in Table 1 , where

a, b, c

to label the elements in the po-NETG and the multiplication * among these elements.

We can verify that

(G, *)

is a WCNETG. Moreover,

n e u t (0) = 0, {a n t i (0)} = {0, a, b, c, 1}, 0^{- 1} = 0;

n e u t (a) = c, {a n t i (a)} = {b}, a^{- 1} = b;

n e u t (b) = c, {a n t i (b)} = {a}, b^{- 1} = a;

n e u t (c) = c, {a n t i (c)} = {c}, c^{- 1} = c;

n e u t (1) = 1, {a n t i (1)} = {a, b, c, 1}, 1^{- 1} = 1 .

It is easy to see that the partial order shown in Fig.1 is compatible with multiplication *. Hence,

(G, *, \leq)

is a po-WCNETG.

Definition 6.

(G, *, \leq)

is a po-NETG, then

a \in G

is said to be a positive element if

n e u t (a) \leq a

; and a negative element if

a \leq n e u t (a)

. The subset

P_{G}

of all positive elements of G is called the positive cone of G, and the subset

N_{G}

of all negative elements the negative cone.

Remark 2.

By Proposition 1,

\forall a \in G, n e u t (a) \in P_{G} \cap N_{G}

, so

P_{G} \cap N_{G} \neq \emptyset

Lemma 1.

Let

(G, *)

be an NETG. Then

\forall a \in G

{[n e u t (a)]}^{- 1} = n e u t (a) = n e u t (a^{- 1}) .

Proof.

Let

a \in G

. Then

{[n e u t (a)]}^{- 1} = a n t i (n e u t (a)) * n e u t (n e u t (a))

= a n t i (n e u t (a)) * n e u t (a)

= n e u t (n e u t (a))

= n e u t (a) .

On the other hand, by Proposition 2(3), we have

n e u t (a^{- 1}) = n e u t (a n t i (a) * n e u t (a)) = n e u t (a)

. □

Remark 3.

If G is a po-NETG and

P \subseteq G

, we shall use the notation

P^{- 1} = {a^{- 1} : a \in P} .

Proposition 6.

Let

(G, *, \leq)

be a po-NETG. Then

P_{G} \cap P_{G}^{- 1} = {a \in G : a = n e u t (a) = a^{- 1}}

Proof.

(⟹) Let

a \in G

. By Proposition 1 and Lemma 1, we have

n e u t (a) \in {a \in G : a = n e u t (a) = a^{- 1}},

{a \in G : a = n e u t (a) = a^{- 1}} \neq \emptyset

. By Lemma 1, it is clear that

{a \in G : a = n e u t (a) = a^{- 1}} \subseteq P_{G} \cap P_{G}^{- 1} .

(⟸) Let

b \in P_{G} \cap P_{G}^{- 1}

, then

n e u t (b) \leq b

and

\exists c \in P_{G}

such that

b = c^{- 1}

, so

b = c^{- 1} = a n t i (c) * n e u t (c) \leq a n t i (c) * c = n e u t (c) = n e u t (b^{- 1}) = n e u t (b),

that is,

b \leq n e u t (b)

, whence

b = n e u t (b)

. Hence,

c = b^{- 1} = {[n e u t (b)]}^{- 1} = n e u t (b) = b .

Then we can conclude that

b \in {a \in G : a = n e u t (a) = a^{- 1}}

, and so

P_{G} \cap P_{G}^{- 1} \subseteq {a \in G : a = n e u t (a) = a^{- 1}} .

Thus,

P_{G} \cap P_{G}^{- 1} = {a \in G : a = n e u t (a) = a^{- 1}}

. □

Remark 4.

(G, *, \leq)

is a po-NETG and

P \subseteq G

, then we shall use the notation

P^{2} = {a * b : a, b \in P} .

Proposition 7.

(1) If

(G, *, \leq)

is a po-NETG, then

P_{G} \subseteq P_{G}^{2}

(2) If

(G, *, \leq)

is a po-WCNETG, then

P_{G} = P_{G}^{2}

Proof.

(1) If

(G, *, \leq)

is a po-NETG, then

\forall a \in P_{G}

, by

n e u t (a) \in P_{G}

, we have

a = a * n e u t (a) \in P_{G}^{2}

, and so

P_{G} \subseteq P_{G}^{2}

(2) If

(G, *, \leq)

is a po-WCNETG, then

\forall a \in P_{G}, \forall b \in P_{G}

, by Propositions 3 and 4, we have

n e u t (a * b) = n e u t (b) * n e u t (a) = n e u t (a) * n e u t (b) \leq a * b

, and so

a * b \in P_{G}

, thus

P_{G}^{2} \subseteq P_{G}

. Consequently,

P_{G} = P_{G}^{2}

. □

Proposition 8.

Let

(G, *, \leq)

be a po-WCNETG. Then

\forall a \in G, a P_{G} a^{- 1} \subseteq P_{G}

Proof.

Let

a \in G

and

b \in P_{G}

, then by Propositions 3 and 4, we have

n e u t (a * b * a^{- 1}) = n e u t (a^{- 1}) * n e u t (a * b) = n e u t (a * b) * n e u t (a^{- 1}) = [n e u t (b) * n e u t (a)] * n e u t (a^{- 1}) = n e u t (b) * [n e u t (a) * n e u t (a^{- 1})] = n e u t (b) * n e u t (a^{- 1} * a) = n e u t (b) * n e u t (n e u t (a)) = n e u t (b) * n e u t (a) = n e u t (b) * (a * a^{- 1}) = [n e u t (b) * a] * a^{- 1} = [a * n e u t (b)] * a^{- 1} \leq a * b * a^{- 1}

, thus

a b a^{- 1} \in P_{G}

. Therefore,

a P_{G} a^{- 1} \subseteq P_{G}

. □

Lemma 2.

Let

(G, *)

be a WCNETG. Then

\forall a \in G, \forall b \in G, {(a * b)}^{- 1} = b^{- 1} * a^{- 1} .

Proof.

We know

a * b

is an element of G

\forall a \in G, \forall b \in G

and by Proposition 4, we have

a n t i (b) * a n t i (a) \in {a n t i (a * b)}

. Then using Propositions 1, 5 and Note 1 we get the following identities:

\begin{array}{l} b^{- 1} * a^{- 1} & = [a n t i (b) * n e u t (b)] * [a n t i (a) * n e u t (a)] \\ = a n t i (b) * [n e u t (b) * a n t i (a)] * n e u t (a) (Because the multiplication * is associative) \\ = a n t i (b) * [a n t i (a) * n e u t (b)] * n e u t (a) (Because G is a WCNETG) \\ = [a n t i (b) * a n t i (a)] * [n e u t (b) * n e u t (a)] (Because the multiplication * is associative) \\ = [a n t i (b) * a n t i (a)] * n e u t (a * b) (By Proposition 3) \\ = {(a * b)}^{- 1} . \end{array}

□

Lemma 3.

Let

(G, *, \leq)

be a po-NETG. Then

P_{G} = P_{N}^{- 1}

and

P_{G}^{- 1} = P_{N}

Proof.

Let

a \in G

. If

a \in P_{G}

, then

n e u t (a) \leq a

, it follows by Lemma 1 that

a^{- 1} = n e u t (a^{- 1}) * a^{- 1} = n e u t (a) * a^{- 1} \leq a * a^{- 1} = n e u t (a) = n e u t (a^{- 1})

, and so

a^{- 1} \in P_{N}

, whence

a = {(a^{- 1})}^{- 1} \in P_{N}^{- 1}

. Hence,

P_{G} \subseteq P_{N}^{- 1}

. Similarly, we can prove that if

a \in P_{N}

then

a^{- 1} \in P_{G}

, so

P_{N}^{- 1} \subseteq P_{G}

. Consequently,

P_{G} = P_{N}^{- 1}

. Similarly,

P_{G}^{- 1} = P_{N}

. □

Definition 7.

Let

(G, *)

be a WCNETG. If

\forall a \in G, \forall b \in G, \forall c \in G, a * n e u t (c) = b * n e u t (c)

implies

a = b

, then we say G satisfies neutrosophic cancellation law.

Lemma 4.

Let

(G, *)

be a WCNETG satisfying neutrosophic cancellation law and

P \subseteq G

satisfy

\forall a \in P, a * a = a

. Then

\forall a \in G, \forall b \in G, a * n e u t (b) \in P

implies

n e u t (a) = a = a^{- 1}

Proof.

a * n e u t (b) \in P

, then

a * n e u t (b) = (a * n e u t (b)) * (a * n e u t (b)) = (a * a) * n e u t (b)

, and so

a * a = a

, whence

n e u t (a) = a

\forall a \in G, \forall b \in G

. Then by Lemma 1, we get

a^{- 1} = {[n e u t (a)]}^{- 1} = n e u t (a) = a

. □

Proposition 9.

Let

(G, *)

be a WCNETG satisfying neutrosophic cancellation law and

P \subseteq G

satisfy the following conditions:

(1): $P^{2} \subseteq P$ ;
(2): $P \cap P^{- 1} = {a \in G : n e u t (a) = a = a^{- 1}}$ ;
(3): $\forall a \in P, a * a = a$ ;
(4): $\forall a \in G, a P a^{- 1} \subseteq P$ ,

then a compatible partial order on G exists such that P is the positive cone of G relative to it. Moreover, G is a chain with respect to this partial order if and only if

P \cup P^{- 1} = G

Proof.

Define the relation ≤ on G by

a \leq b \Leftrightarrow b * a^{- 1} \in P .

By Proposition 1 and Lemma 1, we have

\forall a \in G, n e u t (a) \in P \cap P^{- 1} \subseteq P

, and so ≤ is reflexive on G obviously.

If now

a \leq b

and

b \leq a

, then

b * a^{- 1} \in P a n d a * b^{- 1} \in P .

Since by Lemma 2 we know that

{(a * b^{- 1})}^{- 1} = {(b^{- 1})}^{- 1} * a^{- 1} = b * a^{- 1},

we conclude

b * a^{- 1} \in P \cap P^{- 1} .

It follows by (2) that

b * a^{- 1} = n e u t (b * a^{- 1})

. However, by Proposition 4 and Lemma 1,

n e u t (b * a^{- 1}) = n e u t (a^{- 1}) * n e u t (b) = n e u t (a) * n e u t (b),

thus

b * n e u t (a) = b * a^{- 1} * a = n e u t (b * a^{- 1}) * a = [n e u t (a) * n e u t (b)] * a = n e u t (a) * [a * n e u t (b)] = [n e u t (a) * a] * n e u t (b) = a * n e u t (b)

, that is,

b * n e u t (a) = a * n e u t (b)

However, by Proposition 3, we have

b * n e u t (a) = n e u t (b) * n e u t (a) * b = n e u t (a * b) * b,

and similarly,

a * n e u t (b) = n e u t (a) * n e u t (b) * a = [n e u t (b) * n e u t (a)] * a = n e u t (a * b) * a,

therefore,

n e u t (a * b) * b = n e u t (a * b) * a,

and by neutrosophic cancellation law, consequently

a = b

. Hence, ≤ is anti-symmetric.

To prove that ≤ is transitive, let

a \leq b

and

b \leq c

. Then

b * a^{- 1} \in P and c * b^{- 1} \in P .

It follows by (1) that

P \supseteq P^{2} ∋ (c * b^{- 1}) * (b * a^{- 1}) = c * (b^{- 1} * b) * a^{- 1} = c * n e u t (b) * a^{- 1} = (c * a^{- 1}) * n e u t (b) .

By (3) and Lemma 4, we have

n e u t (c * a^{- 1}) = c * a^{- 1} = {(c * a^{- 1})}^{- 1},

and so

c * a^{- 1} \in P \cap P^{- 1} \subseteq P,

that is,

c * a^{- 1} \in P

. Thus,

a \leq c

. Therefore, ≤ is a partial order on G.

To see that it is compatible, let

x \leq y

. Then

y * x^{- 1} \in P

and it follows by (1) and (4) that, for every

a \in G

(a * y) * {(a * x)}^{- 1} = (a * y) * (x^{- 1} * a^{- 1}) = a * (y * x^{- 1}) * a^{- 1} \in P,

(y * a) * {(x * a)}^{- 1} = y * (a * a^{- 1}) * x^{- 1} = y * n e u t (a) * x^{- 1} = (y * x^{- 1}) * n e u t (a) \in P^{2} \subseteq P,

which shows that

a * x \leq a * y and x * a \leq y * a .

It follows that ≤ is compatible.

Finally, note that

\forall a \in G,

n e u t (a) \leq a \Leftrightarrow a * {[n e u t (a)]}^{- 1} \in P \Leftrightarrow a * n e u t (a) \in P \Leftrightarrow a \in P,

so P is the associated positive cone. Suppose now that

(G, \leq)

is a chain, then for every

a \in G

, we have either

n e u t (a) \leq a or a \leq n e u t (a) .

It follows by Lemma 3 that

a \in P or a \in P^{- 1} .

Thus

G = P \cup P^{- 1}

. Conversely, if

G = P \cup P^{- 1}

, then for all

a, b \in G

, we have

a * b^{- 1} \in P or a * b^{- 1} \in P^{- 1},

that is,

a * b^{- 1} \in P or b * a^{- 1} = {(a * b^{- 1})}^{- 1} \in P .

Hence, we have either

b \leq a

a \leq b

. Therefore,

(G, \leq)

is a chain. □

By the following example, we clarify the above proposition as:

Example 2.

Let

G = {a, b, c}

. Define multiplication * on G as shown in Table 2, where

a, b, c

to label the elements in the po-NETG and the multiplication * among these elements.

It is easy to verify that

(G, *)

is a WCNETG and

(G, *)

satisfies neutrosophic cancellation law, in which

n e u t (a) = n e u t (b) = n e u t (c) = a,

{a n t i (a)} = {a}, a^{- 1} = a;

{a n t i (b)} = {c}, b^{- 1} = c;

{a n t i (c)} = {b}, c^{- 1} = b .

Let

P = {a}

, then P satisfies all conditions mentioned in Proposition 9. Define the relation ≤ on G by

x \leq y \Leftrightarrow y * x^{- 1} \in P

, then ≤ is a partial order on G and

(G, \leq)

is a antichain. Obviously, P is the positive cone of G with respect to this partial order ≤.

Proposition 10.

Let

(G, *)

be a po-WCNETG. Then

\forall x \in G, \forall y \in G, x \leq y

implies

y * x^{- 1} \in P_{G}

Proof.

Let

\forall x \in G, \forall y \in G

. If

x \leq y

, then

n e u t (x) = x * x^{- 1} \leq y * x^{- 1}

, hence, by Proposition 4 and Lemma 1, we have

n e u t (y * x^{- 1}) = n e u t (x^{- 1}) * n e u t (y) = n e u t (x) * n e u t (y) \leq (y * x^{- 1}) * n e u t (y) = n e u t (y) * (y * x^{- 1}) = (n e u t (y) * y) * x^{- 1} = y * x^{- 1}

. Thus,

y * x^{- 1} \in P_{G}

. □

4. Homomorphisms and Quotient Sets of po-NETGs

Definition 8.

Let

(G, *, \leq_{1})

and

(T, \cdot, \leq_{2})

be two po-NETGs. The map

f : G \to T

is called a po-NETG homomorphism of po-NETGs, if f satisfies:

\forall a \in G, \forall b \in G

(1): $f (a * b) = f (a) \cdot f (b)$ ;
(2): $a \leq_{1} b$ implies $f (a) \leq_{2} f (b) .$

Proposition 11.

Let

(G, *, \leq_{1})

and

(T, \cdot, \leq_{2})

be two po-NETGs, and let

f : G \to T

be a po-NETG homomorphism of po-NETGs. The following properties hold:

(1): $\forall a \in G$ , $f (n e u t (a)) = n e u t (f (a))$ ;
(2): $\forall a \in G$ , ${f (b) : b \in {a n t i (a)}} \subseteq {a n t i (f (a))}$ , and if f is bijective, then ${f (b) : b \in {a n t i (a)}} = {a n t i (f (a))}$ ;
(3): $\forall a \in G$ , ${[f (a)]}^{- 1} = f (a^{- 1})$ ;
(4): $\forall a \in P_{G}$ , $f (a) \in P_{T}$ ;
(5): $\forall a \in N_{G}$ , $f (a) \in N_{T}$ .

Proof.

(1): $\forall a \in G, \forall b \in {a n t i (a)}$ , since

$f (a) \cdot f (n e u t (a)) = f (a * n e u t (a)) = f (a) = f (n e u t (a) * a) = f (n e u t (a)) \cdot f (a),$

$f (a) \cdot f (b) = f (a * b) = f (n e u t (a)) = f (b * a) = f (b) \cdot f (a),$

then we obtain $f (n e u t (a)) = n e u t (f (a)) .$
(2): From the proof of (1), we can get that

$\forall a \in G, \forall b \in {a n t i (a)}, f (b) \in {a n t i (f (a))},$

and so

${f (b) : b \in {a n t i (a)}} \subseteq {a n t i (f (a))} .$

If f is bijective, then $\forall d \in {a n t i (f (a))}, \exists c \in G$ such that $f (c) = d$ . Since

$f (c * a) = f (c) \cdot f (a) = d \cdot f (a) = n e u t (f (a)) = f (n e u t (a)),$

we have $c * a = n e u t (a)$ . Similarly, we can get $a * c = n e u t (a)$ . Thus, $c \in a n t i (a)$ and so

$d = f (c) \in {f (b) : b \in {a n t i (a)}} .$

By the arbitrariness of d, we have

${a n t i (f (a))} \subseteq {f (b) : b \in {a n t i (a)}} .$

Then,

${f (b) : b \in {a n t i (a)}} = {a n t i (f (a))} .$
(3): Let $a \in G$ and $b \in {a n t i (a)}$ . By (2), $f (b) \in {a n t i (f (a))}$ . Then by (1), we have

${[f (a)]}^{- 1} = a n t i (f (a)) \cdot n e u t (f (a)) = f (b) \cdot f (n e u t (a)) = f (b * n e u t (a)) = f (a^{- 1}) .$
(4): Since $\forall a \in P_{G}, n e u t (a) \leq_{1} a$ , we have $n e u t (f (a)) = f (n e u t (a)) \leq_{2} f (a)$ , and so $f (a) \in P_{T}$ .
(5): It is similar to (4).

□

Definition 9.

Let

(G, *, \leq)

be a po-NETG and θ be an equivalence relation on G. If θ satisfies

\forall a \in G, \forall b \in G, \forall c \in G, \forall d \in G, (a, b) \in θ & (c, d) \in θ \Rightarrow (a * c, b * d) \in θ,

then θ is called a congruence on G.

Obviously,

θ_{1} = {(a, a) : a \in G}

and

θ_{2} = {(a, b) : \forall a, b \in G}

are both congruences on G, and they are called identity congruence on G and pure congruence on G, respectively.

Definition 10.

Let

(G, *, \leq)

be a po-NETG and θ be a congruence on G. A multiplication ∘ on the quotient set

G / θ = {{[a]}_{θ} : a \in G}

is defined by

{[a]}_{θ} \circ {[b]}_{θ} = {[a * b]}_{θ} .

Proposition 12.

Let a relation ⪯ on

(G / θ, \circ)

be defined by

\forall {[a]}_{θ} \in G / θ, \forall {[b]}_{θ} \in G / θ, {[a]}_{θ} ⪯ {[b]}_{θ} \Leftrightarrow a \leq b .

Then,

(G / θ, \circ, ⪯)

is a po-NETG.

Proof.

We can verify that ∘ is associative. Let

{[a]}_{θ} \in G / θ

(see Definition 10), since

{[n e u t (a)]}_{θ} \circ {[a]}_{θ} = {[n e u t (a) * a]}_{θ} = {[a]}_{θ} = {[a * n e u t (a)]}_{θ} = {[a]}_{θ} \circ {[n e u t (a)]}_{θ},

and

{[a n t i (a)]}_{θ} \circ {[a]}_{θ} = {[a n t i (a) * a]}_{θ} = {[n e u t (a)]}_{θ} = {[a * a n t i (a)]}_{θ} = {[a]}_{θ} \circ {[a n t i (a)]}_{θ},

we conclude that

(G / θ, \circ)

is a NETG, in which

\forall {[a]}_{θ} \in G / θ, n e u t ({[a]}_{θ}) = {[n e u t (a)]}_{θ}

and

{[a n t i (a)]}_{θ} \in {a n t i ({[a]}_{θ})}

. Then it is easy to see that ⪯ is a partial order on

(G / θ, \circ)

. Moreover,

\forall {[a]}_{θ} \in G / θ, \forall {[b]}_{θ} \in G / θ, \forall {[c]}_{θ} \in G / θ

, if

{[a]}_{θ} ⪯ {[b]}_{θ}

, then

a \leq b

, so we have

a * c \leq b * c

, and

c * a \leq c * b .

Thus,

{[a]}_{θ} \circ {[c]}_{θ} = {[a * c]}_{θ} ⪯ {[b * c]}_{θ} = {[b]}_{θ} \circ {[c]}_{θ}

and

{[c]}_{θ} \circ {[a]}_{θ} = {[c * a]}_{θ} ⪯ {[c * b]}_{θ} = {[c]}_{θ} \circ {[b]}_{θ} .

Thus,

(G / θ, \circ, ⪯)

is a po-NETG. □

In the following, we give an example to illustrate Proposition 12.

Example 3.

Consider the po-NETG

(G, *, \leq)

is given in Example 1. Now we define a relation θ on G by

θ = {(0, 0), (a, a), (b, b), (c, c), (1, 1), (a, b), (b, a), (a, c), (c, a), (b, c), (c, b)} .

Then we can verify that θ is a congruence on G with the following blocks:

{[0]}_{θ} = {0}, {[a]}_{θ} = {a, b, c}, {[1]}_{θ} = {1} .

So the quotient set

G / θ = {{[0]}_{θ}, {[a]}_{θ}, {[1]}_{θ}}

. By Proposition 12, we know

(G / θ, \circ, ⪯)

is a po-NETG, in which

n e u t ({[0]}_{θ}) = {[0]}_{θ}, n e u t ({[a]}_{θ}) = {[c]}_{θ} = {[a]}_{θ}, n e u t ({[1]}_{θ}) = {[1]}_{θ}

{a n t i ({[0]}_{θ})} = {{[0]}_{θ}, {[a]}_{θ}, {[1]}_{θ}}, {a n t i ({[a]}_{θ})} = {{[a]}_{θ}}, {a n t i ({[1]}_{θ})} = {{[a]}_{θ}, {[1]}_{θ}}

, and then

G / θ

is a chain, because

{[0]}_{θ} ⪯ {[a]}_{θ} ⪯ {[1]}_{θ}

Proposition 13.

Let

(G, *, \leq)

be a po-NETG and θ be a congruence on G. Then the natural mapping

♮_{θ} : (G, *, \leq) \to (G /_{θ}, \circ, ⪯)

given by

♮_{θ} (a) = {[a]}_{θ}

is a po-NETG homomorphism of po-NETGs.

Proof.

♮_{θ} (a * b) = {[a * b]}_{θ} = {[a]}_{θ} \circ {[b]}_{θ} = ♮_{θ} (a) \circ ♮_{θ} (b)

\forall a \in G, \forall b \in G .

a \leq b

, then

{[a]}_{θ} ⪯ {[b]}_{θ}

which implies

♮_{θ} (a) ⪯ ♮_{θ} (b)

. Thus, the natural mapping

♮_{θ} : (G, *, \leq) \to (G /_{θ}, \circ, ⪯)

is a po-NETG homomorphism of po-NETGs. □

Next, we give an example to explain Proposition 13.

Example 4.

From Example 3, we consider the natural mapping

♮_{θ} : (G, *, \leq) \to (G /_{θ}, \circ, ⪯)

. Thus,

♮_{θ} (0) = {[0]}_{θ}, ♮_{θ} (a) = ♮_{θ} (b) = ♮_{θ} (c) = {[a]}_{θ}, ♮_{θ} (1) = {[1]}_{θ}

. It is easy to verify that

♮_{θ}

is a po-NETG homomorphism of po-NETGs.

Proposition 14.

Let

(G, *, \leq_{1})

and

(T, \cdot, \leq_{2})

be two po-NETGs and

f : (G, *, \leq_{1}) \to (T, \cdot, \leq_{2})

be a po-NETG homomorphism of po-NETGs. We shall use the notation

K e r f = {(a, b) \in G \times G : f (a) = f (b)},

then we can get the following properties:

(1): $K e r f$ is a congruence on G;
(2): f is a injective po-NETG homomorphism of po-NETGs if and only if $k e r f$ is an identity congruence on G;
(3): There exists an injective po-NETG homomorphism of po-NETGs $g : (G / K e r f, \circ, ⪯) \to (T, \cdot, \leq_{2})$ such that $f = g \circ ♮_{K e r f}$ .

Proof.

(1): Obviously, $K e r f$ is an equivalence relation on G. Let $\forall a \in G, \forall b \in G, \forall c \in G, \forall d \in G$ , if $(a, b) \in K e r f$ and $(c, d) \in K e r f$ , then $f (a) = f (b)$ and $f (c) = f (d)$ . Since f is a po-NETG homomorphism of po-NETGs, we have $f (a * c) = f (a) \cdot f (c) = f (b) \cdot f (d) = f (b * d)$ , and so $(a * c, b * d) \in K e r f$ . Thus, $K e r f$ is a congruence on G.
(2): If f is an injective po-NETG homomorphism of po-NETGs and if $(a, b) \in k e r f$ then $f (a) = f (b) .$ Therefore, we get $a = b$ . Hence, by the arbitrariness of $(a, b)$ , we obtain $k e r f$ is an identity congruence on G.
Conversely, suppose that $k e r f$ is an identity congruence on G. $\forall a \in G, \forall b \in G$ , if $f (a) = f (b)$ , then $(a, b) \in k e r f$ , so $a = b$ . Therefore, f is an injective po-NETG homomorphism of po-NETGs.
(3): We define a map $g : G / K e r f \to T$ by $\forall {[a]}_{K e r f} \in G / K e r f, g ({[a]}_{K e r f}) = f (a)$ , then g is injective. $\forall {[a]}_{K e r f}, {[b]}_{K e r f} \in G / K e r f$ , we have $g ({[a]}_{K e r f} \circ {[b]}_{K e r f}) = g ({[a * b]}_{K e r f}) = f (a * b) = f (a) \cdot f (b) = g ({[a]}_{K e r f}) \cdot g ({[b]}_{K e r f})$ , and if ${[a]}_{K e r f} ⪯ {[b]}_{K e r f}$ , then $a \leq_{1} b$ , thus, $f (a) \leq_{2} f (b)$ , that is, $g ({[a]}_{K e r f}) \leq_{2} g ({[b]}_{K e r f})$ . Hence, g is an injective po-NETG homomorphism of po-NETGs.
$\forall a \in G, (g \circ ♮_{K e r f}) (a) = g (♮_{K e r f} (a)) = g ({[a]}_{K e r f}) = f (a)$ , that is, $f = g \circ ♮_{K e r f}$ .

□

In the following, we present an example to illustrate Proposition 14.

Example 5.

Consider

(G, *, \leq_{1})

be the po-NETG is given in Example 1, in which the partial order

\leq_{1}

is the same as the partial order ≤ in Example 1. Assume that

T = {m, n, p, q, r}

be a bounded lattice with a partial order

\leq_{2}

with the Hasse diagram shown as in Figure 2 whose multiplication · is defined as ∧.

We can verify that

(T, \cdot, \leq_{2})

is a po-NETG, in which

\forall x \in T, n e u t (x) = x

{a n t i (m)} = {m, n, p, q, r}, {a n t i (n)} = {n, q, r}, {a n t i (p)} = {p, q, r}, {a n t i (q)} = {q, r}, {a n t i (r)} = {r}

. Now, we define a map

f : G \to T

f (0) = m, f (a) = f (b) = f (c) = f (1) = r

, then f is a po-NETG homomorphism of po-NETGs, and

K e r f = {(0, 0), (a, a), (b, b), (c, c), (1, 1), (a, b), (a, c), (a, 1), (b, a), (b, c), (b, 1), (c, a), (c, b), (c, 1), (1, a), (1, b), (1, c)}

. Obviously,

K e r f

is a congruence on G. f is not injective, and of course,

k e r f

is not an identity congruence on G.

5. Conclusions

In this paper, inspired by the research work in algebraic structures equipped with a partial order, we proposed the concepts of po-NETGs, deeply studied the relationships between po-NETGs and their positive cones, and characterized the positive cone of a WCNETG after defining a partial order relation on it. Moreover, we found that the quotient set of a po-NETG can construct another po-NETG by defining a special multiplication and a partial order on the quotient set, and we also achieved the interrelation of homomorphisms and congruences of po-NETGs. All these results are useful for exploring the structure characterization (for example, category properties) of po-NETGs. As a direction of future research, we will consider the application of the fuzzy set theory and the rough set theory to the research of algebraic structure of po-NETGs. Furthermore, we will discuss the relation between the homomorphisms and congruences of po-NETG and the morphisms of ordered lattice ringoids [30]. Finally, in the next paper, we will study sub-structures of po-NETGs and we give some examples using constructions such as central extensions or direct products related to sub-structures of po-NETGs.

Author Contributions

The authors contributed equally to writing this article. All authors read and approved the final manuscript.

Funding

This work was supported by the National Natural Science Foundation of China (Grant no. 11501435) and supported by the PhD research start-up fund (Grant no. BS1529).

Acknowledgments

Authors thank the editors and the anonymous reviewers for their insightful comments which improved the quality of the paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

Dummit, D.S.; Foote, R.M. Abstract Algebra, 3rd ed.; John Viley & Sons Inc.: Hoboken, NJ, USA, 2004. [Google Scholar]
Herstein, I.N. Topics in Algebra; Xerox College Publishing: Lexington, KY, USA, 1975. [Google Scholar]
Surowski, D.B. The uniqueness aspect of the fundamental theorem of finite Abelian groups. Amer. Math. Mon. 1995, 102, 162–163. [Google Scholar] [CrossRef]
Smarandache, F. Neutrosophy, Neutrosophic Probability, Set, and Logic; American Research Press: Rehoboth, DE, USA, 1998. [Google Scholar]
Smarandache, F. Neutrosophic Set, a Generalization of the Intuitionistic fuzzy set. In Proceedings of the International Conference on Granular Computing, Atlanta, GA, USA, 10–12 May 2006; pp. 38–42. [Google Scholar]
Zadeh, L.A. Fuzzy sets. Inf. Contr. 1965, 8, 338–353. [Google Scholar] [CrossRef] [Green Version]
Atanassov, T.K. Intuitionistic fuzzy sets. Fuzzy Sets Syst. 1986, 20, 87–96. [Google Scholar] [CrossRef]
Peng, X.D.; Dai, J.G. A bibliometric analysis of neutrosophic set: two decades review from 1998 to 2017. Artif. Intell. Rev. 2018, 1–57. [Google Scholar] [CrossRef] [Green Version]
Peng, X.D.; Liu, C. Algorithms for neutrosophic soft decision making based on EDAS, new similarity measure and level soft set. J. Intell. Fuzzy Syst. 2017, 32, 955–968. [Google Scholar] [CrossRef] [Green Version]
Peng, X.D.; Dai, J.G. Approaches to single-valued neutrosophic MADM based on MABAC, TOPSIS and new similarity measure with score function. Neural Comput. Applic. 2018, 29, 939–954. [Google Scholar] [CrossRef]
Zhang, X.H.; Bo, C.X.; Smarandache, F.; Dai, J.H. New inclusion relation of neutrosophic sets with applications and related lattice structure. Int. J. Mach. Learn. Cyber. 2018, 9, 1753–1763. [Google Scholar] [CrossRef] [Green Version]
Zhang, X.H.; Bo, C.X.; Smarandache, F.; Park, C. New operations of totally dependent-neutrosophic sets and totally dependent-neutrosophic soft sets. Symmetry 2018, 10, 187. [Google Scholar] [CrossRef] [Green Version]
Smarandache, F. Neutrosophic Perspectives: Triplets, Duplets, Multisets, Hybrid Operators, Modal Logic, Hedge Algebras and Applications; Pons Publishing House: Brussels, Belgium, 2017. [Google Scholar]
Smarandache, F.; Ali, M. Neutrosophic triplet group. Neural Comput. Appl. 2018, 29, 595–601. [Google Scholar] [CrossRef] [Green Version]
Zhang, X.H.; Wu, X.Y.; Smarandache, F.; Hu, M.H. Left (right)-quasi neutrosophic triplet loops (groups) and generalized BE-algebras. Symmetry 2018, 10, 241. [Google Scholar] [CrossRef] [Green Version]
Zhang, X.H.; Hu, Q.; Smarandache, F.; An, X. On neutrosophic triplet groups: basic properties, NT-subgroups and some notes. Symmetry 2018, 10, 289. [Google Scholar] [CrossRef] [Green Version]
Zhang, X.H.; Smarandache, F.; Liang, X.L. Neutrosophic duplet semi-group and cancellable neutrosophic triplet groups. Symmetry 2017, 9, 275. [Google Scholar] [CrossRef] [Green Version]
Zhang, X.H.; Wang, X.J.; Smarandache, F.; Jaíyéolá, T.G.; Lian, T.Y. Singular neutrosophic extended triplet groups and generalized groups. Cogn. Syst. Res. 2019, 57, 32–40. [Google Scholar] [CrossRef] [Green Version]
Zhang, X.H.; Wu, X.Y.; Mao, X.Y.; Smarandache, F.; Park, C. On neutrosophic extended triplet groups (loops) and Abel-Grassmann’s groupoids (AG-groupoids). J. Intell. Fuzzy Syst. 2019, 37, 5743–5753. [Google Scholar] [CrossRef]
Ma, Y.C.; Zhang, X.H.; Yang, X.F.; Zhou, X. Generalized neutrosophic extended triplet group. Symmetry 2019, 11, 327. [Google Scholar] [CrossRef] [Green Version]
Blyth, T.S. Lattices and Ordered Algebraic Structures; Springer: Berlin, Germany, 2005. [Google Scholar]
Blyth, T.S.; Pinto, G.A. On ordered regular semigroups with biggest inverses. Semigroup Forum 1997, 54, 154–165. [Google Scholar] [CrossRef]
Certaine, J. Lattice-Ordered Groupoids and Some Related Problems. Ph.D. Thesis, Harvard University, Cambridge, MA, USA, 1945. [Google Scholar]
Darnell, M.R. Theory of Lattice-Ordered Groups; Marcel Dekker: New York, NY, USA, 1995. [Google Scholar]
Fuchs, L. Partially Ordered Algebraic Systems; Pergamon Press: Oxford, UK, 1963. [Google Scholar]
Hion, J.V. Archimedean ordered rings. Uspechi Mat. Nauk. 1954, 9, 237–242. [Google Scholar]
Xie, X.Y. Introduction to Ordered Semigroups; Science Press: Beijing, China, 2001. [Google Scholar]
Birkhoff, G. Lattice-orderd groups. Ann. Math. 1942, 43, 298–331. [Google Scholar] [CrossRef]
Howie, J.M. Fundamentals of Semigroup Theory; Oxford University Press: Oxford, UK, 1995. [Google Scholar]
Ludkowski, S.V. Skew continuous morphisms of ordered lattice ringoids. Mathematics 2016, 4, 17. [Google Scholar] [CrossRef] [Green Version]

Figure 1. Hasse diagram.

Figure 2. Hasse diagram.

Table 1. Multiplication * on G.

*	a	b	c	1
0	0	0	0	0
a	b	c	a	1
b	c	a	b	1
c	a	b	c	1
1	1	1	1	1

Table 2. Multiplication * on G.

*	a	b	c
a	a	b	c
b	b	c	a
c	c	a	b

© 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).

Share and Cite

MDPI and ACS Style

Zhou, X.; Li, P.; Smarandache, F.; Khalil, A.M. New Results on Neutrosophic Extended Triplet Groups Equipped with a Partial Order. Symmetry 2019, 11, 1514. https://doi.org/10.3390/sym11121514

AMA Style

Zhou X, Li P, Smarandache F, Khalil AM. New Results on Neutrosophic Extended Triplet Groups Equipped with a Partial Order. Symmetry. 2019; 11(12):1514. https://doi.org/10.3390/sym11121514

Chicago/Turabian Style

Zhou, Xin, Ping Li, Florentin Smarandache, and Ahmed Mostafa Khalil. 2019. "New Results on Neutrosophic Extended Triplet Groups Equipped with a Partial Order" Symmetry 11, no. 12: 1514. https://doi.org/10.3390/sym11121514

APA Style

Zhou, X., Li, P., Smarandache, F., & Khalil, A. M. (2019). New Results on Neutrosophic Extended Triplet Groups Equipped with a Partial Order. Symmetry, 11(12), 1514. https://doi.org/10.3390/sym11121514

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

Article Menu

New Results on Neutrosophic Extended Triplet Groups Equipped with a Partial Order

Abstract

1. Introduction

2. Preliminaries

3. Partially Ordered NETGs

4. Homomorphisms and Quotient Sets of po-NETGs

5. Conclusions

Author Contributions

Funding

Acknowledgments

Conflicts of Interest

References

Share and Cite

Article Metrics

Article Access Statistics

Further Information

Guidelines

MDPI Initiatives

Follow MDPI