In this paper, we have characterized graph structures connected with some algebraic properties. Also, this paper is actually the concatenation of graph theory and algebra. We have introduced left and right inverse graphs of antiautomorphic inverse property loops. Also, there is a connection between bipartite graphs and mathematical structures, commutator subloop, associator subloop, and associative part, the nucleus of the loop, through edge labeling.

1. Introduction and Definitions

Ruth Moufang, a German geometer, invented the quasigroup, an extension of the nonassociative algebraic structure loop. In her Ph.D. thesis, she linked this algebraic structure to the nondesarguesian plane. Moufang was the first mathematician to propose nonassociative mathematical structures, following David Hilbert’s work on projective geometry [1]. She established that the octonion coordinates of the Cayley plane did not meet associative law using Desargues’ theorem. The Moufang loop is an algebraic structure that is connected to the Moufang plane. The tabular depiction of a loop or a quasigroup is known as a Latin square. We can solve issues in a variety of fields of mathematics using quasigroups and loops [2]. Mutually orthogonal quasigroups enable the creation of finite projective planes, which is one of the fundamental combinatorial problems associated with quasigroups, and algebraic nets are strongly related to loop structures in geometry via partial planes, projective planes, and affine planes [3, 4].

In probabilistic reasoning of the experimental setup, blocking is the structuring of experimental material in clusters (blocks) that are analogous to one another. Blocking can be employed to solve the pseudoreplication problem. Row-column configurations for two limiting components in the research setup are known as Latin squares [5, 6]. An error correction code, in coding theory, information theory, telecommunications, and computing to control data errors over noisy communication or unreliable channels [7, 8] in cases where communication is disrupted by more types of sets of Latin squares that are orthogonal to each other have found application as error-correcting codes [911]. Determining if a substantially filled square can be completed to generate a Latin square is NP-complete [12].

Through the use of combinatorics and group theory, Sudoku puzzles can be examined mathematically to solve several well-known problems. Latin squares can also be found in the more contemporary KenKen puzzles. Kamisado is a two-player abstract strategy board game played on a multicoloured board of order 8. Each player is in charge of an eight-piece octagonal dragon tower. Latin squares have been used in a number of board games, notably the widely used theoretical authentic puzzle game Kamisado [13]. In statistical sampling, a square grid comprising sample sites is considered as a Latin square if each row and column has only one sample [14]. A Latin hypercube is a multidimensional generalization of this concept, for each example being the only one in each coordinate axes hyperplane that incorporates it [15, 16]. According to graph theory, a rook’s graph is a mathematical structure that reflects all valid actions of the rook chess set on a chessboard. Each node of a rook’s graph indicates a face on a chessboard, but each edge depicts a permissible move from one face to the next. Two primary ways to describe these very same graphs mathematically are the Cartesian products of two simple graphs and the line graphs of bipartite graphs. In other words, we can say a graph with Latin squares as its colorings are known as Rook’s graph. In [17], the author proved that all three nuclei of antiautomorphic inverse property loops are coincident.

The work on the seven bridges of Konigsberg, written by Leonhard Euler and published in 1736, is considered the very first article in graph theory’s history. This bough of mathematics plays an important role to solve many certifiable applications. Data structures are an area of computer science that employs graphs to represent data organization, computation flow, communication networks, and computing devices. Problems in social media, travel, biology, computer chip design, mapping the evolution of neurodegenerative disorders, and many other areas can all benefit from a similar approach (see [18, 19]). Additionally, the Feynman graphs and mathematical procedures embody particle physics concepts in a manner that is intimately related to the experimental values being investigated [20].

Algebraic graph theory and group theory are strongly interconnected. The theory of algebraic graphs has been applied to a variety of fields, including dynamic systems and complexity. In molecular biology and genomics, graphs are frequently used to model and analyse datasets with complicated interactions. Graph-based techniques are extensively used in solitary transcriptomic research to group cells into cell types. Modeling the connections among genetic variants in a process, also including biosynthetic processes and genetic regulation systems, is another application [21]. Many graph theory problems and theorems have revolved around different techniques of colouring graphs. Four color problems are an example of this great effort. Modern coding theory makes substantial use of bipartite graphs, particularly to decipher coded language received from the network. This can be seen in Tanner graphs, and a set of vertices is partitioned into codeword digits and combinations of digits that should total to zero, and factor graphs, for example [22]. Petri nets make use of the qualities of directed bipartite graphs and other capabilities to allow mathematical demonstrations of system behaviour while also making simulations of the system simple to build [23]. According to the mathematical property that every two lines have at most one common point and every two points are collinear, Levi graphs need not have any cycles of length 4; thus, their girth has to be six or higher [24]. A bipartite graph’s biadjacency matrix is a matrix with 1 for each pair of nodes that are contiguous and 0 for nonadjacent nodes. Equivalences among hypergraphs, bipartite graphs, and directed graphs can be described using adjacency matrices.

