# On Distance in Some Finite Planes and Graphs Arising from Those Planes

Authors: I. Dogan; A. Akpinar
Journal: Journal of Mathematics
 (2021)

---

## Abstract

In this paper, affine and projective graphs are obtained from affine and projective planes of orderpr by accepting a line as a path. Some properties of these affine and projective graphs are investigated. Moreover, a definition of distance is given in the affine and projective planes of order pr and, with the help of this distance definition, the point or points having the most advantageous (central) position in the corresponding graphs are determined, with some examples being given. In addition, the concepts of a circle, ellipse, hyperbola, and parabola, which are well known for the Euclidean plane, are carried over to these finite planes. Finally, the roles of finite affine and projective Klingenberg planes in all the results obtained are considered and their equivalences in graph applications are discussed.


---

## Body

## 1. Introduction

E. Galois (1811–1832) established Galois fieldsℱ=GFpr, where p is a prime number and r is a positive integer [1]. A projective plane P2ℱ can be constructed over ℱ, and the order of this plane is also pr. Such a plane is called a field plane. Field planes are a class of projective planes, and the majority of projective planes are not in this class. The known finite projective planes are of the order pr. It is not known whether there are finite projective planes that are not of this order.So far, it has been proved that there are unique projective planes of orders 2, 3, 4, 5, 7, and 8 (see [2] for proofs of this). Four different projective planes of order 9 have been obtained. There is controversy over whether there are any other projective planes of order 9. Following a computer-based study, Lam and colleagues, in [3], claimed that there was no other projective plane of order 9. In another computer-based article [4], Lam came to the conclusion that there is no projective plane of order 10.The projective planes of orders 2, 3, 4, 5, and 7 were constructed by hand. However, a projective plane of order 8 can be constructed with the help of a computer, and its uniqueness can be proved by using Latin squares of order 7. The theoretical source of these accounts is based on the fact, quoted in [5], that “a projective plane of order k exists if and only if the set of k−1 mutually orthogonal Latin squares (MOLS) of order k exists.” For the proof of this fact, see Theorem 2.2.10 in [6] or pp. 136–140 in [7].Once geometry came to be expressed with coordinates, which are algebraic concepts, very close relationships arose between the two areas and this led to the discovery of many innovations in both. For example, a projective plane is a Pappian plane, a Desarguesian plane, or a Moufang plane if and only if the coordinatizing ring is a field, a division ring (skew field), or an alternative ring, respectively ([8], p. 154). Moreover, a geometric structure is a Moufang–Klingenberg (MK) plane if and only if the coordinatizing ring is a local alternative ring (Theorems 3.10 and 4.1 in [9]). Since an MK plane is a projective Klingenberg (PK) plane, PK planes are coordinatized as MK planes. More specifically, projective Klingenberg planes can be considered as a generalization of projective planes.Like finite affine, projective, and PK planes, graphs consist of two sets, called points and lines, and are an important branch of mathematics that emerges from a certain set of axioms.Graph theory, where many fields come together, is an area that gives different and useful results, and relationships have been discovered and transferred to technological developments by the combination of methods and results that seem unconnected.The reason for the rapid increase of interest in graph theory and its applications in recent years is that many problems encountered in daily life can be solved with graph theory. Graphs are actually mathematical models of real-life events. By using these models, and with the help of the theories that exist in various fields of mathematics, the mathematical values and results obtained can be used to get an idea about the events represented by the graphs. As an example of this, in [10] Hosseini et al. reported that the analysis of neuroimaging information using graph theory contributes to an understanding of the organization of large-scale structural and functional brain networks.Using the concepts of graph theory, an analysis of magnetoencephalographic functional connectivity in the brains of Alzheimer’s patients was performed, and the relationship between the neurons in the related areas of the patients’ brains was investigated in [11].In their recent use in the visualization of social networks [12], in particular, graphs have contributed to the formation of new and useful technologies in the field of communication technologies.Graph theory is applied in many different areas, such as route policies in air, land, and sea transportation, traffic flow control, routing packages in a computer network, and relationships between staff and managers. These applications cover independent fields such as economics, management science, marketing, information transmission, transportation planning, genetics, environmental science, archaeology, and music. Examples of such applications can be seen in [13, 14].Graph theory, which has been linked to many fields from sciences to the social sciences, has led to the strengthening of the existing relationship between geometry and algebra and the establishment of connections with new fields.The taxicab plane used in the planning of an ideal city is a non-Euclidean (infinite) plane because of the absence of the well-known side-angle-side relationship of triangles in the Euclidean plane. Many concepts of Euclidean plane geometry in the taxicab plane have been studied with the taxicab metric, and interesting results have been obtained. For example, it has been observed that a taxicab circle may have a shape similar to a rhombus (see Figure 23 on p. 79 in [15]). Similarly, answers have been sought to questions such as the locus of equidistant points to two points (see Figure 25 on p. 80 in [15]), and concepts such as the taxicab parabola, taxicab ellipse (see Figure 26 on p. 80 in [15]), and taxicab hyperbola (see Figure 28 on p. 81 in [15]) in these planes have been examined.In this study, we want to examine the correspondences of these concepts in finite PK planes that are not Euclidean but are finite, like the taxicab plane, or the projective plane lying under a finite PK plane as an epimorphic image. In the literature, the concept of distance has been given in some cases in PK planes. However, the literature does not give any information about the definition of distance in finite PK planes or therefore in the finite projective planes underlying them. It is indeed well known that, in finite planes, no nontrivial algebraic distance can be defined because the triangle inequality can never be satisfied over finite fields (since there is no natural ordering relation in these fields).The study has two main objectives. The first is to propose a concept of distance on PK planes, with a mathematical basis rather than an assumption. To achieve this aim, the conjugation of two points in the PK plane will be defined with the help of rank in the matrix representation of points, and then the definition of distance will be obtained using “conjugate” points on a line joining any two points of the plane. The correspondence of such a line in graph language can be considered as a path. In this case, finite PK planes (and therefore finite projective planes and finite affine planes) become appropriate geometric models for solving some important problems in graph theory. Therefore, this study is expected to bring innovation to both geometry and the areas of application of graph theory. Our second aim is to examine the geometric correspondences of circles, ellipses, hyperbolas, and parabolas, which are basic geometric concepts whose properties are well known from Euclidean geometry, in the finite planes. The aim of this study is to obtain some numerical results, such as how many different or identical circles there are with a radius of 1, 2, 3, and so on. This numerical examination will be limited to the projective planes of orders 2, 3, 4, 5, 7, and 8, which are known to be unique, to the field projective plane of order 9, and, by a generalization from this point, to the projective planes of orderpr.The remainder of this paper is structured as follows. In Section2, some definitions, results, and notation, a construction of a complete set of mutually orthogonal Latin squares, and two theorems are presented from the literature. In Section 3, the definition of distance for projective Klingenberg planes is introduced. In Section 4, the main results are given. First, the definition of distance is carried over to affine and projective planes of order pr. Second, affine and projective graphs are obtained from the affine and projective planes of order pr by taking a line as a path. Third, some properties of these affine and projective graphs are investigated, and then, the circles of the affine and projective plane of order 3 are examined. Next, with the help of this definition, the point or points having the most advantageous (central) position in the corresponding graph are determined. The other concepts of ellipse, hyperbola, and parabola, which are well known from the Euclidean plane, are then carried over to these finite planes, and so a process for finding all ellipses and hyperbolas of the affine plane of order pr is given. Finally, the roles of finite affine and projective Klingenberg planes for all the results obtained are considered and their equivalences in graph applications are discussed.


