Next Article in Journal
Confidence Intervals for Comparing the Variances of Two Independent Birnbaum–Saunders Distributions
Next Article in Special Issue
Characterizations of Γ Rings in Terms of Rough Fuzzy Ideals
Previous Article in Journal
A Feature-Based Method for Detecting Design Patterns in Source Code
Previous Article in Special Issue
Bipolar Fuzzy Set Theory Applied to the Certain Ideals in BCI-Algebras
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Groups and Structures of Commutative Semigroups in the Context of Cubic Multi-Polar Structures

by
Anas Al-Masarwah
1,*,
Mohammed Alqahtani
2 and
Majdoleen Abu Qamar
3
1
Department of Mathematics, Faculty of Science, Ajloun National University, P.O. Box 43, Ajloun 26810, Jordan
2
Department of Basic Sciences, College of Science and Theoretical Studies, Saudi Electronic University, P.O. Box 93499, Riyadh 11673, Saudi Arabia
3
Department of Mathematical Sciences, Faculty of Science and Technology, Universiti Kebangsaan Malaysia, Bangi 43600, Selangor DE, Malaysia
*
Author to whom correspondence should be addressed.
Symmetry 2022, 14(7), 1493; https://doi.org/10.3390/sym14071493
Submission received: 20 June 2022 / Revised: 14 July 2022 / Accepted: 19 July 2022 / Published: 21 July 2022
(This article belongs to the Special Issue The Study of Lattice Theory and Universal Algebra)

Abstract

:
In recent years, the m-polar fuzziness structure and the cubic structure have piqued the interest of researchers and have been commonly implemented in algebraic structures like groupoids, semigroups, groups, rings and lattices. The cubic m-polar ( C m P ) structure is a generalization of m-polar fuzziness and cubic structures. The intent of this research is to extend the C m P structures to the theory of groups and semigroups. In the present research, we preface the concept of the C m P groups and probe many of its characteristics. This concept allows the membership grade and non-membership grade sequence to have a set of m-tuple interval-valued real values and a set of m-tuple real values between zero and one. This new notation of group (semigroup) serves as a bridge among C m P structure, classical set and group (semigroup) theory and also shows the effect of the C m P structure on a group (semigroup) structure. Moreover, we derive some fundamental properties of C m P groups and support them by illustrative examples. Lastly, we vividly construct semigroup and groupoid structures by providing binary operations for the C m P structure and provide some dominant properties of these structures.

1. Introduction

An algebraic (system) structure is a random set with one or more finitary operations defined in it. Algebraic structures include a wide range of structures such as semigroups, groups, rings, fields, vector spaces, lattices, categories and so on. In mathematics, the theory of groups is one of the most critical aspects of algebra. This theory provides a useful framework for analyzing an element that appears in the symmetric form. Group theory is inextricably linked to symmetry in some areas of science such as geometry and chemistry. In some areas of chemistry, it is an essential tool to classify and study the symmetries of atoms, molecules, crystal structure and regular polyhedral structure (see [1,2]). Semigroup theory, a new algebraic structure, is a thriving branch of modern algebra and it is a generalization of a group because a semigroup is a non-empty set together with an associative binary operation and need not have an element which has an inverse. Algebraic structures have been used in numerous domains; in particular, a semigroup is utilized in the theory of automata, network analogy, formal languages and so on.
There are numerous things inherently ambiguous, uncertain and inaccurate in the real world, and these things cannot be dealt with effectively using mathematical techniques that are traditionally used to deal with vagueness and uncertainties. However, one can use a wider range of pioneering theories, such as the theory of fuzzy structures ( FS s ) [3], the theory of bipolar fuzzy ( BF ) structures [4], the theory of interval-valued fuzzy ( IVF ) structures [5] and the theory of cubic structures ( CS s ) [6] for dealing with vagueness and uncertainties. Zadeh [3] demonstrated the concept of FS s in 1965 as an essential mathematical structure to characterize and assemble the objects/elements whose boundary is ambiguous. This concept permits the membership degree ( MD ) of a crisp object/element over the interval I = [ 0 , 1 ] ; that is, every crisp object/element assigns a degree of membership. FS s have grown stupendously over the years, giving rise to the idea of fuzzy groups proposed in [7]. After that, this concept was extended to many hybrid structures such as the IVF structure which permits the MD and non-membership degree ( N MD ) of a crisp object/element over the interval [ 0 , 1 ] and CS combined with IVF structure and FS , which permits the MD and N MD of a crisp object/element over the intervals [ I ] = [ [ 0 , 1 ] ] and I = [ 0 , 1 ] , respectively. As a new hybrid structure of FS s , the theory of bipolar and intuitionistic fuzzy structures is well known and is propounded by Zhang [4] and Atanassov [8], respectively. In [4], Zhang used a grade of membership which is a positive fuzzy value and a grade of non-membership which is a negative fuzzy value for each ordinary object. In [8], Atanassov used a grade of membership and a grade of non-membership for each ordinary object, where the sum of them is less than or equal to one. After that, these hybrid aspects of FS s were connected to algebraic structures, especially in group theory (see [9,10,11]). For more information about hybrid fuzziness structures, see [12].
In 2014, Chen and co-workers [13] presented the conceptualization of m-polar fuzzy ( m PF ) structures by using a grade of membership which is an m-tuple fuzzy value for each object. This concept stems from ordinary sets and FS s , and it is one of the most popular extensions of BF structures. The notions of FS s and BF structures are specific cases of the notion of m PF structure; thus, an m PF structure differs from a FS and a BF structure in the sense that each object contains m-components. Following the introduction of the m PF structure by Chen and co-workers [13], a lot of publications on generalizations of m PF structures were conducted, for instance, polarity of generalized neutrosophic sets [14], polarity of IVF structures [15] and polarity of intuitionistic (spherical) fuzzy structures [16,17].
Following the generalization of m PF structures, numerous mathematicians used the concept of generalized m PF structures in a wide range of scientific and technological fields. In group theory, the m PF group was first implemented by Farooq and co-workers [18]. They proposed the notion of the m PF subgroup and described the concepts of the m PF coset and the m PF quotient subgroup. In addition, the m PF structure was studied by Al-Masarwah and Ahmad [19,20] in BCK and BCI algebras, Sarwar and Akram [21] in matroid theory, and Akram and Shahzadi [22] in Hypergraphs. In polarity of hybrid fuzziness structures, Kang et al. [16], Muhiuddin and Al-Kadi [23], Dogra and Pal [24] and Borzooei et al. [14] applied multipolar intuitionistic fuzzy structures, multipolar IVF structures, picture m PF structures and multipolar generalized neutrosophic structures, respectively, to BCK and BCI algebras. Uluçay and Ṣahin [25] constructed a bridge among neutrosophic multiset theory, classical set theory and classical group theory. They demonstrated the effect of neutrosophic multisets on a group structure. Basumatary et al. [26] studied and discussed several results in neutrosophic multi-topological group theory. In addition, many researchers studied some real-life applications based on polarity of hybrid fuzziness structures such as Siraj et al. [27], Akram et al. [28,29] and Hashmi et al. [30].
As a combination between CS and m PF structure and to solve various complex and uncertain problems, Riaz and Hashmi [31] in 2019 propounded the theory of the C m P structure by using a grade of N MD which is a multi-fuzzy value and a grade of MD which is a multi-fuzzy interval value for each ordinary object. This notion manipulates not only multi-attributed information but also cubic information. After that, Garg et al. [32] presented some new laws and produced some results concerning the C m P structure. In real-life issues, they applied the concept of the C m P structure in medical diagnosis and pattern recognition. In [33,34], Riaz et al. studied the topological structures and some real-life applications based on the C m P structure. In the context of graph theory, Muhiuddin and co-workers [35] initiated and studied the polarity of cubic graphs. Al-Masarwah and Alshehri [36] for the first time applied the theory of the C m P structure to algebraic structures, especially B C K / B C I algebras. They originated the concepts of C m P subalgebras and C m P (closed) ideals and discussed many dominant properties of these concepts. Moreover, they established the C m P extension property for a C m P ideal. By extending the works of [11,18] and inspired by the above works, the idea of the C m P groups is presented by combining the notions of m PF groups and cubic groups, and characterizations of them according to the properties of C m P structures are provided in this present article. Figure 1 depicts a novel hybrid extension of cubic groups and m PF groups known as C m P groups to demonstrate the novelty of this extended algebraic structure.
This work is the first attempt to investigate and utilize the C m P structures in group theory. The proposed work is arranged as follows. In Section 2, some key principles with respect to groups and C m P structures are given to understand the proposed work. In Section 3, we preface the idea of the C m P groups and probe many of its characteristics. In this regard, we show the effect of C m P structures on a group theory. Then, we derive some fundamental results of C m P groups and support them by illustrative examples. In Section 4, we vividly construct semigroup and groupoid structures by providing binary operations for the C m P structure and provide some dominant properties of these structures. Finally, the conclusion and some potential future studies of this work are offered in Section 5.
Table 1 contains a list of acronyms used in the study article.

2. Basic Definitions

In this segment, we review some key notions for each area, i.e., m PF structure [13], CS [6], IVF structure [5] and C m P structure [31]. In what follows, let I be the interval [ 0 , 1 ] .
A groupoid consists of a non-empty set equipped with a binary operation. A semigroup is an associative groupoid A , i.e., ( y r ) s = y ( r s ) for all y , r , s A . A monoid is a semigroup B with a neutral element e B that has the property e y = y e = y for all y B . A group is a monoid G such that for all y G there exists an inverse y 1 such that y 1 y = y y 1 = e .
An interval number o ˜ is defined as [ o , o + ] , where 0 o o + 1 . The set of all intervals is symbolized by [ I ] . The interval [ o , o ] is indicated by the number o I in what follows. For the interval numbers o l ˜ = [ o l , o l + ] , ε l ˜ = [ ε l , ε l + ] [ I ] , where l Δ . We describe
  • o l ˜ ¯ ε l ˜ = [ o l ε l , o l + ε l + ] ,
  • o l ˜ ¯ ε l ˜ = [ o l ε l , o l + ε l + ] ,
  • o 1 ˜ o 2 ˜ o 1 o 2 and o 1 + o 2 + ,
  • o 1 ˜ = o 2 ˜ o 1 = o 2 and o 1 + = o 2 + .