A hypergraph is a mathematical construction that has vertices and edges, very much like an undirected graph, but the edges can be any collection of vertices instead of needing to have exactly two ends. The bipartite graph can be considered as the directed graph’s bipartite double cover [25].

A nonempty set is called groupoid or magma if the binary operation is closed or internal. This algebraic structure can be denoted by . The unique solution of two equations and for implies magma is a quasigroup . In the presence of identity law, quasigroup can be taken as a loop with same left and right neutral element. Two self-bijections defined by and defined by are known as left inverse permutation and right inverse permutation, respectively, of the loop where are said to be left inverse and right inverse of , respectively, . A loop is called antiautomorphic inverse property loop (AAIPL) if and only if one of the following two equations are satisfied.. Also, we define some very important algebraic substructures of . Setsare known as commutator subloop, associator subloop, left nucleus, middle nucleus, right nucleus, nucleus, and centre of the loop , respectively.

A graph is a concatenation of , an edge set, and , a vertex set. In a graph , lines represent edges or links. Distance between two vertices and is the length of the shortest path from to denoted by , and degree of a vertex is the number of shared edges [26, 27]. We can consider as a finite graph if both sets and have finite number of elements. A graph, without loops and multiple edges, is taken as a simple graph and an undirected graph if the edges do not indicate directions; otherwise, it can be taken as directed graph. If there is an edge between nodes and in set of graph , they are called neighbours (adjacent), and the edge is called incident in this case. In the undirected graph , vertices of degree 0 and 1 are called isolated and pendant, respectively. If there is an edge between every two different vertices, a simple graph on vertices is taken to be complete graph. Due to the presence of an edge between any two distinct vertices, graph is taken as connected graph. A connected graph, without multiple edges and loops, is known as a network. The graph is said to be bipartite if there is a partition of such that every edge in connects a vertex in and a vertex in . If there must be an edge between the vertices, a bipartite graph is said to be complete bipartite graph, and this graph is denoted by where , . Graph is considered to be star graph, , if any one of the sets is singleton and balanced bipartite graph, , if . A simple graph’s edge labeling is a mapping , from , set of integers or symbols, to . Let be any loop of finite order with Latin square and let , be any two disjoint sets of symbols, then the mappings defined by , are known as P-edge labeling. Table 1 and Figure 1 represent P-edge labeling.

Now, let be any loop of finite-order with Latin square , then the mapping is known as V-edge labeling (see [28, 29]) for more details. Table 2 and Figure 2 indicate V-edge labeling.

Moreover, a directed graph is called a left inverse graph (right inverse graph) if and where the edge indicates the initial vertex and final vertex in .

2. Main Results

Let , be any nonabelian group and finite Boolean ring, respectively, with be the nonempty set of mappings , , , , , where , inverse function, , reverse function, , and .

Theorem 1. Let be the binary operation on the set defined bywithwhere , and . Then, is the loop. Moreover, for the cardinality of .

Proof. Clearly by the definition of algebraic structure is groupoid or magma. And, , then there exists such thatAnd,Now, , then there exists such thatCase 1: If ,Case 2: If ,Case 3: If ,Case 4: If ,We have the result by using Case 1, Case 2 in (7) and Case 3, Case 4 in Equation 2. Since so ; thus, by P-edge labeling and without taking care of , the associated graph of is .

Theorem 2. With the usual notations, set is an antiautomorphic inverse property loop. Also, .

Proof. Case 1: If and ,Case 2: If and ,Case 3: If and ,Case 4: If and ,Therefore, the loop is AAIPL by Equations (12) and (13) and these four cases. Moreover, we have seen that the left and right inverse graphs of any arbitrary element of are the same. So, the left and right inverse graphs of this AAIPL are the same, .

Theorem 3. Let be the AAIPL. Then, the set is a commutator subloop of . Moreover, where and are the derived subgroup of .

Proof. Let be the commutator of any two elements and in the loop . Case 1: If and ,Equation (17) is true only when and .Case 2: If and ,Equation (18) holds when and .Case 3: If and ,Equation (19) holds when and .Case 4: If and ,Equation (20) is true only when and . Thus, by Equations (19)–(22), the commutator subloop is . And, the associated graph through V-edge labeling is .

Theorem 4. Let be the AAIPL. Then, the nontrivial set is the associator subloop of . Moreover, where and are the derived subgroup of .

Proof. Let be the associator of any three elements , , in the loop . Case 1: If , , ,Equation (21) holds when and .Case 2: If , , ,Equation (22) is valid if and .Case 3: If , , ,The (23) is true for and .Case 4: If , , ,Case 5: If , , ,Case 6: If , , ,The (26) is true for and .Case 7: If , , ,Case 8: If , , ,