## 2. Preliminaries

In this section, we will remind readers of some information that will be needed in this study. First, let us present some information, compiled from [16–20], related to graphs.A graph is a pairG=V,E where V:=VG is a nonempty finite set of vertices and E:=EG is a finite set of edges. A simple graph is an unweighted and undirected graph, containing no loops or multiple edges.The order (the size) of a graphG is the number of elements in VG (EG) and is denoted by n=VG (m=EG, respectively).Letr and s be two vertices in a graph G. If r and s are connected to each other by an edge e, this situation will be denoted by e=rs. The vertices r and s are called adjacent vertices and the edge e is said to be incident with r and s.A walk in a graphG is an alternating sequence r0,e0,r1,e1,r2,…,rj−1,ej−1,rj of vertices and edges beginning and ending at vertices, where ei is incident with ri and ri+1 for i=0,1,2,…,j−1.A walk is called a path if no vertex in it is visited more than once.A graph is connected when there is a path between every pair of vertices. Otherwise, it is called disconnected.The degree of a vertexr∈VG is denoted by dGr or dr and is defined as the number of edges in G incident to r.A graphG is said to be k-regular if the degree of every vertex in G is k. Otherwise, it is called nonregular.The biggest and smallest vertex degrees ofG are denoted by Δ and δ, respectively, and they are defined as follows:(1)ΔG=maxdr|r∈VG,δG=mindr|r∈VG.LetVG be r1,r2,r3,…,rn. The nonincreasing sequence is as follows:(2)dr1,dr2,dr3,…,drn,where dr1:=ΔG and drn:=δG is called the degree sequence of G.We complete this section on graphs by giving a result known as the handshaking lemma in graph theory. This result, for any graphG=V,E, states that the sum of the degrees in the degree sequence of G is equal to half the number of edges; that is(3)∑r∈VGdr=2EG.Like graphs, projective planes consist of two sets. WhenN and D are two distinct sets whose elements are called points and lines, respectively, and ∈ is the incidence relation between N and D, then the triple N,D,∈ satisfying the following three axioms is called a projective plane and is denoted by P. If N is finite, the projective plane P is called a finite projective plane.P1: any two distinct points are incident to just one lineP2: any two lines are incident to at least one pointP3: there exist four points of which no three are collinearThe order ofP is defined to be the number of points on any line (or, equivalently, the number of lines on any point) of the projective plane P=N,D,∈ minus 1. If the order of a finite projective plane is pr, then every point lies on pr+1 lines, every line contains pr+1 points, and the total number of its points (or lines) is pr2+pr+1. The smallest order of a projective plane is 2, and this projective plane is called a Fano plane. If any line of a projective plane of order pr is omitted, then the resulting plane is an affine plane of order pr. Conversely, any affine plane of order pr can be completed to a projective plane of the same order by adding a line.Since the construction of a projective plane with the help of Latin squares will be taken into consideration in this study, some basic information about Latin squares will first be shared and then a summary of this construction will be given. Those who want to find more information about this can refer to [21] and the master’s thesis [22].The matrix of dimensionn×n whose components are taken from a set with n elements and in which these elements appear exactly once in each row and column is called a Latin square of order n. A Latin square is usually constituted using elements of the set 0,1,2,…,n−1. If the elements of the first row of a Latin square are in the order given in the set, this Latin square is called a reduced Latin square.If the resultingn2 element pairs differ from each other when two Latin squares of order n constituted by taking the inputs from the set 0,1,2,…,n−1 are superimposed, these two Latin squares are called orthogonal. If every pair in a set of n−1 Latin squares of order n is orthogonal, then this set is called a complete set of mutually orthogonal Latin squares (MOLS for short). If Nn represents the maximum number of elements of such a complete set, there is an upper limit for this number.Theorem 1.
Npr=pr−1 where p is a prime number and r is a positive integer (Theorem 2.19 in [21]).Construction 1.
A complete set of MOLS of orderpr is built from the following two steps (Construction 2.20 in [21]):(1)
The Latin squareLαi,j=i+αj is defined for each α∈ℱpr−0 where i,j∈ℱpr and its numbers are pr−1(2)
Lα|α∈ℱpr−0 is a complete set of MOLS of order pr
The complete sets constructed as above forpr=2,3,4,5,7,8,9 are given in pp. 114-115 in [21].Theorem 2.
There arepr−2!/r different reduced complete sets where Npr=pr−1 (Theorem 5.60 in [22]).With the help of a reduced complete set of MOLS of orderpr with pr−1 elements, a projective plane of order pr is established as follows.Let us assume thatpr2 points of a finite affine plane of order pr are given as an ordered pair a,b:=ab (see Figure 1) and the lexicographical order of the points of all lines of the plane is defined.Since the total number of points of the plane ispr2+pr+1, the remaining pr+1 points of the plane must be determined. Add the following two matrices to complete the set of Latin squares:(4)000⋯0111⋯1222⋯2⋮⋮⋮⋯⋮pr−1pr−1pr−1⋯pr−1,012⋯pr−1012⋯pr−1012⋯pr−1⋮⋮⋮⋯⋮012⋯pr−1.Thus, a set withpr+1 elements is obtained. The elements of this set are matrices of order pr. Let one of these matrices be placed on each of the pr2 points represented above of the plane, and assume that a line of the plane is determined by the points where the components of the matrix are the same. With such a process, a parallel line class with pr elements of the plane is obtained from a matrix, in which case the finite affine planes of order pr in Appendix A in [23] are constituted. Since the points of each line are written here according to their lexicographical order, we ensure that the elements of the line are expressed in one way.Select a new point from each parallel line class so that these parallel classes intersect at a single point. Let us assume that these points are represented by the (X) at point 1X on the first line of each parallel class, except for the last parallel class (for which the representation (∞) will be used here). A point obtained in this way is called the ideal (or infinite) point and its numbers are pr+1. In this case, the total number of points of the plane is pr2+pr+1 and the total number of lines of the plane is pr+1pr. The line 0,1,2,…,pr−1,∞ on which lie all the ideal points is the ideal (or infinite) line of the plane, and thus, the total number of lines of the plane is also pr2+pr+1. It is clear that there are pr+1 lines on every point and pr+1 points on every line. It is a known fact that the plane obtained in this way is a projective plane of order pr.Now, we can give the definition of a projective Klingenberg plane.LetM=P,L,∈,∼ consist of an incidence structure P,L,∈ (points, lines, and incidence) and an equivalence relation “∼” (neighbour relation) on P and on L. Then M is called a projective Klingenberg plane (PK plane), if it satisfies the following axioms:(PK1)
IfP,Q are nonneighbour points, then there is a unique line PQ through P and Q(PK2)
Ifg,h are nonneighbour lines, then there is a unique point g∧h on both g and h(PK3)
There are a projective planeM∗=P∗,L∗,∈ and an incidence structure epimorphism Ψ:M⟶M∗, such that the conditions(5)ΨP=ΨQ⟺P∼Q,Ψg=Ψh⟺g∼hhold for all P,Q∈P,g,h∈L.A pointP∈P is said to be near a line g∈L iff there exists a line h such that P∈h for some line h∼g.An incidence structure automorphism preserving and reflecting the neighbour relation is called a collineation ofM. The notion of a centre and an axis of a collineation is the same as in an ordinary projective plane. A C,a-collineation φ of M is a collineation with centre C and axis a. If C∈a, then φ is a C,a-elation, and if C∉a, then φ is a C,a-homology.A PK planeM is called a Moufang–Klingenberg plane (MK plane) if M is C,a-transitive for all C,a with C∈a. In this case, the canonical image M∗ is a Moufang plane (for details, see [9, 24]).For each local alternating ring, there is an MK plane that can be coordinated with it, and, conversely, for each MK plane, there is a local alternating ring to which this plane can be coordinatized [9].Based on the following algebraic structure and some information to be given about the class of octonion planes constructed with this algebraic structure, we will give a definition of distance that is not encountered in the literature on finite projective planes or finite projective Klingenberg planes (which can be viewed as their more general form). What makes this study important is not only this definition of distance, but also the fact that concepts related to distance have not been studied on finite projective Klingenberg planes or finite projective planes.We consider the local ring (or the local ringOε/εm or the algebra of order m) A:=O+Oε+Oε2+⋯+Oεm−1=a0+a1ε+a2ε2+⋯+am−1εm−1|a0,a1,a2,…,am−1∈O with the set of I=Aε=a0ε+a1ε2+⋯+am−2εm−1|a0,a1,…,am−2∈O as an ideal of nonunits, where O is a Cayley division ring, ε∉O, and εm=0. Then, A/I is a division ring and also x or 1−x is a unit. In this case, with the help of the conjugate transformation(6)j:a⟶a¯=a¯0+a¯1ε+a¯2ε2+⋯+am−1¯εm−1,on A for a=a0+a1ε+a2ε2+⋯+am−1εm−1∈A, the trace form ta and norm form na can be defined (see [25]).Thus, we can give some results based on the definition of the octonion plane given in [26].It is possible to divide the sets of points and lines of the octonion planeℙ∏ consisting of the elements which are taken from the octonion algebra A into three equivalence classes as follows:(7)N=X=1γ1−1γ2y¯γ1−1γ3z¯yγ1−1γ2nyγ1−1γ3yz¯zγ1−1γ2zy¯γ1−1γ3nz≕1,y,z|y∈A,z∈I∪Y=γ1γ2−1nwwγ3γ2−1wz¯γ1γ2−1w¯1γ3γ2−1z¯γ1γ2−1zw¯zγ3γ2−1nz≕w,1,z|w,z∈I∪Z=γ3−1γ1nxγ3−1γ2xy¯xγ3−1γ1yx¯γ3−1γ2nyyγ3−1γ1x¯γ3−1γ2y¯1≕x,y,1|x,y∈A,and dually(8)D=S=1−q−p−γ2−1γ1q¯γ2−1γ1nqγ2−1γ1q¯p−γ3−1γ1p¯γ3−1γ1p¯qγ3−1γ1np≕1,q,p|p∈A,q∈I∪Q=γ1−1γ2nm−γ1−1γ2m¯γ1−1γ2m¯k−m1−kγ3−1γ2k¯m−γ3−1γ2k¯γ3−1γ2nk≕m,1,k|m,k∈A∪W=γ1−1γ3nqγ1−1γ3q¯r−γ1−1γ3q¯γ2−1γ3r¯qγ2−1γ3nr−γ2−1γ3r¯−q−r1≕q,r,1|q,r∈I.It can also be shown that it is possible to express the incidence relation and the neighbourhood relations on the octonion planeℙ∏ in a shorter form, which is different from the original definition. Hence, we can obtain the result that the octonion plane ℙ∏ is an MK plane.Now, we are ready to give the definition of distance.Figure 1
A representation of the points of an affine plane of orderpr.