To say that o 1 ˜ o 2 ˜ (resp. o 1 ˜ o 2 ˜ ) , we mean o 1 ˜ o 2 ˜ and o 1 ˜ o 2 ˜ (resp. o 1 ˜ o 2 ˜ and o 1 ˜ o 2 ˜ ) .
Definition 1
([5]). An IVF structure ξ ˜ of G ( ϕ ) is a mapping
ξ ˜ : G [ I ]
defined as
ξ ˜ = { y , ξ + ( y ) , ξ ( y ) y G } ,
where ξ + : G I and ξ : G I are FS s on G .
Definition 2
([6]). A CS of G ( ϕ ) is a mapping
C ( ξ ˜ , ζ ) : G [ I ] × I
defined as
C ( ξ ˜ , ζ ) = { y , ξ ˜ ( y ) , ζ ( y ) y G } ,
where ξ ˜ : G [ I ] is an IVF structure on G and ζ : G I is a FS on G .
Definition 3
([13]). An m PF structure (or an I m structure) of G ( ϕ ) is a mapping
C ˜ ζ ˜ m : G I m
defined as
C ˜ ζ ˜ m = y , ζ ˜ ( j ) ( y ) y G and j { 1 , 2 , , m } ,
where for j { 1 , 2 , , m } ,   ζ ˜ ( j ) : G I m is the j-th projection mapping.
As a connection between an m PF structure and a group theory, the idea of an m PF group was first implemented by Farooq and co-workers [18] as follows:
Definition 4.
An m PF structure C ˜ ζ ˜ m is called an m PF group of G if for all y , z G ,
(1) 
ζ ˜ ( j ) ( y z ) ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( z ) ,
(2) 
ζ ˜ ( j ) ( y 1 ) ζ ˜ ( j ) ( y ) ,
for all j { 1 , 2 , , m } .
As a combination between a CS and an m PF structure, Riaz and Hashmi [31] propounded the theory of C m P structure as follows:
Definition 5.
A C m P structure of G ( ϕ ) is a mapping
Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m : G [ I ] m × I m
defined as
Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m = y , ( ξ ˜ ˜ ( j ) ( y ) , ζ ˜ ( j ) ( y ) ) y G a n d j { 1 , 2 , , m } ,
where for j { 1 , 2 , , m } ,   ξ ˜ ˜ ( j ) : G [ I ] m and ζ ˜ ( j ) : G I m are the j-th projection mappings.
That is,
Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m = y , ( [ ξ ˜ ( j ) ( y ) , ξ ˜ ( + j ) ( y ) ] , ζ ˜ ( j ) ( y ) ) y G a n d j { 1 , 2 , , m } ,
where ξ ˜ ( j ) , ξ ˜ ( + j ) and ζ ˜ ( j ) are FS s of G with ξ ˜ ( j ) ξ ˜ ( + j ) for all j { 1 , 2 , , m } .
Definition 6
([31]). Let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m and Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m be two C m P structures over G . Then the equal operation for these structures is defined as follows: Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m = Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m ξ ˜ ˜ ( y ) = γ ˜ ˜ ( y ) and ζ ˜ ( y ) = δ ˜ ( y ) for all y G .
That is, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m = Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m ξ ˜ ( j ) ( y ) = γ ˜ ( j ) ( y ) , ξ ˜ ( + j ) ( y ) = γ ˜ ( + j ) ( y ) and ζ ˜ ( j ) ( y ) = δ ˜ ( j ) ( y ) for all y G for all j { 1 , 2 , , m } and y G .
Definition 7
([31]). Let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m and Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m be two C m P structures over G . Then the subset for these structures under P-ordering and R-ordering operations, respectively, is defined as follows:
(1) 
Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m ˜ P Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m ξ ˜ ˜ ( y ) γ ˜ ˜ ( y ) and ζ ˜ ( y ) δ ˜ ( y ) for all y G .
That is, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m ˜ P Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m ξ ˜ ( j ) ( y ) γ ˜ ( j ) ( y ) , ξ ˜ ( + j ) ( y ) γ ˜ ( + j ) ( y ) and ζ ˜ ( j ) ( y ) δ ˜ ( j ) ( y ) for all j { 1 , 2 , , m } and y G .
(2) 
Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m ˜ R Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m ξ ˜ ˜ ( y ) γ ˜ ˜ ( y ) and ζ ˜ ( y ) δ ˜ ( y ) for all y G .
That is, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m ˜ P Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m ξ ˜ ( j ) ( y ) γ ˜ ( j ) ( y ) , ξ ˜ ( + j ) ( y ) γ ˜ ( + j ) ( y ) and ζ ˜ ( j ) ( y ) δ ˜ ( j ) ( y ) for all j { 1 , 2 , , m } and y G .

3. Cubic m-Polar Groups