## 3. The Definition of Distance in a PK Plane

It is clear that each MK plane is a PK plane and that the coordinatizing for the MK plane can also be used for the coordinatizing of the PK plane. Thus, if matrix representations in an octonion planeℙ∏ are used to represent the points and lines of a PK plane, a definition of distance can be given in the PK plane and hence in the underlying projective plane as a canonical image. With the help of this definition of distance, the correspondence of geometric concepts and shapes such as circles, ellipses, parabolas, and hyperbolas, whose properties are well known in relation to distance in Euclidean planes, will be examined for finite projective planes and finite projective Klingenberg planes. Some numerical results will also be obtained as part of this examination. This numerical analysis will be limited to the projective planes of orders 2, 3, 4, 5, 7, and 8, to one of the four different projective planes of order 9 that are known to be unique, and, by making a generalization, to the projective planes of order pr. Moreover, the results are enriched by carrying out this analysis on some finite Klingenberg planes. For examples of such finite Klingenberg planes, refs. [27, 28] can be consulted. Moreover, more detailed information about such finite structures can be obtained from [29–31].The distance definition we propose emerges from the definitions given for some special matrix spaces in [32]. Although octonion planes are studied with a special subset of Hermitian matrix spaces, here it would be more appropriate to use the definitions of the arithmetic distance given for alternate matrix spaces (the only difference between the two matrix spaces is the factor 1/2 in the following arithmetic distance definition) and the definition of conjugation (this definition is the same in the two matrix spaces). Otherwise, there would be no conjugate point pair in the space we are studying, and this would prevent us from creating a definition of distance.Definition 1.
LetX1 and X2 be any two points of a PK plane M. The arithmetic distance between X1 and X2 is denoted by adX1,X2 and is defined as adX1,X2=rankX1−X2/2. If adX1,X2=1, that is, rankX1−X2=2, then X1 and X2 are called conjugates.
This arithmetic distance has the following properties.Theorem 3.
LetM be a PK plane and any three points of M be X1,X2, and X3. Then,(1)
adX1,X2=1⟺X1≁X2 and adX1,X2=0⟺X1∼X2. So, adX1,X2≥0(2)
adX1,X2=adX2,X1(3)
adX1,X2+adX2,X3≥adX1,X3Proof.
(1)
First, an examination will be made for nonneighbour point pairs. Since the PK plane has three distinct classes of points, and nonneighbour point pairs can be found in the same classes, there are six cases:Case 1: let(9)X1=1γ1−1γ2y¯γ1−1γ3z¯yγ1−1γ2nyγ1−1γ3yz¯zγ1−1γ2zy¯γ1−1γ3nz≁γ1γ2−1nuuγ3γ2−1uv¯γ1γ2−1u¯1γ3γ2−1v¯γ1γ2−1vu¯vγ3γ2−1nv=X2.In this case, we must find the rank of the matrixX1−X2. For this, the number of linear independent rows or columns must be determined. Since the algebra we are working with is not Abelian, the left product will be used for multiplying over rows and the right product for multiplying over columns, as in [33]. For 1≤i,j≤3, the row i. and column j. of the matrix X1−X2are denoted by Si and Kj, respectively. Some elementary row and column operations will be applied to this matrix and thus the rank will be calculated. First, if the elementary operations S2⟶S2−yS1 and S3⟶S3−zS1 are applied, then the matrix(10)1−γ1γ2−1nuγ1−1γ2y¯−uγ1−1γ3z¯−γ3γ2−1uv¯γ1γ2−1ynu−u¯yu−1γ3γ2−1yuv¯−v¯γ1γ2−1znu−vu¯zu−vγ3γ2−1zuv¯−nvis obtained. If the elementary operationsK1⟶K1−K2γ1γ2−1u¯ and K3⟶K3−K2γ3γ2−1v¯ are applied to the last matrix, then the matrix(11)1−y¯u¯γ1−1γ2y¯−uγ1−1γ3z¯−y¯v¯0yu−1γ3γ2−1yuv¯−yuv¯0zu−vγ3γ2−1zuv¯−zuv¯is found. If the elementary operationsK2⟶K2−K11−y¯u¯−1u−γ1−1γ2y¯ and K3⟶K3−K11−y¯u¯−1γ1−1γ3y¯v¯−z¯ where 1−y¯u¯∉I are applied to the resulting matrix, then the matrix(12)1−y¯u¯000yu−1γ3γ2−1yuv¯−yuv¯0zu−vγ3γ2−1zuv¯−zuv¯is obtained, and by applying the elementary operationsS3⟶S3−v−zuyu−1−1S2 where yu−1∉I we have the following matrix:(13)1−y¯u¯000yu−1γ3γ2−1yuv¯−yuv¯00γ3γ2−1zuv¯−zuv¯−v−zuyu−1−1yuv¯−yuv¯.If the elementary operationK2⟶K3−K2yu−1−1γ3γ2−1yuv¯−yuv¯ is applied to this matrix, then we obtain(14)1−y¯u¯000yu−1000γ3γ2−1zuv¯−zuv¯−v−zuyu−1−1yuv¯−yuv¯.If the component (3,3) of this matrix is not inI, it is possible that the rank of the matrix is 3. The only way to eliminate this situation is by showing that the algebra we are working with is associative. If the algebra is associative, the component (3,3) is zero and the rank of the matrix is 2. In [33], some examples are given in which the rank changes depending on whether or not the algebra is commutative. Moreover, in such a case, the definitions of commutative rank (:=crk) and noncommutative rank (:=ncrk) are used. Here, since the rank calculation changes according to whether or not the algebra is associative, it is possible to distinguish between associative rank (:=ark) and nonassociative rank (:=nark). Since the octonion division ring with which we are working is not associative, we may prefer to work with the elements of the quaternion division ring, which is an associative subset of the octonion division ring. If we continue to work with the elements of the octonion division ring, the rank of a matrix must be determined by evaluating any row or column consisting of the elements of the ideal I as a row or column with zeros. In such a case, the rank of the above matrix would be 2. Since z,u,v∈I, the component (3,3) is an element of I and so the linearly independent row or column number is also 2.Case 2: let(15)X1=1γ1−1γ2y¯γ1−1γ3z¯yγ1−1γ2nyγ1−1γ3yz¯zγ1−1γ2zy¯γ1−1γ3nz≁γ3−1γ1nuγ3−1γ2uv¯uγ3−1γ1vu¯γ3−1γ2nvvγ3−1γ1u¯γ3−1γ2v¯1=X2.A proof similar to the proof in Case 1 can be given.Case 3: let(16)X1=γ1γ2−1nwwγ3γ2−1wz¯γ1γ2−1w¯1γ3γ2−1z¯γ1γ2−1zw¯zγ3γ2−1nz≁γ3−1γ1nuγ3−1γ2uv¯uγ3−1γ1vu¯γ3−1γ2nvvγ3−1γ1u¯γ3−1γ2v¯1=X2.A proof similar to the proof in Case 1 can be given.Case 4: let(17)X1=1γ1−1γ2y¯γ1−1γ3z¯yγ1−1γ2nyγ1−1γ3yz¯zγ1−1γ2zy¯γ1−1γ3nz≁1γ1−1γ2u¯γ1−1γ3v¯uγ1−1γ2nuγ1−1γ3uv¯vγ1−1γ2vu¯γ1−1γ3nv=X2.Unlike the first three cases, a proof will be given for this situation. Therefore, we must calculate the rank of the matrixX1−X2 where y−u∉I. After applying the elementary operations S2⟶S2+−yS1 and S3⟶S3+−zS1 to this matrix, the elementary operations K2⟶K2+K1−γ1−1γ2u¯ and K3⟶K3+K1−γ1−1γ3v¯ are applied to the resulting matrix, and then we have the following matrix:(18)0γ1−1γ2y¯−u¯γ1−1γ3z¯−v¯y−u00z−v00.Sincez−v∈I and z¯−v¯∈I, if the last row and last column of this matrix are evaluated as a zero row or zero column, the rank of this matrix is 2. Moreover, if the elementary operations S3⟶S3+v−zy−u−1S2 and K3⟶K3+K2γ2−1γ3y¯−u¯−1v¯−z¯ are applied to the last matrix, then we obtain the following matrix:(19)0γ1−1γ2y¯−u¯0y−u00000,and the rank of this matrix is also 2.Case 5: let(20)Y=γ1γ2−1nwwγ3γ2−1wz¯γ1γ2−1w¯1γ3γ2−1z¯γ1γ2−1zw¯zγ3γ2−1nz≁γ1γ2−1nuuγ3γ2−1uv¯γ1γ2−1u¯1γ3γ2−1v¯γ1γ2−1vu¯vγ3γ2−1nv=Y′.The proof of this case is similar to the proof in Case 4.Case 6: let(21)Z=γ3−1γ1nxγ3−1γ2xy¯xγ3−1γ1yx¯γ3−1γ2nyyγ3−1γ1x¯γ3−1γ2y¯1≁γ3−1γ1nuγ3−1γ2uv¯uγ3−1γ1vu¯γ3−1γ2nvvγ3−1γ1u¯γ3−1γ2v¯1=Z′.The proof of this case is similar to the proof in Case 4.Thus, it is concluded that the arithmetic distance is 1 for all nonneighbour point pairs.This investigation will now be conducted for neighbour point pairs. Since only points of the same type can be neighbours, there are three cases here:Case (i): let(22)X=1γ1−1γ2y¯γ1−1γ3z¯yγ1−1γ2nyγ1−1γ3yz¯zγ1−1γ2zy¯γ1−1γ3nz∼1γ1−1γ2u¯γ1−1γ3v¯uγ1−1γ2nuγ1−1γ3uv¯vγ1−1γ2vu¯γ1−1γ3nv=X′.We will give the proof for this case. For this, we must calculate the rank of the matrixX−X′ where y−u∈I and z−v∈I. If the first four elementary operations as in Case 4 are applied to this matrix, then we find the matrix(23)0γ1−1γ2y¯−u¯γ1−1γ3z¯−v¯y−u00z−v00.All entries of the matrix therefore become elements ofI. In this case, the rank of this matrix can be evaluated as zero.Case (ii): let(24)Y=γ1γ2−1nwwγ3γ2−1wz¯γ1γ2−1w¯1γ3γ2−1z¯γ1γ2−1zw¯zγ3γ2−1nz∼γ1γ2−1nuuγ3γ2−1uv¯γ1γ2−1u¯1γ3γ2−1v¯γ1γ2−1vu¯vγ3γ2−1nv=Y′.The proof of this case is similar to the proof in Case (i).Case (iii): let(25)Z=γ3−1γ1nxγ3−1γ2xy¯xγ3−1γ1yx¯γ3−1γ2nyyγ3−1γ1x¯γ3−1γ2y¯1∼γ3−1γ1nuγ3−1γ2uv¯uγ3−1γ1vu¯γ3−1γ2nvvγ3−1γ1u¯γ3−1γ2v¯1=Z′.The proof of this case is similar to the proof in Case (i).Thus, it is concluded that the arithmetic distance is zero for all neighbour point pairs.(2)
The proof is obvious from the definition of arithmetic distance.(3)
The proof will be given in two cases:Case 1: letX1∼X3. Since adX1,X3=0, there are two subcases:(a)
IfX2∼X1 then X2∼X3 and so we have adX1,X2=0=adX2,X3. Thus, the equality case of the inequality is valid.(b)
IfX2≁X1 then X2≁X3. Since adX1,X2=1=adX2,X3, the inequality is still valid.Case 2: letX1≁X3. Then, adX1,X3=1 and there are two subcases:(a)
IfX2∼X1 then X2≁X3. Thus, the equality case of the inequality is valid.(b)
IfX2≁X1 then either X2∼X3 or X2≁X3. In both cases, there is no result contrary to the inequality.Hence, the proof is complete.Corollary 1.
Every pair of nonneighbour points of a PK planeM is conjugate.Corollary 2.
In the projective plane that is the canonical image of the PK planeM, every pair of points is conjugate.From Corollaries 1 and 2, if we consider the distance definition given for some special matrix spaces in [32] with a small change, we can give the following definition for a PK plane and the projective plane which is the canonical image of it.Definition 2.
LetM be a PK plane and X,X′∈M. If X≁X′, the distance dX,X′ between X and X′ is defined to be the (least) positive integer r for which there is a sequence of r+1 nonneighbour points X0,X1,X2,…,Xr with X0=X and Xr=X′ such that the points Xi for 1≤i≤r−1 are on a line joining X and X′. If X∼X′, then dX,X′=0.Proposition 1.
LetX and X′ be any two points of a PK plane M. Then,(26)adX,X′≤dX,X′.Proof.
IfX∼X′, then adX,X′=0 and dX,X′=0. If X≁X′, then adX,X′=1 and dX,X′≥1. Thus, the given inequality is valid.
Now, we are ready to give the main results.


## 4. The Main Results

By carrying Definition2 over from finite PK planes, we would like to see a corresponding distance concept for finite projective planes and finite affine planes.A situation that needs to be discussed here, as stated in Theorem2, is the one in which the studied complete set is not unique. Projective planes of the same order from each of pr−2!/r different complete sets found by applying certain permutations to a given complete set are obtained. In this case, the selection of these different complete sets to give projective planes whose uniqueness is known is expected to preserve the distances in isomorphism between the obtained planes. If the distances are not preserved, the permutations used in the transitions between these complete sets have an effect on the distance. In this case, it can be concluded that the definition of distance depends on the complete set selected.As an example of the discussion in the last part of the paragraph above, there are51−2!/1=3!=6 different reduced complete sets of the projective plane of order 5. On the complete set given in (Theorem 2.29 in [21]) for n=5, with the help of the permutations σ1=34, σ2=23, σ3=234, σ4=24, and σ5=243, the five different complete sets are obtained (see [22]).Since the projective plane of order 5 is unique, the six complete sets will give the same projective plane, that is, they are isomorphic. However, although these planes are isomorphic, it is not guaranteed that distances will be preserved under the isomorphism. We can give the following small example of this situation. There are two isomorphic projective planes of order 2 denoted byU and V in Figure 2.Figure 2
The projective plane of order 2. (a)U=N,D. (b)V=N′,D′.While the points and lines of the planeU=N,D are, respectively, N=A,B,C,D,E,F,G and(27)D=e1=A,B,E,e2=A,C,F,e3=A,D,G,e4=B,C,G,e5=B,D,F,e6=C,D,E,e7=E,F,G,the points and lines of the plane V=N′,D′ are, respectively, N′=1,2,3,4,5,6,7 and(28)D′=d1=1,2,3,d2=3,6,7,d3=3,4,5,d4=1,4,7,d5=1,5,6,d6=2,5,7,d7=2,4,6.The following isomorphismf can be defined between these two planes does not preserve the distances:(29)f:N⟶N′A⟶4B⟶3C⟶1D⟶6E⟶5F⟶7G⟶2f:D⟶D′e1⟶d3e2⟶d4e3⟶d7e4⟶d1e5⟶d2e6⟶d5e7⟶d6.For example, while the distance betweenG and D in the plane U is 1, the distance between fG=2 and fD=6 in the plane V is 2. Therefore, the selection of the exact set for the projective plane we will work on will be determined by Construction 1 and the exact sets we will work on will be obtained with the help of this construction. Thus, the choice of this complete set will be determined in one way. Moreover, the lines, infinite points, and the infinite line obtained from this complete set will be determined in one way.Now, we will consecutively give a definition, a theorem, and a result to establish the connection between the finite geometries we will study and graphs.Definition 3.
LetP=P,L,∈ be a finite projective plane of order pr. Now, consider each line(30)li=li1,li2,li3,…,lipr,lipr+1,in P as an ordered pr+1-tuple, and then form the set(31)cli=li1,li2,li2,li3,li3,li4,…,lipr−1,lipr,lipr,lipr+1,where 1≤i≤pr+1.Theorem 4.
IfP=P,L,∈ is a finite affine or projective plane of order pr, then we can obtain a graph G=V,E such that VG=P and EG=∪li∈Lcli.The graphs obtained from a finite affine or projective plane of orderpr as in Theorem 4 are called an affine graph and a projective graph, respectively.Corollary 3.
LetG be the graph with the property given in Theorem 4. Then,(i)
The order and the size of the projective graphG are pr2+pr+1 and pr2+pr+1pr, respectively(ii)
The order and the size of the affine graphG are pr2 and pr2+prpr−1, respectively
In the affine plane of orderpr, we know that a point xy is on pr+1 lines. Now, we would like to find the degree of the vertex xy in the affine graph. To find this, it is sufficient to know how many times there are intermediate points or how many times there are end points (both the starting and ending points of a line) on the pr+1 lines passing through the point xy. For the point xy of a line in the affine plane, if xy is one of the end points, this point will be on one edge in the affine graph, and if xy is one of the intermediate points, this point will be on two edges in the affine graph. In this way, it is possible to find the degree sequence of the affine graph obtained, by making this examination over the lines passing through any point of the affine plane. If we examine the tables in Appendix A in [23], the point xy is of the order of x+1 for pr times and of the order of y+1 for one time. Thus, we have the following result.Corollary 4.
The degree sequence of the affine graph obtained from the affine plane of orderpr is 2pr+2pr−2pr−2,2pr+12pr−2,pr+22pr−2,pr+14 where ab means that b is the number of vertices of degree a.Let us consider the new lines formed when completing the affine plane of orderpr to the projective plane with the points (0), (1), (2), …, (pr−1) and (∞). The degrees of the points pr−10, pr−11, pr−12, …, pr−1pr−2, pr−1pr−1 are calculated while they are the end point in the affine graph they come to the intermediate point position pr times, so the degree of these points increases by pr in the projective graph, and the degree of the points 0pr−1, 1pr−1, 2pr−1, …, pr−2pr−1, pr−1pr−1 increases by 1 because the points become intermediate points once. Note that the only common point in the above two groups is pr−1pr−1. The degree of this point will increase by pr+1 as it passes from the affine graph to the projective graph. The degrees of all the other points in the affine graph will not change in the projective graph. It is easy to find the degree of the new points (0), (1), (2),…, (pr−1), (∞) of the projective graph: while each of them is located pr times as an end point in all lines in the projective plane, it is located on the infinite line {(0), (1), (2),…, (pr−1), (∞)} once. For this reason, the degrees of these points are, respectively, pr+1, pr+2, pr+2, …, pr+2, pr+1. A total increase in degree when switching from an affine graph to a projective graph occurs in two situations. These are the points where there is an increase from the degree in the affine graph to the degrees of the new points (0), (1), (2), …, (pr−1), (∞) in the projective graph. So, the increase is pr2+pr+2pr+1+pr−1pr+2=2pr2+4pr. If Corollary 3 and the handshaking lemma are considered together, the same result can be reached again. Thus, we can obtain the following result.Corollary 5.
The degree sequence of the projective graph obtained from the projective plane of orderpr is(32)2pr+2pr−2pr+1,2pr+1pr−1,pr+22pr−2,pr+13.
For example, the degree sequences of the affine and projective graphs obtained from the affine and projective planes of order 2 are (3,3,3,3) and (6,5,4,4,3,3,3), respectively, while the degree sequences of the affine and projective graphs obtained from the affine and projective planes of order 3 are (8,7,7,5,5,4,4,4,4) and (8,8,8,8,7,7,5,5,5,5,4,4,4), respectively.
Now, we are ready to examine examples of the affine and projective planes of order 3 under these conditions. The three affine planes of order 3 in Figure3 are isomorphic. For the completion to the projective planes of the same order as the planes in Figure 3, see Figure 4.
Now, let us try to find the desired results for affine and projective planes of order 3. Let us start by finding the circles of the affine plane. With the help of the definition of a circle, as is known from the Euclidean plane, we can immediately obtain circles from Figure3 (see Table 1). Note that the radius of a circle in the affine plane of order pr can be a maximum of pr−1.
If the circles in Table1 are examined carefully, it can be seen that all circles that can be drawn from one point (including the centre) occur as a partition of the points of the plane. Now, we are curious about the following: how many different partitions of the plane can there be in this way? The answer to this question is clear from Table 1, which shows that the number of different partitions is four: one of C = 00, C = 02, C = 20, and C = 22, one of C = 01 and C = 21, one of C = 10 and C = 12, and finally C = 11. For the four different partitions, see, respectively, Figures 5–8.Figure 3
Affine planes of order 3.
(a)(b)(c)Figure 4
The projective plane of order 3.Table 1
Circles with centre C and radiusr of the affine plane of order 3.
Cr = 1r = 200{01, 10, 11, 12}{02, 20, 21, 22}01{10, 11, 12, 00, 02}{22, 21, 20}02{01, 12, 11, 10}{00, 22, 21, 20}10{00, 01, 02, 20, 21, 22, 11}{12}11{02, 01, 00, 22, 21, 20, 12, 10}{}12{02, 01, 00, 22, 21, 20, 11}{10}20{10, 11, 12, 21}{00, 01, 02, 22}21{12, 11, 10, 22, 20}{02, 01, 00}22{12, 11, 10, 21}{02, 01, 00, 20}Figure 5
The points at a distance of 1 and 2 units from the point 00.Figure 6
The points at a distance of 1 and 2 units from point 01.Figure 7
The points at a distance of 1 and 2 units from point 10.Figure 8
The points at a distance of 1 and 2 unit from the point 11.Corollary 6.
The most advantageous point in the problem is that the nine points should be listed in terms of the sum of their distances to the remaining points which is 11 for each of these points. Moreover, the ranking of these nine points is as follows: 11; 10 or 12; 01 or 21; any one of 00, 20, 02, and 22.Proof.
This ranking is easily obtained if the distances to all the remaining points for each point are found and summed.
Now we want to find the circles of the projective plane of order 3. With the help of Figure4, we can again easily obtain these circles: see Table 2. Note that the radius of a circle in the projective plane of order pr can be a maximum of pr.
If the circles in Table2 are examined carefully, it can be seen that all circles that can be drawn from one point (including the centre) occur as a partition of the points of the plane. How many different partitions of the plane can there be in this way? The answer to this question is clear from Table 2, which shows that the number of different partitions here is also four, with one of C = 00, C = (0), and C = (∞), one of C = 01, C = 02, C = (1), and C = (2), one of C = 10 and C = 20, and finally one of C = 11, C = 12, C = 21, and C = 22. We leave the reader to draw the same figures of the four different partitions as in Figures 5–8.Table 2
Circles with centre C and radiusr of the projective plane of order 3.
Cr = 1r = 2r = 300{01, 10, 11, 12}{02, 20, 21, 22}{(0), (1), (2), (ꝏ)}01{10, 11, 12, 00, 02}{22, 21, 20, (ꝏ)}{(0), (1), (2)}02{01, 12, 11, 10, (ꝏ)}{00, 22, 21, 20}{(0), (1), (2)}10{00, 01, 02, 20, 21, 22, 11}{12, (0), (1), (2)}{(ꝏ)}11{02, 01, 00, 22, 21, 20, 12, 10}{(0), (1), (2), (ꝏ)}{}12{02, 01, 00, 22, 21, 20, 11, (ꝏ)}{10, (0), (1), (2)}{}20{10, 11, 12, 21, (0), (1), (2)}{00, 01, 02, 22}{(ꝏ)}21{12, 11, 10, 22, 20, (0), (1), (2)}{02, 01, 00, (ꝏ)}{}22{12, 11, 10, 21, (0), (1), (2), (ꝏ)}{02, 01, 00, 20}{}(0){20, 21, 22, (1)}{10, 11, 12, (2)}{00, 01, 02, (ꝏ)}(1){20, 21, 22, (0), (2)}{10, 11, 12, (ꝏ)}{00, 01, 02}(2){20, 21, 22, (1), (ꝏ)}{10, 11, 12, (0)}{00, 01, 02}(ꝏ){02, 12, 22, (2)}{01, 11, 21, (1)}{00, 10, 20, (0)}Corollary 7.
The most advantageous point in the problem is that the thirteen points should be listed in terms of the sum of their distances to the remaining points for each of these points are 11, 12, 21, and 22. Moreover, the ranking of the thirteen points is as follows: any one of 11, 12, 21, and 22; 10 or 20; any one of 01, 02, (1), and (2); any one of 00, (0), and (∞).Proof.
This ranking is easily obtained if the distances to the remaining points for each point are found and summed.
Note that the projective planes we are working with have been defined uniquely because of the way in which they are constructed. If it is desired to preserve a relationship as in Corollary6 between the points of the affine plane of order 3, which occurs when a line with all the points is thrown from the projective plane of order 3, the line thrown must be the original infinite line. Otherwise, the relationship between the points in the affine plane will be distorted. However, this new relationship between points will lead to the emergence of another problem with a different relationship in the same affine plane. Examining these relationships in detail may have important consequences for application areas.
Now, we will try to carry over the result in Corollary6 to the affine plane of order pr. That is, we will classify the points of the affine plane, provided that circles of the same radius pass and there are equal numbers of points on these circles. With such a classification, points will emerge for which the sums of the distances from one point of the plane to all other points differ from each other. Therefore, in such a plane, a ranking is obtained of the points that are farthest from the point located at the least distance to every place. In this ranking, we will say that the point or points that are the least distant point or points have the most advantageous location.
Now, suppose thatpr2 points of the affine plane of order pr where pr is odd and k=pr−1/2 are given as an ordered pair (see Figure 9).
The quadrilaterals with all symmetrical enlargements according to the quadrilateralABCD where A is in region 1, B is in region 2, C is in region 3, and D is in region 4, as in Figure 9, are given in Table3 according to the regions to which the corners belong.
All points of the affine plane are reached from the pointK=k,k, which is not included in Tables 3 and 4 and is the first to have the most advantageous point position. The other rankings are given in Tables 3 and 4 and are as follows: the point pairs at 1.1, … , 1.(k − 1), 1.k after the first one; the point quartets from 2.1 to the right after the point pair in 2; as in 2 for 3 and 3.1; and finally the point pair at k + 1 and the point quartets from (k + 1).1 to the right.
Table5, which is similar to Table 4, is obtained for the points of the affine plane of order pr wherepr is even and k=pr/2. However, in this case, the quadrilateral A′,B′,C′,D′ instead of the point K in the middle of Figure 9 will correspond (see Table 5).
The most advantageous ranking of points is given in Table5 and is as follows: point quartets in 1 to the right, then point quartets in 2 to the right, and so on, finally the point quartets in k to the right. Thus, the points A′,B′,C′,D′ are in the most advantageous point position.
By classifying the points of the affine plane of orderpr as above, the following two results are obtained:(1)
There arepr−1/22+pr−1+1 different points of the plane when pr is odd(2)
There arepr/22 different points of the plane when pr is even
Whenpr is odd and k=pr−1/2, all circles of radius 1, 2, 3, …, k that can be drawn from the point K=k,k have 2pr+1 points, which is the maximum number of points that can be found on the circles of radius 1, 2, 3, …, k that are different. If we add the points on these circles and add the point K, we reach the total number of points in the affine plane. All circles that can be drawn from the point K give a partition of the points of the affine plane. This case is valid for all points of the plane, since all points of the plane are on lines passing through a point.
Whenpr=2, there are 3 points on the circle of radius 1. When pr>2 is even and k=pr/2, there are a maximum of 2pr+1 points on the circle of radius 1. All circles of radius 1, 2, 3, …, k that can be drawn from each of the points A′,B′,C′,D′ have 2pr+1,2pr+1,…,2pr+1,pr+1 points, respectively, and these points are different. If we add the points on these circles and add the centre, we reach the total number of points in the affine plane. The results we express for a partition in the previous case are then also valid in this case.
This classification obtained for affine planes can be found for projective planes of orderpr.
Now, we would like to carry over the concept of an ellipse, which is a well-known concept from the Euclidean plane, to affine planes of orderpr. In order to find the points of the ellipse, for which the sum of the distances to the foci is s for each distance a between the focal points xy and zt for 1≤a≤pr−1, the steps below are followed, where u⟷v means both v to u and u to v:(1)
Fors=2, the intersection points of circles with distances 1⟷1 to the foci are found(2)
Fors=3, the intersection points of circles with distances 1⟷2 to the foci are found(3)
Fors=4, the intersection points of circles with distances 1⟷3 and 2⟷2 to the foci are found(4)
Fors=pr−1, the intersection points of circles with distances 1⟷pr−2, 2⟷pr−3, …, and finally pr−2/2⟷pr−pr/2 if pr is even (or pr−1/2⟷pr−pr+1/2 if pr is odd) to the foci are found, and so on(5)
In the final step, fors=pr+i such that 0≤i≤pr−2, the intersection points of circles with distances i+1⟷pr−1, i+2⟷pr−2, …, and finally s/2⟷s−s/2 if s is even (or s−1/2⟷s−s−1/2 if s is odd) to the foci are found
Now, let us carry over the concept of a hyperbola, which is a well-known concept from the Euclidean plane, to affine planes of orderpr. To find the points of the hyperbola, for which the difference of the distances to the foci is s for each distance a between the focal points xy and zt for 1≤a≤pr−1, the steps below are followed, where u⟷v means both v to u and u to v:(1)
Fors=0, the intersection points of circles with distances 1⟷1, 2⟷2, …, and finally pr−1⟷pr−1 to the foci are found(2)
Fors=1, the intersection points of circles with distances 1⟷2, 2⟷3, …, and finally pr−2⟷pr−1 to the foci are found(3)
Fors=2, the intersection points of circles with distances 1⟷3, 2⟷4, …, and finally pr−3⟷pr−1 to the foci are found, and so on(4)
In the final step, fors=pr−2, the intersection points of circles with distances 1⟷pr−1 to the foci are found
Thus, we can state the following result.Figure 9
The points of the affine plane ofpr when pr is odd.Table 3
The ranking of2pr−1 points of the affine plane of order pr.
Ranking1.11.(k − 2)1.(k − 1)1.kThe linex = kk,k−1⋯k,2k,1k,0k,k+1⋯k,k+k−2k,k+k−1k,k+kRanking2k − 1kk + 1The liney = kk−1,k⋯2,k1,k0,kk+1,k⋯k+k−2,kk+k−1,kk+k,kTable 4
The ranking ofpr−12 points of the affine plane of order pr.
RankingRegion2.11A=k−1,k+1k−1,k+2k−1,k+3⋯k−1,k+k2B=k−1,k−1k−1,k−2k−1,k−3⋯k−1,k−k3C=k+1,k+1k+1,k+2k+1,k+3⋯k+1,k+k4D=k+1,k−1k+1,k−2k+1,k−3⋯k+1,k−k3.11k−2,k+1k−2,k+2k−2,k+3⋯k−2,k+k2k−2,k−1k−2,k−2k−2,k−3⋯k−2,k−k3k+2,k+1k+2,k+2k+2,k+3⋯k+2,k+k4k+2,k−1k+2,k−2k+2,k−3⋯k+2,k−k4.11k−3,k+1k−3,k+2k−3,k+3⋯k−3,k+k2k−3,k−1k−3,k−2k−3,k−3⋯k−3,k−k3k+3,k+1k+3,k+2k+3,k+3⋯k+3,k+k4k+3,k−1k+3,k−2k+3,k−3⋯k+3,k−k⋮⋮⋮⋮(k + 1).11k−k,k+1k−k,k+2k−k,k+3⋯k−k,k+k2k−k,k−1k−k,k−2k−k,k−3⋯k−k,k−k3k+k,k+1k+k,k+2k+k,k+3⋯k+k,k+k4k+k,k−1k+k,k−2k+k,k−3⋯k+k,k−kTable 5
The ranking of all points of the affine plane of orderpr.
RankingRegion11A′=k−1,kk−1,k+1k−1,k+2⋯k−1,k+k−12B′=k−1,k−1k−1,k−2k−1,k−3⋯k−1,k−k3C′=k,kk,k+1k,k+2⋯k,k+k−14D′=k,k−1k,k−2k,k−3⋯k,k−k21k−2,kk−2,k+1k−2,k+2⋯k−2,k+k−12k−2,k−1k−2,k−2k−2,k−3⋯k−2,k−k3k+1,kk+1,k+1k+1,k+2⋯k+1,k+k−14k+1,k−1k+1,k−2k+1,k−3⋯k+1,k−k31k−3,kk−3,k+1k−3,k+2⋯k−3,k+k−12k−3,k−1k−3,k−2k−3,k−3⋯k−3,k−k3k+2,kk+2,k+1k+2,k+2⋯k+2,k+k−14k+2,k−1k+2,k−2k+2,k−3⋯k+2,k−k⋮⋮⋮⋮⋮k1k−k,kk−k,k+1k−k,k+2⋯k−k,k+k−12k−k,k−1k−k,k−2k−k,k−3⋯k−k,k−k3k+k−1,kk+k−1,k+1k+k−1,k+2⋯k+k−1,k+k−14k+k−1,k−1k+k−1,k−2k+k−1,k−3⋯k+k−1,k−kCorollary 8.
All ellipses (or hyperbolas) for which the distance between the focal pointsxy and zt is a where 1≤a≤pr−1 and the sum (or difference) of the distances to the foci is s give a partition for the points of an affine plane of order pr.Note that the above processes given for finding the points of ellipses and hyperbolas and Corollary8 are valid for the projective planes of order pr, with small differences.By using the processes for ellipses and hyperbolas, we leave the reader to find all ellipses and hyperbolas of the affine and projective planes of order 3 in Figures3 and 4, respectively.Now, we will give definition of “distance of a point to a line” which is valid in the affine planes of orderpr. Assume that we have a line l and a point P not on the line in an affine plane of order pr. We then know that there is a unique line parallel to the line l and passing through the point P. The distance between the two parallel lines will be defined as the distance to the line l of the point P. Each line in the other parallel classes is named 0y since 0y is the point on the y-axis of this line, except for the parallel class of lines parallel to the y-axis. Each line in the remaining parallel class is named 0x, to be compatible with the others, since 0x is the point on the x-axis of the line. Thus, the distance between two lines called 0z and 0w in a parallel class is defined as z−w. For such an example, see Figure 3(b). In this example, the distances of point 00 to, respectively, the purple line P.02, the red line P.00, the green line P.01, and the blue line P.01 are 2, 0, 1, and 1.We can then carry over the concept of a parabola, which is a well-known concept from the Euclidean plane, to affine planes of orderpr.We leave the reader to find all parabolas of the affine plane of order 3 in Figure3.Finally, we give an example of a finite PK plane in which the projective plane lying under its epimorphic image is a Fano plane. For the incidence table of the plane in Figure10 coordinatized by the local ring ℤ22with the help of the representations in the coordinatization given for PK planes in [34], see [27].We know from the geometry that we have studied that the distance between points in the same neighbourhood is zero: that is, there is no significant difference between these points, but these points are connected to each other with a certain relationship. We can think of the equivalence of points in the same neighbourhood in graph theory applications as a traffic or transaction density at these corner points. Therefore, each vertex and edge of finite projective graphs and affine graphs obtained from finite projective and affine planes, respectively, can be extended by neighbourhood classes based on a certain relationship. Thus, these projective and affine graphs can now be treated as finite projective Klingenberg graphs (PK graphs) and affine Klingenberg graphs (AK graphs), respectively. Note that if we remove the infinite line {E,G,F} from the finite PK plane in Figure10, with all the points on it, we obtain an example of an AK plane of order 2. A finite PK graph and an AK graph, with neighbourhood classes consisting of a single point and a single line will be, respectively, finite projective and affine graphs. In finite affine and projective graphs, the results we have obtained for nonneighbour points are valid for finite PK graphs and AK graphs.Figure 10
An example of a PK plane of order 2.


## 5. Conclusions

In a finite projective Klingenberg plane, or a finite projective plane lying under such a plane as an epimorphic image, or a finite affine plane obtained by throwing a line in the finite projective plane, a definition of distance has been given that is not encountered in the literature. This definition of distance was obtained with the help of the rank of a matrix in an octonion plane whose points and lines are represented by matrices. By selecting a line as a path in a finite plane of orderpr, graphs called affine and projective graphs, whose degree sequence is exactly known and connected, were obtained from this finite plane. With the help of this distance definition, the most central point problem in affine and projective graphs was discussed and the solution was obtained. Moreover, the equivalents of the concepts of circle, ellipse, hyperbola, and parabola in these finite planes were examined. Finally, the results obtained were interpreted on affine and projective Klingenberg graphs and the conclusion was reached that such graphs, obtained from finite geometries, can be used as a tool for solving some important real-life problems. For example, these graph models may be the most economical and profitable models for problems such as establishing sewage, water, train, bus, or residential networks in environmental and city planning, and also the production or distribution bands of a business.



---

*Source: 6668682-2021-01-28.xml*