In this segment, we initiate C m P groups and normal C m P subgroups, and investigate their fundamental properties. Throughout this article, let ( G , ) be a group with the identity element “e” and a binary operation “⋄”. Here, y 1 is the inverse of y G , and we use y z instead of y z y , z G .
Definition 8.
Let G be a group and let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m be a C m P structure. Then, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m is a C m P groupoid over G if for all y , z G ,
(1) 
ξ ˜ ˜ ( j ) ( y z ) ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( z ) ,
(2) 
ζ ˜ ( j ) ( y z ) ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( z )
for all j { 1 , 2 , , m } .
A C m P structure Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m is a C m P group over G if the C m P groupoid satisfies:
(1) 
ξ ˜ ˜ ( j ) ( y 1 ) ξ ˜ ˜ ( j ) ( y ) ,
(2) 
ζ ˜ ( j ) ( y 1 ) ζ ˜ ( j ) ( y )
for all y G and j { 1 , 2 , , m } .
Example 1.
Let ( Z 3 , + 3 ) be a group and Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 : Z 3 [ I ] 3 × I 3 be a C 3 P structure over Z 3 defined by:
Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 = 0 , ( [ 0.8 , 0.9 ] , 0.2 ) , ( [ 0.7 , 0.8 ] , 0.3 ) , ( [ 0.6 , 0.7 ] , 0.4 ) , 1 , ( [ 0.7 , 0.9 ] , 0.3 ) , ( [ 0.6 , 0.8 ] , 0.4 ) , ( [ 0.4 , 0.6 ] , 0.5 ) , 2 , ( [ 0.7 , 0.9 ] , 0.3 ) , ( [ 0.6 , 0.8 ] , 0.4 ) , ( [ 0.4 , 0.6 ] , 0.5 ) .
It is not difficult to demonstrate that Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 is a C 3 P group over Z 3 . However, the C 3 P structure
Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 3 = 0 , ( [ 0.6 , 0.8 ] , 0.4 ) , ( [ 0.7 , 0.8 ] , 0.3 ) , ( [ 0.6 , 0.7 ] , 0.4 ) , 1 , ( [ 0.7 , 0.9 ] , 0.3 ) , ( [ 0.6 , 0.8 ] , 0.4 ) , ( [ 0.4 , 0.6 ] , 0.5 ) , 2 , ( [ 0.7 , 0.9 ] , 0.3 ) , ( [ 0.6 , 0.8 ] , 0.4 ) , ( [ 0.4 , 0.6 ] , 0.5 ) .
is not a C 3 P group of Z 3 , since γ ˜ ˜ ( 1 ) ( 0 ) = γ ˜ ˜ ( 1 ) ( 1 + 2 ) = [ 0.6 , 0.8 ] [ 0.7 , 0.9 ] = γ ˜ ˜ ( 1 ) ( 1 ) ¯ γ ˜ ˜ ( 1 ) ( 2 ) and δ ˜ ( 1 ) ( 0 ) = δ ˜ ( 1 ) ( 1 + 2 ) = 0.4 0.3 = δ ˜ ( 1 ) ( 1 ) δ ˜ ( 1 ) ( 2 ) .
Definition 8 and Example 1 illustrate that a C m P group is an extension case of a cubic group and an m PF group.
Next, we define the inverse of a C m P group over G .
Definition 9.
Let G be a group and let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m be a C m P structure. Then, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m 1 is defined as:
Ξ ( ξ ˜ ˜ , ζ ˜ ) m 1 = y , ( ξ ˜ ˜ ( j ) 1 ( y ) , ζ ˜ ( j ) 1 ( y ) ) y G and j { 1 , 2 , , m } ,
where
ξ ˜ ˜ ( j ) 1 ( y ) = ξ ˜ ˜ ( j ) ( y 1 ) = [ ξ ˜ ( j ) ( y 1 ) , ξ ˜ ( + j ) ( y 1 ) ]
and
ζ ˜ ( j ) 1 ( y ) = ζ ˜ ( j ) ( y 1 )
for all y G and j { 1 , 2 , , m } . Here, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m 1 is the inverse of Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m over G .
The next theorem suggests the necessary and sufficient condition under which the inverse of the C m P group will be a C m P group.
Theorem 1.
Let G be a group. A C m P structure Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m over G is a C m P group if and only if Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m 1 is a C m P group over G .
Proof. 
Let y , z G and Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m be a C m P group over G . Then,
ξ ˜ ˜ ( j ) 1 ( y z ) = ξ ˜ ˜ ( j ) ( ( y z ) 1 ) = ξ ˜ ˜ ( j ) ( z 1 y 1 ) ξ ˜ ˜ ( j ) ( z 1 ) ¯ ξ ˜ ˜ ( j ) ( y 1 ) = ξ ˜ ˜ ( j ) 1 ( z ) ¯ ξ ˜ ˜ ( j ) 1 ( y )
and
ζ ˜ ( j ) 1 ( y z ) = ζ ˜ ( j ) ( ( y z ) 1 ) = ζ ˜ ( j ) ( z 1 y 1 ) ζ ˜ ( j ) ( z 1 ) ζ ˜ ( j ) ( y 1 ) = ζ ˜ ( j ) 1 ( z ) ζ ˜ ( j ) 1 ( y ) .
Moreover,
ξ ˜ ˜ ( j ) 1 ( y 1 ) = ξ ˜ ˜ ( j ) ( ( y 1 ) 1 ) ξ ˜ ˜ ( j ) ( y 1 ) = ξ ˜ ˜ ( j ) 1 ( y )
and
ζ ˜ ( j ) 1 ( y 1 ) = ζ ˜ ( j ) ( ( y 1 ) 1 ) ζ ˜ ( j ) ( y 1 ) = ζ ˜ ( j ) 1 ( y )
for all y , z G and j { 1 , 2 , , m } . Thus, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m 1 is a C m P group over G .
Conversely, let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m 1 be a C m P group over G . Then,
ξ ˜ ˜ ( j ) ( y z ) = ξ ˜ ˜ ( j ) ( ( ( y z ) 1 ) 1 ) = ξ ˜ ˜ ( j ) 1 ( ( y z ) 1 ) = ξ ˜ ˜ ( j ) 1 ( z 1 y 1 ) ξ ˜ ˜ ( j ) 1 ( z 1 ) ¯ ξ ˜ ˜ ( j ) 1 ( y 1 ) = ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( z )
and
ζ ˜ ( j ) ( y z ) = ζ ˜ ( j ) ( ( ( y z ) 1 ) 1 ) = ζ ˜ ( j ) 1 ( ( y z ) 1 ) = ζ ˜ ( j ) 1 ( z 1 y 1 ) ζ ˜ ( j ) 1 ( z 1 ) ζ ˜ ( j ) 1 ( y 1 ) = ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( z ) .
Moreover,
ξ ˜ ˜ ( j ) ( y 1 ) = ξ ˜ ˜ ( j ) 1 ( y ) = ξ ˜ ˜ ( j ) 1 ( ( y 1 ) 1 ) ξ ˜ ˜ ( j ) 1 ( y 1 ) ξ ˜ ˜ ( j ) ( y )
and
ζ ˜ ( j ) ( y 1 ) = ζ ˜ ( j ) 1 ( y ) = ζ ˜ ( j ) 1 ( ( y 1 ) 1 ) ζ ˜ ( j ) 1 ( y 1 ) ζ ˜ ( j ) ( y )
for all y , z G and j { 1 , 2 , , m } . Hence, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m is a C m P group over G .     □
Theorem 2.
Let G be a group and Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m be a C m P group. Then,
(i) 
ξ ˜ ˜ ( j ) ( e ) ξ ˜ ˜ ( j ) ( y ) and ζ ˜ ( j ) ( e ) ζ ˜ ( j ) ( y )   y G and j { 1 , 2 , , m } .
(ii) 
ξ ˜ ˜ ( j ) ( y 1 ) = ξ ˜ ˜ ( j ) ( y ) and ζ ˜ ( j ) ( y 1 ) = ζ ˜ ( j ) ( y )   y G and j { 1 , 2 , , m } .
Proof. 
(i) Since Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m is a C m P group over G , then
ξ ˜ ˜ ( j ) ( e ) = ξ ˜ ˜ ( j ) ( y y 1 ) ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( y 1 ) ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( y ) = ξ ˜ ˜ ( j ) ( y )
and
ζ ˜ ( j ) ( e ) = ζ ˜ ( j ) ( y y 1 ) ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( y 1 ) ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( y ) = ζ ˜ ( j ) ( y )
for all y G and j { 1 , 2 , , m } .
(ii) Since Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m is a C m P group over G , therefore ξ ˜ ˜ ( j ) ( y 1 ) ξ ˜ ˜ ( j ) ( y ) and ζ ˜ ( j ) ( y 1 ) ζ ˜ ( j ) ( y ) for all y G and j { 1 , 2 , , m } . Replacing y by y 1 , it is obtained that ξ ˜ ˜ ( j ) ( y ) ξ ˜ ˜ ( j ) ( y 1 ) and ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( y 1 ) for all y G and j { 1 , 2 , , m } . Thus, ξ ˜ ˜ ( j ) ( y 1 ) = ξ ˜ ˜ ( j ) ( y ) and ζ ˜ ( j ) ( y 1 ) ζ ˜ ( j ) ( y )   y G and j { 1 , 2 , , m } .     □
Theorem 3.
Let G be a group and let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m be a C m P structure of G . If Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m is a C m P group, then ξ ˜ ˜ ( j ) ( y n ) ξ ˜ ˜ ( j ) ( y ) and ζ ˜ ( j ) ( y n ) ζ ˜ ( j ) ( y ) for all y G and j { 1 , 2 , , m } .
Proof. 
Since Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m is a C m P group over G , then
ξ ˜ ˜ ( j ) ( y n ) ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( y n 1 ) ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( y ) ¯ ¯ ξ ˜ ˜ ( j ) ( y ) = ξ ˜ ˜ ( j ) ( y )
and
ζ ˜ ( j ) ( y n ) ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( y n 1 ) ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( y ) = ζ ˜ ( j ) ( y )
for all y G and j { 1 , 2 , , m } .     □
The next Theorem suggests the necessary and sufficient condition under which a C m P structure will be a C m P group.
Theorem 4.
Let G be a group and let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m be a C m P structure of G . Then, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m is a C m P group if and only if ξ ˜ ˜ ( j ) ( y z 1 ) ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( z ) and ζ ˜ ( j ) ( y z 1 ) ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( y ) for all y , z G and j { 1 , 2 , , m } .
Proof. 
Since Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m is a C m P group over G , therefore
ξ ˜ ˜ ( j ) ( y z 1 ) ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( z 1 ) ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( z )
and
ζ ˜ ( j ) ( y z 1 ) ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( z 1 ) ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( z )
for all y G and j { 1 , 2 , , m } .
Conversely, assume the given conditions are satisfied. Then,
ξ ˜ ˜ ( j ) ( y 1 ) = ξ ˜ ˜ ( j ) ( e y 1 ) ξ ˜ ˜ ( j ) ( e ) ¯ ξ ˜ ˜ ( j ) ( y ) = ξ ˜ ˜ ( j ) ( y )
and
ζ ˜ ( j ) ( y 1 ) = ζ ˜ ( j ) ( e y 1 ) ζ ˜ ( j ) ( e ) ζ ˜ ( j ) ( y ) = ζ ˜ ( j ) ( y )
for all y G and j { 1 , 2 , , m } . Moreover,
ξ ˜ ˜ ( j ) ( y z ) = ξ ˜ ˜ ( j ) ( y ( z 1 ) 1 ) ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( z 1 ) ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( z )
and
ζ ˜ ( j ) ( y z ) = ζ ˜ ( j ) ( y ( z 1 ) 1 ) ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( z 1 ) ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( z )
for all y , z G and j { 1 , 2 , , m } . Hence, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m is a C m P group of G .     □
Theorem 5.
Let G be a group and Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m be a C m P group. Then, the following are equivalent for all y , z G and j { 1 , 2 , , m } ,
(i) 
ξ ˜ ˜ ( j ) ( y z ) = ξ ˜ ˜ ( j ) ( z y ) and ζ ˜ ( j ) ( y z ) = ζ ˜ ( j ) ( z y ) .
(ii) 
ξ ˜ ˜ ( j ) ( y z y 1 ) = ξ ˜ ˜ ( j ) ( z ) and ζ ˜ ( j ) ( y z y 1 ) = ζ ˜ ( j ) ( z ) .
(iii) 
ξ ˜ ˜ ( j ) ( y z y 1 ) ξ ˜ ˜ ( j ) ( z ) and ζ ˜ ( j ) ( y z y 1 ) ζ ˜ ( j ) ( z ) .
(iv) 
ξ ˜ ˜ ( j ) ( y z y 1 ) ξ ˜ ˜ ( j ) ( z ) and ζ ˜ ( j ) ( y z y 1 ) ζ ˜ ( j ) ( z ) .
Proof. 
Let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m be a C m P group and y , z G . Then, for all j { 1 , 2 , , m } , we have
  • ( i ) ( i i ) :
    ξ ˜ ˜ ( j ) ( y z y 1 ) = ξ ˜ ˜ ( j ) ( y 1 y z ) = ξ ˜ ˜ ( j ) ( z ) and ζ ˜ ( j ) ( y z y 1 ) = ζ ˜ ( j ) ( y 1 y z ) = ζ ˜ ( j ) ( z ) .
    Thus, condition ( i i ) holds.
  • ( i i ) ( i i i ) : Immediate.
  • ( i i i ) ( i v ) :
    ξ ˜ ˜ ( j ) ( y z y 1 ) ξ ˜ ˜ ( j ) ( y 1 y z ( y 1 ) 1 ) = ξ ˜ ˜ ( j ) ( z ) and ζ ˜ ( j ) ( y z y 1 ) ζ ˜ ( j ) ( y 1 y z ( y 1 ) 1 ) = ζ ˜ ( j ) ( z ) .
    Therefore, condition ( i i i ) holds.
  • ( i v ) ( i ) :
    ξ ˜ ˜ ( j ) ( y z ) = ξ ˜ ˜ ( j ) ( y z y y 1 ) ξ ˜ ˜ ( j ) ( z y ) and ζ ˜ ( j ) ( y z ) ζ ˜ ( j ) ( y z y y 1 ) = ζ ˜ ( j ) ( z y ) .
    Hence, condition ( i ) holds.
    □
Definition 10.
Let H be a subgroup of a group G . Let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m and Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m be two C m P structures of G and H , respectively, such that Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m ˜ P (resp., ˜ R ) Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m . If Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m is itself a C m P group of H , then Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m is a C m P subgroup of Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m over G and denoted by Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m .
Example 2.
Let us assume the group ( Z 3 , + 3 ) and a C 3 P structure Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 given in Example 1. Define a C 3 P structure Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 3 over ( Z 3 , + 3 ) by:
Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 3 = 0 , ( [ 0.6 , 0.7 ] , 0.1 ) , ( [ 0.5 , 0.6 ] , 0.2 ) , ( [ 0.4 , 0.5 ] , 0.3 ) , 1 , ( [ 0.5 , 0.7 ] , 0.2 ) , ( [ 0.4 , 0.6 ] , 0.3 ) , ( [ 0.2 , 0.4 ] , 0.4 ) , 2 , ( [ 0.5 , 0.7 ] , 0.2 ) , ( [ 0.4 , 0.6 ] , 0.3 ) , ( [ 0.2 , 0.4 ] , 0.4 ) .
It is clear that Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 3 ˜ P   Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 and Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 3 itself is a C 3 P group over Z 3 . Thus, Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 3 is a C 3 P subgroup of Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 over Z 3 , and denoted by Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 3 Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 .
From Definition 10 and Example 2, it is clear that a C m P subgroup is itself a C m P group over G .
Definition 11.
Let G be a group, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m be a C m P group over G and Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m be a C m P subgroup of Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m over G . Then, Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m is called a normal C m P subgroup of Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m , denoted by Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m ˜ Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m if
γ ˜ ˜ ( j ) ( y z ) = γ ˜ ˜ ( j ) ( z y ) a n d δ ˜ ( j ) ( y z ) = δ ˜ ( j ) ( z y )
for all y , z G and j { 1 , 2 , , m } .
Example 3.
Let ( S 3 , ) be a symmetric group, where S 3 = { e , ( 12 ) , ( 13 ) , ( 23 ) , ( 123 ) , ( 132 ) } and Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 : S 3 [ I ] 3 × I 3 be a C 3 P structure over S 3 defined by:
Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 ( y ) = ( [ 0.7 , 0.9 ] , 0.2 ) , ( [ 0.5 , 0.7 ] , 0.2 ) , ( [ 0.6 , 0.8 ] , 0.2 ) , y A 1 , ( [ 0.4 , 0.6 ] , 0.6 ) , ( [ 0.3 , 0.5 ] , 0.6 ) , ( [ 0.4 , 0.6 ] , 0.6 ) , y A 2 , ( [ 0.6 , 0.8 ] , 0.3 ) , ( [ 0.5 , 0.7 ] , 0.3 ) , ( [ 0.6 , 0.8 ] , 0.3 ) , y A 3 ,
where A 1 = { e } , A 2 = { ( 12 ) , ( 13 ) , ( 23 ) } and A 3 = { ( 123 ) , ( 132 ) } . Then, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 is a C 3 P group of S 3 . Since γ ˜ ˜ ( j ) ( y z ) = γ ˜ ˜ ( j ) ( z y ) and δ ˜ ( j ) ( y z ) = δ ˜ ( j ) ( z y ) for all y , z G and j { 1 , 2 , , m } , then Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 is a C 3 P normal subgroup over S 3 .
Remark 1.
Let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m be a C m P group over G and Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m be a C m P subgroup of Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m over G . If G is abelian group, then Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m is a normal C m P subgroup of Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m over G .
Example 4.
Let us consider the C 3 P group Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 over Z 3 in Example 1. Since Z 3 is an abelian group, then Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 is a normal C 3 P subgroup over Z 3 .
Theorem 6.
Let Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m be a normal C m P subgroup of G . Then, the conditions (1) and ( H ) are equivalent, where
( H )   γ ˜ ˜ ( j ) ( y z y 1 ) = γ ˜ ˜ ( j ) ( z ) a n d δ ˜ ( j ) ( y z y 1 ) = δ ˜ ( j ) ( z )
for all y . z G and j { 1 , 2 , , m } .
Proof. 
Let Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m be a normal C m P subgroup of G . Taking z y 1 instead of z in (1) and by Theorem 5 (ii), we have
γ ˜ ˜ ( j ) ( y z y 1 ) = γ ˜ ˜ ( j ) ( z ) and δ ˜ ( j ) ( y z y 1 ) = δ ˜ ( j ) ( z )
for all y , z G and j { 1 , 2 , , m } .
Conversely, assume that condition ( H ) holds. Taking z y instead of z in (H), then condition (1) is shown easily.    □
Definition 12.
Let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m be any C m P structure over G , [ ρ , τ ] ˜ [ I ] m and σ ˜ I m . Define the [ ρ , τ ] ˜ -level and σ ˜ -level of Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m as follows:
ξ ˜ ˜ ( [ ρ , τ ] ˜ = y G ξ ˜ ˜ ( y ) [ ρ , τ ] ˜ a n d ζ ˜ σ ˜ = y G ζ ˜ ( y ) σ ˜ .
That is,
ξ ˜ ˜ ( [ ρ , τ ] ˜ = y G ξ ˜ ˜ ( j ) ( y ) [ ρ j , τ j ] a n d ζ ˜ σ ˜ = y G ζ ˜ ( j ) ( y ) σ j ,
where [ ρ j , τ j ] [ I ] and σ j I for each j { 1 , 2 , , m } .
The following theorem reflects on [ ρ , τ ] ˜ -level and σ ˜ -level of a C m P structure Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m . It actually tells about the condition imposed on [ ρ , τ ] ˜ -level and σ ˜ -level of a C m P structure under which a C m P structure will be a C m P group.
Theorem 7.
Let G be a group and Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m be a C m P structure over G . Then, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m is a C m P group if [ ρ , τ ] ˜ -level, ξ ˜ ˜ ( [ ρ , τ ] ˜ and σ ˜ -level, ζ ˜ σ ˜ are crisp subgroups of G .
Proof. 
Let y , z G , with [ ρ j , τ j ] = ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( z ) and σ j = ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( z ) for all j { 1 , 2 , , m } . Then, [ ρ j , τ j ] [ I ] and σ j I . It is observed that
ξ ˜ ˜ ( j ) ( y ) [ ρ j , τ j ] = ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( z ) ζ ˜ ( j ) ( y ) σ j = ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( z )
for all j { 1 , 2 , , m } . Moreover,
ξ ˜ ˜ ( j ) ( z ) [ ρ j , τ j ] = ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( z ) ζ ˜ ( j ) ( z ) σ j = ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( z )
for all j { 1 , 2 , , m } . Thus,
ξ ˜ ˜ ( j ) ( y ) [ ρ j , τ j ] , ζ ˜ ( j ) ( y ) σ j , ξ ˜ ˜ ( j ) ( z ) [ ρ j , τ j ] , ζ ˜ ( j ) ( z ) σ j .
It follows that y , z ξ ˜ ˜ [ ρ , τ ] ˜ and y , z ζ ˜ σ ˜ . Since ξ ˜ ˜ [ ρ , τ ] ˜ and ζ ˜ σ ˜ are crisp subgroups of G , then y z 1 ξ ˜ ˜ [ ρ , τ ] ˜ and y z 1 ζ ˜ σ ˜ . Therefore,
ξ ˜ ˜ ( j ) ( y z 1 ) [ ρ j , τ j ] = ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( z ) ζ ˜ ( j ) ( y z 1 ) σ j = ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( z )
for all j { 1 , 2 , , m } . Since y , z are arbitrary elements of G , then ξ ˜ ˜ ( j ) ( y z 1 ) ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( z ) and ζ ˜ ( j ) ( y z 1 ) ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( z ) . Thus, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m is a C m P group of G .     □
Theorem 8.
Let G be a group and Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m be a C m P group of G . Then, the nonempty set
Ω = { y G ξ ˜ ˜ ( j ) ( y ) = ξ ˜ ˜ ( j ) ( e ) , ζ ˜ ( j ) ( y ) = ζ ˜ ( j ) ( e ) j { 1 , 2 , , m } }
forms a crisp subgroup of G .
Proof. 
Let y , z Ω . Then, ξ ˜ ˜ ( j ) ( y ) = ξ ˜ ˜ ( j ) ( e ) , ξ ˜ ˜ ( j ) ( z ) = ξ ˜ ˜ ( j ) ( e ) , ζ ˜ ( j ) ( y ) = ζ ˜ ( j ) ( e ) and ζ ˜ ( j ) ( z ) = ζ ˜ ( j ) ( e ) for all j { 1 , 2 , , m } . It follows that
ξ ˜ ˜ ( j ) ( y z 1 ) ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( z 1 ) = ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( z ) = ξ ˜ ˜ ( j ) ( e ) ¯ ξ ˜ ˜ ( j ) ( e ) = ξ ˜ ˜ ( j ) ( e )
and
ζ ˜ ( j ) ( y z 1 ) ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( z 1 ) = ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( z ) = ζ ˜ ( j ) ( e ) ζ ˜ ( j ) ( e ) = ζ ˜ ( j ) ( e )
for all j { 1 , 2 , , m } . Since ξ ˜ ˜ ( j ) ( y z 1 ) ξ ˜ ˜ ( j ) ( e ) and ζ ˜ ( j ) ( y z 1 ) ζ ˜ ( j ) ( e ) for all j { 1 , 2 , , m } , then ξ ˜ ˜ ( j ) ( y z 1 ) = ξ ˜ ˜ ( j ) ( e ) and ζ ˜ ( j ) ( y z 1 ) = ζ ˜ ( j ) ( e ) , implying that y z 1 Ω and Ω is a crisp subgroup of G .     □
The following Theorem reflects on [ ρ , τ ] ˜ -level and σ ˜ -level of a C m P group Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m . From Definition 12, we notice that [ ρ , τ ] ˜ -level and σ ˜ -level are crisp sets. From the next theorem, we will know that [ ρ , τ ] ˜ -level and σ ˜ -level are crisp subgroups of G .
Theorem 9.
Let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m be a C m P group over a group G . Then, for all [ ρ , τ ] ˜ [ I ] m and σ ˜ I m , [ ρ , τ ] ˜ -level, ξ ˜ ˜ ( [ ρ , τ ] ˜ and σ ˜ -level, ζ ˜ σ ˜ of Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m are crisp subgroups of G .
Proof. 
Let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m be a C m P subgroup of a group G , [ ρ , τ ] ˜ [ I ] m and σ ˜ I m . Let y , z ξ ˜ ˜ ( [ ρ , τ ] ˜ . By assumption,
ξ ˜ ˜ ( j ) ( y z 1 ) ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( z 1 ) = ξ ˜ ˜ ( j ) ( y ) ¯ ξ ˜ ˜ ( j ) ( z ) [ ρ j , τ j ]
for all j { 1 , 2 , , m } . Hence, y z 1 ξ ˜ ˜ ( [ ρ , τ ] ˜ . Similarly, let y , z ζ ˜ σ ˜ . Then,
ζ ˜ ( j ) ( y z 1 ) ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( z 1 ) = ζ ˜ ( j ) ( y ) ζ ˜ ( j ) ( z ) σ j
for all j { 1 , 2 , , m } . Hence, y z 1 ζ ˜ σ ˜ . Therefore, ξ ˜ ˜ ( [ ρ , τ ] ˜ and ζ ˜ σ ˜ are crisp subgroups of G .     □

4. Commutative Semigroup Structures of Cubic m-Polar Structures

In this section, we construct a commutative semigroup structure and a commutative groupoid structure by providing binary operations for the C m P structure Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m . In the current section,
  • We use the group G as the universe set (domain of discourse).
  • L C m P denotes the collection of all C m P structures over G .
Definition 13.
Let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m and Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m be two C m P structures on a set G . Then, the symmetric difference of Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m and Ξ ˜ ( ψ ˜ ˜ , μ ˜ ) m , denoted by Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m , is defined as Ξ ˜ ( ξ ˜ ˜ γ ˜ ˜ , ζ ˜ δ ˜ ) m in which
ξ ˜ ˜ γ ˜ ˜ : G [ I ] m a n d ζ ˜ δ ˜ : G I m ,
where
( ξ ˜ ˜ γ ˜ ˜ ) ( y ) = ( ξ ˜ γ ˜ ) ( j ) ( y ) , ( ξ ˜ γ ˜ ) + ( j ) ( y ) = | ξ ˜ ( j ) ( y ) γ ˜ ( j ) ( y ) | , | ξ ˜ + ( j ) ( y ) γ ˜ + ( j ) ( y ) |
and
( ζ ˜ δ ˜ ) ( y ) = | ζ ˜ ( j ) ( y ) δ ˜ ( j ) ( y ) |
for all y G and j { 1 , 2 , , m } .
Example 5.
Consider the set G = { 1 , α , α 2 } under the ordinary multiplication “.”, where α 3 = 1 . Then, it is clear that ( G , . ) is a group. Let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 : G [ I ] 4 × I 4 and Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 4 : G [ I ] 4 × I 4 be two C 4 P structures on a set G defined by:
Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 = 1 , ( [ 0.4 , 0.8 ] , 0.3 ) , ( [ 0.3 , 0.7 ] , 0.4 ) , ( [ 0.3 , 0.8 ] , 0.4 ) , ( [ 0.2 , 0.3 ] , 0.1 ) , α , ( [ 0.3 , 0.8 ] , 0.3 ) , ( [ 0.1 , 0.4 ] , 0.4 ) , ( [ 0.3 , 0.5 ] , 0.4 ) , ( [ 0.1 , 0.2 ] , 0.2 ) , α 2 , ( [ 0.3 , 0.8 ] , 0.2 ) , ( [ 0.3 , 0.8 ] , 0.3 ) , ( [ 0.1 , 0.8 ] , 0.4 ) , ( [ 0.3 , 0.8 ] , 0.2 ) .
and
Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 4 = 1 , ( [ 0.2 , 0.5 ] , 0.4 ) , ( [ 0.3 , 0.6 ] , 0.2 ) , ( [ 0.3 , 0.4 ] , 0.4 ) , ( [ 0.3 , 0.4 ] , 0.3 ) , α , ( [ 0.3 , 0.4 ] , 0.4 ) , ( [ 0.1 , 0.2 ] , 0.3 ) , ( [ 0.7 , 0.9 ] , 0.6 ) , ( [ 0.1 , 0.3 ] , 0.4 ) , α 2 , ( [ 0.3 , 0.5 ] , 0.4 ) , ( [ 0.3 , 0.4 ] , 0.3 ) , ( [ 0.0 , 0.4 ] , 0.5 ) , ( [ 0.3 , 0.4 ] , 0.4 ) .
Then, the symmetric difference Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 4 of Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 and Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 4 is given as follows:
Ξ ˜ ( ξ ˜ ˜ γ ˜ ˜ , ζ ˜ δ ˜ ) 4 = 1 , ( [ 0.2 , 0.3 ] , 0.1 ) , ( [ 0.0 , 0.1 ] , 0.2 ) , ( [ 0.0 , 0.4 ] , 0.0 ) , ( [ 0.1 , 0.1 ] , 0.2 ) , α , ( [ 0.0 , 0.4 ] , 0.1 ) , ( [ 0.0 , 0.2 ] , 0.1 ) , ( [ 0.4 , 0.4 ] , 0.2 ) , ( [ 0.0 , 0.1 ] , 0.2 ) , α 2 , ( [ 0.0 , 0.3 ] , 0.2 ) , ( [ 0.0 , 0.4 ] , 0.0 ) , ( [ 0.1 , 0.4 ] , 0.1 ) , ( [ 0.0 , 0.4 ] , 0.2 ) .
Theorem 10.
( L C m P , ) is a commutative groupoid with identity element Ξ ˜ ( 0 ˜ ˜ , 0 ˜ ) m .
Proof. 
Let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m , Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m L C m P . Then,
( ξ ˜ ˜ γ ˜ ˜ ) ( y ) = ( ξ ˜ γ ˜ ) ( j ) ( y ) , ( ξ ˜ γ ˜ ) + ( j ) ( y ) = | ξ ˜ ( j ) ( y ) γ ˜ ( j ) ( y ) | , | ξ ˜ + ( j ) ( y ) γ ˜ + ( j ) ( y ) | = | γ ˜ ( j ) ( y ) ξ ˜ ( j ) ( y ) | , | γ ˜ + ( j ) ( y ) ξ ˜ + ( j ) ( y ) | = ( γ ˜ ξ ˜ ) ( j ) ( y ) , ( γ ˜ ξ ˜ ) + ( j ) ( y ) = ( γ ˜ ˜ ξ ˜ ˜ ) ( y )
and
( ζ ˜ δ ˜ ) ( y ) = | ζ ˜ ( j ) ( y ) δ ˜ ( j ) ( y ) | = | δ ˜ ( j ) ( y ) ζ ˜ ( j ) ( y ) | = ( δ ˜ ζ ˜ ) ( y )
for all y G and j { 1 , 2 , , m } . Thus, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m = Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m . Moreover, for all Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m , Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m L C m P , we have Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m =   Ξ ˜ ( ξ ˜ ˜ γ ˜ ˜ , ζ ˜ δ ˜ ) m L C m P . Finally, for any Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m L C m P , we have
( ξ ˜ ˜ 0 ˜ ˜ ) ( y ) = ( ξ ˜ 0 ˜ ) ( j ) ( y ) , ( ξ ˜ 0 ˜ ) + ( j ) ( y ) = | ξ ˜ ( j ) ( y ) 0 ˜ ( j ) ( y ) | , | ξ ˜ + ( j ) ( y ) 0 ˜ + ( j ) ( y ) | = ξ ˜ ( j ) ( y ) , ξ ˜ + ( j ) ( y ) = ξ ˜ ˜ ( y )
and
( ζ ˜ 0 ˜ ) ( y ) = | ζ ˜ ( j ) ( y ) 0 ˜ ( j ) ( y ) | = ζ ˜ ( j ) ( y ) = ζ ˜ ( y )
for all y G and j { 1 , 2 , , m } . Similarly, for all y G and j { 1 , 2 , , m } , we obtain, ( 0 ˜ ˜ ξ ˜ ˜ ) ( y ) = ξ ˜ ( j ) ( y ) , ξ ˜ + ( j ) ( y ) = ξ ˜ ˜ ( y ) and ( 0 ˜ ζ ˜ ) ( y ) = ζ ˜ ( j ) ( y ) = ζ ˜ ( y ) . Therefore,
Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m Ξ ˜ ( 0 ˜ ˜ , 0 ˜ ) m = Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m = Ξ ˜ ( 0 ˜ ˜ , 0 ˜ ) m Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m .
Hence, ( L C m P , ) is a commutative groupoid with identity element Ξ ˜ ( 0 ˜ ˜ , 0 ˜ ) m .     □
The following example shows that a binary operation ⊟ is not associative in ( L C m P , ) , where m = 4 . Hence, ⊟ is not associative in ( L C m P , ) , so ( L C m P , ) is not a semigroup.
Example 6.
Let us assume the group G , a C 4 P structure Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 and a C 4 P structure Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 4 in Example 5. Let Ξ ˜ ( χ ˜ ˜ , ω ˜ ) 4 : G [ I ] 4 × I 4 be another C 4 P structure on a set G defined by:
Ξ ˜ ( χ ˜ ˜ , ω ˜ ) 4 = 1 , ( [ 0.4 , 0.8 ] , 0.6 ) , ( [ 0.2 , 0.4 ] , 0.3 ) , ( [ 0.1 , 0.6 ] , 0.5 ) , ( [ 0.2 , 0.3 ] , 0.6 ) , α , ( [ 0.1 , 0.6 ] , 0.4 ) , ( [ 0.1 , 0.3 ] , 0.4 ) , ( [ 0.4 , 0.6 ] , 0.7 ) , ( [ 0.1 , 0.6 ] , 0.5 ) , α 2 , ( [ 0.0 , 0.9 ] , 0.5 ) , ( [ 0.1 , 0.6 ] , 0.3 ) , ( [ 0.3 , 0.7 ] , 0.5 ) , ( [ 0.1 , 0.6 ] , 0.3 ) .
Then, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 4 is given as in Example 5 and ( Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 4 ) Ξ ˜ ( χ ˜ ˜ , ω ˜ ) 4 is given as:
Ξ ˜ ( ( ξ ˜ ˜ γ ˜ ˜ ) χ ˜ ˜ , ( ζ ˜ δ ˜ ) ω ˜ ) 4 = 1 , ( [ 0.2 , 0.5 ] , 0.5 ) , ( [ 0.2 , 0.3 ] , 0.1 ) , ( [ 0.1 , 0.2 ] , 0.5 ) , ( [ 0.1 , 0.2 ] , 0.4 ) , α , ( [ 0.1 , 0.2 ] , 0.3 ) , ( [ 0.1 , 0.1 ] , 0.3 ) , ( [ 0.0 , 0.2 ] , 0.5 ) , ( [ 0.1 , 0.5 ] , 0.3 ) , α 2 , ( [ 0.0 , 0.6 ] , 0.3 ) , ( [ 0.1 , 0.2 ] , 0.3 ) , ( [ 0.2 , 0.3 ] , 0.4 ) , ( [ 0.1 , 0.2 ] , 0.1 ) .
Moreover, Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 4 Ξ ˜ ( χ ˜ ˜ , ω ˜ ) 4 is given as:
Ξ ˜ ( γ ˜ ˜ χ ˜ ˜ , δ ˜ ω ˜ ) 4 = 1 , ( [ 0.2 , 0.3 ] , 0.2 ) , ( [ 0.1 , 0.2 ] , 0.1 ) , ( [ 0.2 , 0.2 ] , 0.1 ) , ( [ 0.1 , 0.1 ] , 0.3 ) , α , ( [ 0.2 , 0.2 ] , 0.0 ) , ( [ 0.0 , 0.1 ] , 0.1 ) , ( [ 0.3 , 0.3 ] , 0.1 ) , ( [ 0.0 , 0.3 ] , 0.1 ) , α 2 , ( [ 0.3 , 0.4 ] , 0.1 ) , ( [ 0.2 , 0.2 ] , 0.0 ) , ( [ 0.3 , 0.3 ] , 0.0 ) , ( [ 0.2 , 0.2 ] , 0.1 )
and Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 ( Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 4 Ξ ˜ ( χ ˜ ˜ , ω ˜ ) 4 ) is given as:
Ξ ˜ ( ξ ˜ ˜ ( γ ˜ ˜ χ ˜ ˜ ) , ζ ˜ ( δ ˜ ω ˜ ) ) 4 = 1 , ( [ 0.2 , 0.5 ] , 0.1 ) , ( [ 0.2 , 0.5 ] , 0.3 ) , ( [ 0.1 , 0.6 ] , 0.3 ) , ( [ 0.1 , 0.2 ] , 0.2 ) , α , ( [ 0.1 , 0.6 ] , 0.3 ) , ( [ 0.1 , 0.3 ] , 0.3 ) , ( [ 0.0 , 0.2 ] , 0.3 ) , ( [ 0.1 , 0.1 ] , 0.1 ) , α 2 , ( [ 0.0 , 0.4 ] , 0.1 ) , ( [ 0.1 , 0.6 ] , 0.3 ) , ( [ 0.2 , 0.5 ] , 0.4 ) , ( [ 0.1 , 0.6 ] , 0.1 ) .
Hence, ( Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 4 ) Ξ ˜ ( χ ˜ ˜ , ω ˜ ) 4 Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 ( Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 4 Ξ ˜ ( χ ˜ ˜ , ω ˜ ) 4 ) . Therefore, a binary operation is not an associative in ( L C 4 P , ) .
Remark 2.
( L C m P , ) is non-idempotent.
The following example shows that ( L C m P , ) is non-idempotent, where m = 4 .
Example 7.
Let us assume the group G and a C 4 P structure Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 in Example 5. Then, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 = Ξ ˜ ( ξ ˜ ˜ ξ ˜ ˜ , ζ ˜ ζ ˜ ) 4 ( y ) = ( [ 0.0 , 0.0 ] ˜ , 0.0 ˜ ) Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 ( y ) for all y G . Hence, ( L C 4 P , ) is non-idempotent.
Definition 14.
Let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m and Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m be two C m P structures on a set G . Then, the sum of Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m and Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m , denoted by Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m , is defined as a C m P structure Ξ ˜ ( ξ ˜ ˜ γ ˜ ˜ , ζ ˜ δ ˜ ) m in which
ξ ˜ ˜ γ ˜ ˜ : G [ I ] m a n d ζ ˜ δ ˜ : G I m ,
where
( ξ ˜ ˜ γ ˜ ˜ ) ( y ) = ( ξ ˜ γ ˜ ) ( j ) ( y ) , ( ξ ˜ γ ˜ ) + ( j ) ( y ) = [ ξ ˜ ( j ) ( y ) + γ ˜ ( j ) ( y ) ξ ˜ ( j ) ( y ) . γ ˜ ( j ) ( y ) , ξ ˜ + ( j ) ( y ) + γ ˜ + ( j ) ( y ) ξ ˜ + ( j ) ( y ) · γ ˜ + ( j ) ( y ) ]
and
( ζ ˜ δ ˜ ) ( y ) = ζ ˜ ( j ) ( y ) + δ ˜ ( j ) ( y ) ζ ˜ ( j ) ( y ) · δ ˜ ( j ) ( y )
for all y G and j { 1 , 2 , , m } .
Example 8.
Let us assume the group G in Example 5. Let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 : G [ I ] 3 × I 3 and Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 3 : G [ I ] 3 × I 3 be two C 3 P structures on a set G defined by:
Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 = 1 , ( [ 0.0 , 0.0 ] , 0.3 ) , ( [ 0.09 , 0.1 ] , 0.4 ) , ( [ 0.18 , 0.20 ] , 0.4 ) , α , ( [ 0.27 , 0.30 ] , 0.3 ) , ( [ 0.36 , 0.4 ] , 0.4 ) , ( [ 0.45 , 0.5 ] , 0.4 ) , α 2 , ( [ 0.54 , 0.6 ] , 0.2 ) , ( [ 0.63 , 0.7 ] , 0.3 ) , ( [ 0.72 , 0.8 ] , 0.4 ) .
and
Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 3 = 1 , ( [ 0.0 , 0.0 ] , 0.4 ) , ( [ 0.01 , 0.01 ] , 0.2 ) , ( [ 0.02 , 0.04 ] , 0.4 ) , α , ( [ 0.04 , 0.09 ] , 0.4 ) , ( [ 0.08 , 0.16 ] , 0.3 ) , ( [ 0.12 , 0.25 ] , 0.6 ) , α 2 , ( [ 0.18 , 0.36 ] , 0.4 ) , ( [ 0.24 , 0.49 ] , 0.3 ) , ( [ 0.32 , 0.64 ] , 0.5 ) .
Then, the sum Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 3 of Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 and Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 3 is given as follows:
Ξ ˜ ( ξ ˜ ˜ γ ˜ ˜ , ζ ˜ δ ˜ ) 3 = 1 , ( [ 0.0000 , 0.0000 ] , 0.5800 ) , ( [ 0.0991 , 0.1090 ] , 0.5200 ) , ( [ 0.1964 , 0.2320 ] , 0.6400 ) , α , ( [ 0.2992 , 0.3630 ] , 0.5800 ) , ( [ 0.4112 , 0.4960 ] , 0.5800 ) , ( [ 0.5160 , 0.6250 ] , 0.7600 ) , α 2 , ( [ 0.62228 , 0.74440 ] , 0.52 ) , ( [ 0.7188 , 0.8470 ] , 0.5100 ) , ( [ 0.8096 , 0.9280 ] , 0.7000 ) .
Theorem 11.
( L C m P , ) is a commutative semigroup with identity element Ξ ˜ ( 0 ˜ ˜ , 0 ˜ ) m .
Proof. 
Let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m , Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m L C m P . Then,
( ξ ˜ ˜ γ ˜ ˜ ) ( y ) = ( ξ ˜ γ ˜ ) ( j ) ( y ) , ( ξ ˜ γ ˜ ) + ( j ) ( y ) = [ ξ ˜ ( j ) ( y ) + γ ˜ ( j ) ( y ) ξ ˜ ( j ) ( y ) . γ ˜ ( j ) ( y ) , ξ ˜ + ( j ) ( y ) + γ ˜ + ( j ) ( y ) ξ ˜ + ( j ) ( y ) . γ ˜ + ( j ) ( y ) ] = [ γ ˜ ( j ) ( y ) + ξ ˜ ( j ) ( y ) γ ˜ ( j ) ( y ) . ξ ˜ ( j ) ( y ) , γ ˜ + ( j ) ( y ) + ξ ˜ + ( j ) ( y ) γ ˜ + ( j ) ( y ) . ξ ˜ + ( j ) ( y ) = ( γ ˜ ξ ˜ ) ( j ) ( y ) , ( γ ˜ ξ ˜ ) + ( j ) ( y ) = ( γ ˜ ˜ ξ ˜ ˜ ) ( y )
and
( ζ ˜ δ ˜ ) ( y ) = ζ ˜ ( j ) ( y ) + δ ˜ ( j ) ( y ) ζ ˜ ( j ) ( y ) · δ ˜ ( j ) ( y ) = δ ˜ ( j ) ( y ) + ζ ˜ ( j ) ( y ) δ ˜ ( j ) ( y ) · ζ ˜ ( j ) ( y ) = ( δ ˜ ζ ˜ ) ( y )
for all y G and j { 1 , 2 , , m } . Thus, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m = Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m . Moreover, for any Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m L C m P , we have
( ξ ˜ ˜ 0 ˜ ˜ ) ( y ) = ( ξ ˜ 0 ˜ ) ( j ) ( y ) , ( ξ ˜ 0 ˜ ) + ( j ) ( y ) = [ ξ ˜ ( j ) ( y ) + 0 ˜ ( j ) ( y ) ξ ˜ ( j ) ( y ) . 0 ˜ ( j ) ( y ) , ξ ˜ + ( j ) ( y ) + 0 ˜ + ( j ) ( y ) ξ ˜ + ( j ) ( y ) . 0 ˜ + ( j ) ( y ) ] = ξ ˜ ( j ) ( y ) , ξ ˜ + ( j ) ( y ) = ξ ˜ ˜ ( y )
and
( ζ ˜ 0 ˜ ) ( y ) = ζ ˜ ( j ) ( y ) + 0 ˜ ( j ) ( y ) ζ ˜ ( j ) ( y ) · 0 ˜ ( j ) ( y ) = ζ ˜ ( j ) ( y ) = ζ ˜ ( y )
for all y G and j { 1 , 2 , , m } . Similarly, for all y G and j { 1 , 2 , , m } , we obtain, ( 0 ˜ ˜ ξ ˜ ˜ ) ( y ) = ξ ˜ ( j ) ( y ) , ξ ˜ + ( j ) ( y ) = ξ ˜ ˜ ( y ) and ( 0 ˜ ζ ˜ ) ( y ) = ζ ˜ ( j ) ( y ) = ζ ˜ . Thus,
Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m Ξ ˜ ( 0 ˜ ˜ , 0 ˜ ) m = Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m = Ξ ˜ ( 0 ˜ ˜ , 0 ˜ ) m Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m .
    □
Hence, ( L C m P , ) is a commutative semigroup and Ξ ˜ ( 0 ˜ ˜ , 0 ˜ ) m is the identity element of ( L C m P , ) . Thus, ( L C m P , ) is a monoid.
Remark 3.
( L C m P , ) is non-idempotent.
The following example shows that ( L C m P , ) is non-idempotent, where m = 4 .
Example 9.
Let us assume the group G and a C 4 P structure Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 in Example 5. Then,
Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 = 1 , ( [ 0.64 , 0.96 ] , 0.51 ) , ( [ 0.51 , 0.91 ] , 0.64 ) , ( [ 0.51 , 0.96 ] , 0.64 ) , ( [ 0.36 , 0.51 ] , 0.19 ) , α , ( [ 0.51 , 0.96 ] , 0.51 ) , ( [ 0.19 , 0.64 ] , 0.64 ) , ( [ 0.51 , 0.75 ] , 0.64 ) , ( [ 0.19 , 0.36 ] , 0.36 ) , α 2 , ( [ 0.51 , 0.96 ] , 0.36 ) , ( [ 0.51 , 0.96 ] , 0.51 ) , ( [ 0.19 , 0.96 ] , 0.64 ) , ( [ 0.51 , 0.96 ] , 0.36 ) .
for all y G . Therefore, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 . Hence, ( L C 4 P , ) is non-idempotent.
Definition 15.
Let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m and Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m be two C m P structures on a set G . Then, the product of Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m and Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m , denoted by Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m , is defined as a C m P structure Ξ ˜ ( ξ ˜ ˜ γ ˜ ˜ , ζ ˜ δ ˜ ) m in which
ξ ˜ ˜ γ ˜ ˜ : G [ I ] m a n d ζ ˜ δ ˜ : G I m ,
where
( ξ ˜ ˜ γ ˜ ˜ ) ( y ) = ( ξ ˜ γ ˜ ) ( j ) ( y ) , ( ξ ˜ γ ˜ ) + ( j ) ( y ) = ξ ˜ ( j ) ( y ) · γ ˜ ( j ) ( y ) , ξ ˜ + ( j ) ( y ) · γ ˜ + ( j ) ( y )
and
( ζ ˜ δ ˜ ) ( y ) = ζ ˜ ( j ) ( y ) · δ ˜ ( j ) ( y )
y G and j { 1 , 2 , , m } .
Example 10.
Let us assume the group G in Example 5, a C 3 P structure Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 and C 3 P structure Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 3 in Example 8. Then, the product Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 3 of Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 3 and Ξ ˜ ( γ ˜ ˜ , δ ˜ ) 3 is given as follows:
Ξ ˜ ( ξ ˜ ˜ γ ˜ ˜ , ζ ˜ δ ˜ ) 3 = 1 , ( [ 0.0 , 0.0 ] , 0.12 ) , ( [ 0.0009 , 0.001 ] , 0.08 ) , ( [ 0.0036 , 0.008 ] , 0.16 ) , α , ( [ 0.0108 , 0.027 ] , 0.12 ) , ( [ 0.0288 , 0.064 ] , 0.12 ) , ( [ 0.054 , 0.125 ] , 0.24 ) , α 2 , ( [ 0.0972 , 0.216 ] , 0.08 ) , ( [ 0.1512 , 0.343 ] , 0.09 ) , ( [ 0.2304 , 0.512 ] , 0.2 ) .
Theorem 12.
( L C m P , ) is a commutative semigroup.
Proof. 
Let Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m , Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m , Ξ ˜ ( χ ˜ ˜ , ω ˜ ) m L C m P . Then,
( ( ξ ˜ ˜ γ ˜ ˜ ) χ ˜ ˜ ) ( y ) = ( ξ ˜ γ ˜ ) ( j ) ( y ) · χ ˜ ( j ) ( y ) , ( ξ ˜ γ ˜ ) + ( j ) ( y ) · χ ˜ + ( j ) ( y ) = ( ξ ˜ ( j ) ( y ) · γ ˜ ( j ) ( y ) ) · χ ˜ ( j ) ( y ) , ( ξ ˜ + ( j ) ( y ) · γ ˜ + ( j ) ( y ) ) · χ ˜ + ( j ) ( y ) = ξ ˜ ( j ) ( y ) · ( γ ˜ ( j ) ( y ) · χ ˜ ( j ) ( y ) ) , ξ ˜ + ( j ) ( y ) · ( γ ˜ + ( j ) ( y ) · χ ˜ + ( j ) ( y ) ) = ξ ˜ ( j ) ( y ) · ( γ ˜ χ ˜ ) ( j ) ( y ) , ξ ˜ + ( j ) ( y ) · ( γ ˜ χ ˜ ) + ( j ) ( y ) = ( ξ ˜ ˜ ( γ ˜ ˜ χ ˜ ˜ ) ) ( y )
and
( ( ζ ˜ δ ˜ ) ω ˜ ) ( y ) = ( ζ ˜ δ ˜ ) ( j ) ( y ) · ω ˜ ( j ) ( y ) , ( ζ ˜ δ ˜ ) ( j ) ( y ) · ω ˜ ( j ) ( y ) = ( ζ ˜ ( j ) ( y ) · δ ˜ ( j ) ( y ) ) · ω ˜ ( j ) ( y ) , ( ζ ˜ ( j ) ( y ) · δ ˜ ( j ) ( y ) ) · ω ˜ ( j ) ( y ) = ζ ˜ ( j ) ( y ) · ( δ ˜ ( j ) ( y ) · ω ˜ ( j ) ( y ) ) , ζ ˜ ( j ) ( y ) · ( δ ˜ ( j ) ( y ) · ω ˜ ( j ) ( y ) ) = ζ ˜ ( j ) ( y ) · ( δ ˜ ω ˜ ) ( j ) ( y ) , ζ ˜ ( j ) ( y ) · ( δ ˜ ω ˜ ) ( j ) ( y ) = ( ζ ˜ ( δ ˜ ω ˜ ) ) ( y )
for all y G and j { 1 , 2 , , m } . Thus,
( Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m ) Ξ ˜ ( χ ˜ ˜ , ω ˜ ) m = Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m ( Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m Ξ ˜ ( χ ˜ ˜ , ω ˜ ) m ) .
Moreover, we have
( ξ ˜ ˜ γ ˜ ˜ ) ( y ) = ( ξ ˜ γ ˜ ) ( j ) ( y ) , ( ξ ˜ γ ˜ ) + ( j ) ( y ) = ξ ˜ ( j ) ( y ) · γ ˜ ( j ) ( y ) , ξ ˜ + ( j ) ( y ) · γ ˜ + ( j ) ( y ) = γ ˜ ( j ) ( y ) · ξ ˜ ( j ) ( y ) , γ ˜ + ( j ) ( y ) · ξ ˜ + ( j ) ( y ) = ( γ ˜ ξ ˜ ) ( j ) ( y ) , ( γ ˜ ξ ˜ ) + ( j ) ( y ) = ( γ ˜ ˜ ξ ˜ ˜ ) ( y )
and
( ζ ˜ δ ˜ ) ( y ) = ζ ˜ ( j ) ( y ) · δ ˜ ( j ) ( y ) = δ ˜ ( j ) ( y ) · ζ ˜ ( j ) ( y ) = ( ζ ˜ δ ˜ ) ( y )
for all y G and j { 1 , 2 , , m } . Thus, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m = Ξ ˜ ( γ ˜ ˜ , δ ˜ ) m Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) m . Therefore, ( L C m P , ) is a commutative semigroup.    □
Remark 4.
( L C m P , ) is non-idempotent.
The following example shows that ( L C m P , ) is non-idempotent, where m = 4 .
Example 11.
Let us assume the group G and a C 4 P structure Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 in Example 5. Then,
Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 = 1 , ( [ 0.16 , 0.64 ] , 0.09 ) , ( [ 0.09 , 0.49 ] , 0.16 ) , ( [ 0.09 , 0.64 ] , 0.16 ) , ( [ 0.04 , 0.09 ] , 0.01 ) , α , ( [ 0.09 , 0.64 ] , 0.09 ) , ( [ 0.01 , 0.16 ] , 0.16 ) , ( [ 0.09 , 0.25 ] , 0.16 ) , ( [ 0.01 , 0.04 ] , 0.04 ) , α 2 , ( [ 0.09 , 0.64 ] , 0.04 ) , ( [ 0.09 , 0.64 ] , 0.09 ) , ( [ 0.01 , 0.64 ] , 0.16 ) , ( [ 0.09 , 0.64 ] , 0.04 ) .
for all y G . Therefore, Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 Ξ ˜ ( ξ ˜ ˜ , ζ ˜ ) 4 . Hence, ( L C 4 P , ) is non-idempotent.

5. Conclusions

The conception of a C m P structure is a generalization of an m PF structure which deals with a two-pronged approach of decision analysis and data imprecision by taking into consideration both the polarity of the IVF structure and the m PF structure, simultaneously. In this article, we originated the idea of C m P groups and probed many of its characteristics. We gave an an essential bridge between ordinary group theory and C m P group theory. We investigated the effect of the C m P structure on group (semigroup) structures. We derived some basic properties of C m P groups and supported them by illustrative examples. Finally, we provided one binary operation to assign a groupoid structure to the set of C m P structures and two binary operations to assign a semigroup structure to the set of C m P structures. Moreover, we thoroughly investigated some important properties of groupoid and semigroup structures, and gave some illustrative examples to support these properties.
The results of this study can be further extended to normed subrings, hemirings, fields and ordered gamma semigroups (see [37,38,39,40]). Furthermore, the conception of a C m P structure used in this manuscript can be studied according to the idea in [41], which will be the way for much future research.

Author Contributions

Conceptualization, A.A.-M.; Methodology, A.A.-M., M.A. and M.A.Q.; Writing—original draft, A.A.-M.; Writing—review and editing, M.A. and M.A.Q. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Roman, S. Fundamentals of Group Theory; Springer: New York, NY, USA, 2012; pp. 19–58. [Google Scholar]
  2. Carrell, J.B. Groups, Matrices, and Vector Spaces; Springer: New York, NY, USA, 2017; pp. 11–53. [Google Scholar]
  3. Zadeh, L.A. Fuzzy sets. Inf. Control 1965, 8, 338–353. [Google Scholar] [CrossRef] [Green Version]
  4. Zhang, W.R. Bipolar fuzzy sets and relations: A computational framework for cognitive and modeling and multiagent decision analysis. In Proceedings of the Fuzzy Information Processing Society Biannual Conference, San Antonio, TX, USA, 18–21 December 1994; pp. 305–309. [Google Scholar]
  5. Zadeh, L.A. The concept of a linguistic and application to approximate reasoning. Inf. Sci. 1965, 8, 199–249. [Google Scholar] [CrossRef]
  6. Jun, Y.B.; Kim, C.S.; Yang, K.O. Cubic sets. Annal. Fuzzy Math. Inform. 2012, 4, 83–98. [Google Scholar]
  7. Rosenfeld, A. Fuzzy groups. J. Math. Anal. Appl. 1971, 35, 512–517. [Google Scholar] [CrossRef] [Green Version]
  8. Atanassov, K.T. Intuitionistic fuzzy sets. Fuzzy Sets Syst. 1986, 20, 87–96. [Google Scholar] [CrossRef]
  9. Biswas, R. Intuitionistic fuzzy subgroups. Math. Forum 1989, 10, 37–46. [Google Scholar]
  10. Tahir Mahmood, T.; Munir, M. On Bipolar fuzzy subgroups. World Appl. Sci. J. 2013, 27, 1806–1811. [Google Scholar]
  11. Jun, Y.B.; Jung, S.T.; Kim, M.S. Cubic subgroups. Ann. Fuzzy Math. Inform. 2011, 2, 9–15. [Google Scholar]
  12. Gupta, M.M.; Sanchez, E. Approximate Reasoning in Decision Analysis; U.S. Department of Energy Office of Scientific and Technical Information: Oak Ridge, TN, USA, 1982; pp. 151–156.
  13. Chen, J.; Li, S.; Ma, S.; Wang, X. m-polar fuzzy sets: An extension of bipolar fuzzy sets. Sci. World J. 2014, 2014, 416530. [Google Scholar] [CrossRef] [Green Version]
  14. Borzooei, R.A.; Smarandache, F.; Jun, Y.B. Polarity of generalized neutrosophic subalgebras in BCK/BCI algebras. Neutrosophic Sets Syst. 2020, 32, 123–145. [Google Scholar]
  15. Saeed, M.; Mehmood, A.; Arslan, M. Multipolar interval-valued fuzzy set with application of similarity measures and multi-person TOPSIS technique. Punjab Univ. J. Math. 2021, 53, 691–710. [Google Scholar]
  16. Kang, K.T.; Song, S.-Z.; Jun, Y.B. Multipolar intuitionistic fuzzy set with finite degree and its application in BCK/BCI algebras. Mathematics 2020, 8, 177. [Google Scholar] [CrossRef] [Green Version]
  17. Riaz, M.; Saba, M.; Khokhar, M.A.; Aslam, M. Novel concepts of m-polar spherical fuzzy sets and new correlation measures with application to pattern recognition and medical diagnosis. AIMS Math. 2021, 10, 11346–11379. [Google Scholar] [CrossRef]
  18. Farooq, A.; Alia, G.; Akram, M. On m-polar fuzzy groups. Int. J. Algebr. Stat. 2016, 5, 115–127. [Google Scholar] [CrossRef]
  19. Al-Masarwah, A.; Ahmad, A.G. m-Polar fuzzy ideals of BCK/BCI algebras. J. King Saud Univ. Sci. 2019, 31, 1220–1226. [Google Scholar] [CrossRef]
  20. Al-Masarwah, A.; Ahmad, A.G. m-Polar (α, β)-fuzzy ideals in BCK/BCI algebras. Symmetry 2019, 11, 44. [Google Scholar] [CrossRef] [Green Version]
  21. Sarwar, M.; Akram, M. New applications of m-polar fuzzy matroids. Symmetry 2017, 9, 319. [Google Scholar] [CrossRef] [Green Version]
  22. Akram, M.; Shahzadi, G. Hypergraphs in m-polar fuzzy environment. Mathematics 2018, 6, 28. [Google Scholar] [CrossRef] [Green Version]
  23. Muhiuddin, G.; Al-Kadi, D. Interval Valued m-polar Fuzzy BCK/BCI-Algebras. Int. J. Comput. Intell. Syst. 2021, 14, 1014–1021. [Google Scholar] [CrossRef]
  24. Dogra, S.; Pal, M. m-Polar picture fuzzy ideal of a BCK Algebra. Int. J. Comput. Intell. Syst. 2020, 13, 409–420. [Google Scholar] [CrossRef] [Green Version]
  25. Uluçay, V.; Şahin, M. Neutrosophic Multigroups and Applications. Mathematics 2019, 7, 95. [Google Scholar] [CrossRef] [Green Version]
  26. Basumatary, B.; Wary, N.; Mwchahary, D.D.; Brahma, A.K.; Moshahary, J.; Basumatary, U.R.; Basumatary, J. A Study on Some Properties of Neutrosophic Multi Topological Group. Symmetry 2021, 13, 1689. [Google Scholar] [CrossRef]
  27. Siraj, A.; Fatima, T.; Afzal, D.; Naeem, K.; Karaaslan, F. Pythagorean m-polar fuzzy neutrosophic topology with applications. Neutrosophic Sets Syst. 2022, 48, 251–290. [Google Scholar]
  28. Akram, M.; Ali, G.; Alshehri, N.O. A new multi-attribute decision-making method based on m-polar fuzzy soft rough sets. Symmetry 2017, 9, 271. [Google Scholar] [CrossRef] [Green Version]
  29. Akram, M.; Ali, G.; Alcantud, J.C.R. Parameter reduction analysis under interval-valued m-polar fuzzy soft information. Artif. Intell. Rev. 2021, 54, 5541–5582. [Google Scholar] [CrossRef]
  30. Hashmi, M.R.; Riaz, M.; Smarandache, F. m-Polar neutrosophic topology with applications to multi-criteria decision-making in medical diagnosis and clustering analysis. Int. J. Fuzzy Syst. 2020, 22, 273–292. [Google Scholar] [CrossRef]
  31. Riaz, M.; Hashmi, M.R. MAGDM for agribusiness in the environment of various cubic m-polar fuzzy averaging aggregation operators. J. Intell. Fuzzy Syst. 2019, 37, 3671–3691. [Google Scholar] [CrossRef]
  32. Garg, H.; Riaz, M.; Khokhar, M.A.; Saba, M. Correlation measures for cubic m-polar fuzzy sets with applications. Math. Probl. Eng. 2012, 2021, 19. [Google Scholar] [CrossRef]
  33. Riaz, M.; Akmal, K.; Yahya Almalki, Y.; Alblowi, S.A. Cubic m-polar fuzzy topology with multi-criteria group decision-making. AIMS Math. 2022, 7, 13019–13052. [Google Scholar] [CrossRef]
  34. Riaz, M.; Khokhar, M.A.; Pamucar, D.; Aslam, M. Cubic m-polar Fuzzy Hybrid Aggregation Operators with Dombi’s T-norm and T-conorm with Application. Symmetry 2021, 13, 646. [Google Scholar] [CrossRef]
  35. Muhiuddin, G.; Alanazi, A.M.; Mahboob, A.; Alkhaldi, A.H.; Alatwai, W. A novel study of graphs based on m-polar cubic structures. J. Funct. Spaces 2022, 2022, 12. [Google Scholar] [CrossRef]
  36. Al-Masarwah, A.; Alshehri, H. Algebraic perspective of cubic multi-polar structures on BCK/BCI algebras. Mathematics 2022, 10, 1475. [Google Scholar] [CrossRef]
  37. Abed Alhaleem, N.; Ahmad, A.G. Intuitionistic Fuzzy Normed Subrings and Intuitionistic Fuzzy Normed Ideals. Mathematics 2020, 8, 1594. [Google Scholar] [CrossRef]
  38. Abdullah, S. N-dimensional (α, β)-fuzzy H-ideals in hemirings. Int. J. Mach. Learn. Cybern. 2014, 5, 635–645. [Google Scholar] [CrossRef]
  39. Abu Qamar, M.; Ahmad, A.G.; Hassan, N. On Q-neutrosophic soft fields. Neutrosophic Sets Syst. 2020, 32, 80–93. [Google Scholar]
  40. Khan, F.M.; Sun, T.C.; Khan, A.; Junaid, M.; Din, A. Intersectional soft gamma ideals of ordered gamma semigroups. AIMS Math. 2021, 6, 7367–7385. [Google Scholar] [CrossRef]
  41. Vijayabalaji, S.; Sivaramakrishnan, S. A cubic set theoretical approach to linear space. Abstr. Appl. Anal. 2015, 2015, 1–8. [Google Scholar] [CrossRef] [Green Version]
Figure 1. Contributions toward C m P groups. (Biswas [9], Jun [11], Rosenfeld [7], Mahmood and Munir [10], Farooq et al. [18]).
Figure 1. Contributions toward C m P groups. (Biswas [9], Jun [11], Rosenfeld [7], Mahmood and Munir [10], Farooq et al. [18]).
Symmetry 14 01493 g001
Table 1. List of acronyms.
Table 1. List of acronyms.
AcronymsRepresentation
FS ( s ) Fuzzy structure(s)
BF Bipolar fuzzy
IVF Interval-valued fuzzy
CS ( s ) Cubic structure(s)
m PF m-polar fuzzy
C m P Cubic m-polar
MD Membership degree
N MD Non-membership degree
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Al-Masarwah, A.; Alqahtani, M.; Abu Qamar, M. Groups and Structures of Commutative Semigroups in the Context of Cubic Multi-Polar Structures. Symmetry 2022, 14, 1493. https://doi.org/10.3390/sym14071493

AMA Style

Al-Masarwah A, Alqahtani M, Abu Qamar M. Groups and Structures of Commutative Semigroups in the Context of Cubic Multi-Polar Structures. Symmetry. 2022; 14(7):1493. https://doi.org/10.3390/sym14071493

Chicago/Turabian Style

Al-Masarwah, Anas, Mohammed Alqahtani, and Majdoleen Abu Qamar. 2022. "Groups and Structures of Commutative Semigroups in the Context of Cubic Multi-Polar Structures" Symmetry 14, no. 7: 1493. https://doi.org/10.3390/sym14071493

APA Style

Al-Masarwah, A., Alqahtani, M., & Abu Qamar, M. (2022). Groups and Structures of Commutative Semigroups in the Context of Cubic Multi-Polar Structures. Symmetry, 14(7), 1493. https://doi.org/10.3390/sym14071493

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