 Research
 Open access
 Published:
On the hyperbolic Klingenberg plane classes constructed by deleting subplanes
Journal of Inequalities and Applications volume 2013, Article number: 357 (2013)
Abstract
In this study we investigate the structures constructed by deleting a subplane from a projective Klingenberg plane. If the superplane and the subplane are infinite, then it can be easily seen that the remaining structure satisfies the conditions of a hyperbolic Klingenberg plane. In this study we show that the remaining structure is the hyperbolic Klingenberg plane if the inequality r\ge {m}^{2}+m+1+\sqrt{{m}^{2}+m+2} holds when the superplane and the subplane are finite and t, r and t, m are their parameters, respectively.
MSC:51D20, 05B25.
Dedication
Dedicated to Professor Hari M Srivastava
1 Introduction
There are three kinds of important planes in plane geometry: affine planes, projective planes and hyperbolic planes. In affine planes, only one parallel line can be drawn to a line from a point not on this given line (which is Playfair’s version of Euclid’s famous fifth postulate, [1]). In projective planes, all lines intersect, that is, we cannot mention parallel lines. In hyperbolic planes, exactly k parallel lines (k\ge 2) can be drawn to a given line from a point not on this given line. In literature, there is a lot of work on these planes.
Geometrical structures, which are more general than affine and projective planes, are obtained by taking a class of points instead of a point, a class of lines instead of a line, and by reorganizing the incidence relation [2]. These generalizations can be found in [3] for affine planes, in [4] for projective planes, and in [5] for hyperbolic planes.
In this paper incidence structures are defined as in [6] and blocks are called lines. For any point P, (P) denotes the set of lines incident with the point P, [P] the cardinality of (P), and [P,Q] the number of lines joining P and Q. (l), [l], and [l,d] are defined dually.
A projective Klingenberg plane (PKplane) is an incidence structure \mathcal{K}=(\mathcal{P},\mathcal{L},\mathcal{I}) together with an equivalence relation ∼ on and ℒ (called neighbor relation, and the equivalence (neighbor) class of P (resp. l) is denoted by \u3008P\u3009 (resp. \u3008l\u3009)) such that:
(PK1) P\nsim Q\u27f9[P,Q]=1, \mathrm{\forall}P,Q\in \mathcal{P}.
(PK2) l\nsim d\u27f9[l,d]=1, \mathrm{\forall}l,d\in \mathcal{L}.
(PK3) There exists a projective plane {\mathcal{K}}^{\ast} (the canonical image of ) and an incidence structure epimorphism \phi :\mathcal{K}\to {\mathcal{K}}^{\ast} such that
Axiom (PK3) is equivalent to the following.
(PK3)′ Putting \u3008P\u3009\mathcal{I}\u3008l\u3009 iff there are Q, d with Q\sim P, d\sim l and Q\mathcal{I}d, the equivalence classes with respect to this incidence an ordinary projective plane {\mathcal{K}}^{\ast}.
In the above definition, ≁ means ‘nonneighboring’, and PKplanes are denoted by \mathcal{K}=(\mathcal{P},\mathcal{L},\mathcal{I},\sim ).
A point P is said to be near a line l, and this is denoted by P\sim l, whenever P\sim Q for some Q\mathcal{I}l. Detailed information about PKplanes can be found in [4, 7].
One can easily prove the following lemma.
Lemma 1 Let \mathcal{K}=(\mathcal{P},\mathcal{L},\mathcal{I},\sim ) be a PKplane. Then

(i)
P\sim l\u27fa\mathrm{\exists}h\in \mathcal{L}, such that h\sim l, and P\mathcal{I}h,

(ii)
h\sim d\u27fa\mathrm{\exists}{H}_{i}\mathcal{I}h,\mathrm{\exists}{D}_{i}\mathcal{I}d\ni {H}_{i}\sim {D}_{i}, {H}_{1}\nsim {H}_{2}, {D}_{1}\nsim {D}_{2}, h,d\in \mathcal{L}, {H}_{i},{D}_{i}\in \mathcal{P}, i=1,2,

(iii)
\text{\u2018}{P}_{1}\in \mathcal{P},{l}_{1},{l}_{2}\in \mathcal{L},{P}_{1}\mathcal{I}{l}_{1},{l}_{1}\sim {l}_{2}\text{\u2019}\u27f9\mathrm{\exists}{P}_{2}\ni {P}_{2}\mathcal{I}{l}_{2}, {P}_{1}\sim {P}_{2}.
When \mathcal{P}\cup \mathcal{L} is finite, the geometric structure is called finite. Now, we state a theorem for finite regular PKplanes, which can be found in [8]. The original proof of this theorem for Hjelmslev planes is due to Kleinfeld [9]. Drake and Lenz [10] observed that this proof remains valid for PKplanes.
Theorem 2 Let \mathcal{K}=(\mathcal{P},\mathcal{L},\mathcal{I},\sim ) be a PKplane. Then there are natural numbers t and r which are called the parameters of , with:

(i)
\u3008P\u3009=\u3008l\u3009={t}^{2}, \mathrm{\forall}P\in \mathcal{P}, l\in \mathcal{L}.

(ii)
(P)\cap \u3008l\u3009=(l)\cap \u3008P\u3009=t, \mathrm{\forall}P\mathcal{I}l.

(iii)
Let r be the order of a projective plane {\mathcal{K}}^{\ast}. If t\ne 1, we have r\le t (then is called proper and we have t=1 iff is an ordinary projective plane).

(iv)
[P]=[l]=t(r+1), \mathrm{\forall}P\in \mathcal{P}, \mathrm{\forall}l\in \mathcal{L}.

(v)
\mathcal{P}=\mathcal{L}={t}^{2}({r}^{2}+r+1).
A projective or affine Klingenberg plane (PK, AKplane) is defined as a generalization of ordinary affine and ordinary projective plane (see [3]). Like these, in [5] the definition for a hyperbolicKlingenberg plane (HKplane) is given as a generalization of an ordinary hyperbolic plane. We recall these definitions from the literature.
It is well known that there is an alternative system of axioms for a hyperbolic plane. For instance, Graves introduced the following definition.
A hyperbolic plane is a geometric structure such that:
(A1) There are at least two points on each line.
(A2) Two distinct points lie on one and only one line.
(A3) There exist at least four points, no three of which are collinear.
(A4) Through each point X not on a line l, at least two lines pass not meeting (parallel to) l.
(A5) If a subset S of the points contains all points on the lines through pairs of distinct points of S, then the subset S contains all points of the geometric structure (see [11–14]).
A hyperbolic Klingenberg plane (HKplane) ℋ is a system (\mathcal{P},\mathcal{L},\mathcal{I},\parallel ,\sim ), where (\mathcal{P},\mathcal{L},\mathcal{I}) is an incidence structure and ∼ is an equivalence relation on \mathcal{P}\cup \mathcal{L} (called neighboring) such that no element of (point) is neighbor to any element of ℒ (line), ∥ is an equivalence relation on ℒ (called parallelism), and ℋ satisfies the following axioms for all P,Q\in \mathcal{P}, g,h\in \mathcal{L}:
(HK1) P\nsim Q\u27f9[P,Q]=1, \mathrm{\forall}P,Q\in \mathcal{P}.
(HK2) l\in \mathcal{L}\u27f9\mathrm{\exists}P\mathcal{I}l,Q\mathcal{I}l, P\nsim Q.
(HK3) There exist at least four pairwise nonneighbor points, no three of which are collinear.
(HK4) For each pointline pair (P,l), P\nsim l, there are at least two nonneighboring lines through P parallel to l.
(HK5) There exist a hyperbolic plane {\mathcal{H}}^{\ast}=({\mathcal{P}}^{\ast},{\mathcal{L}}^{\ast},{\mathcal{I}}^{\ast}) and an incidence structure epimorphism \phi :\mathcal{H}\to {\mathcal{H}}^{\ast} such that
and if [g,h]=0 then \phi (g)\parallel \phi (h) (see [5]).
Various models for hyperbolic planes such as Poincare’s models (see [12]), Sandler’s models (see [14]) and the extension of Sandler’s models (see [13]) have been developed. It is well known that if a line is deleted from a projective plane, then the remaining substructure forms an affine plane. Graves [11], KayaÖzcan [13] and Sandler [14] gave examples of hyperbolic planes obtained by deletion from projective planes. Sandler showed that if three nonconcurrent lines are deleted from a projective plane, then the remaining structure forms a hyperbolic plane [14]. KayaÖzcan [13] extended Sandler’s construction and showed that if m lines, no three of which are concurrent, are deleted from a projective plane, then the remaining structure forms a hyperbolic plane. If is a PKplane and l is a line, by deleting all lines neighbor to l and all points near to l, the remaining structure forms an affine Klingenberg plane. In [5] the method of [13] was adopted for obtaining an HKplane from a PKplane.
2 Deleting subplane from finite PKplane
Let \mathrm{\Pi}=(\mathcal{P},\mathcal{L},\mathcal{I}) be a finite projective plane of order n, then it is well known that Π has {n}^{2}+n+1 points and {n}^{2}+n+1 lines. Also, there are n+1 points on each line and n+1 lines pass through each point. If Π is any finite projective plane, then the possible order of subplanes of Π is restricted by the following theorem (see [15]).
Theorem 3 Let Π be a finite projective plane of order n with a proper subplane {\mathrm{\Pi}}^{\mathrm{\prime}} of order m. Then either n={m}^{2} or n\ge {m}^{2}+m. If n={m}^{2}, a subplane is called a Baer subplane.
The following lemma is proven by simple calculations (see [15]).
Lemma 4 If a Baer subplane with order m is deleted from the projective plane of finite order n, then the remaining structure is empty.
The following theorem is given from [16].
Theorem 5 Let \mathrm{\Pi}=(\mathcal{P},\mathcal{L},\mathcal{I}) be a finite projective plane of order n with a nonBaer subplane {\mathrm{\Pi}}^{\mathrm{\prime}}=({\mathcal{P}}^{\mathrm{\prime}},{\mathcal{L}}^{\mathrm{\prime}},{\mathcal{I}}^{\mathrm{\prime}}) of order m. Then the substructure {\mathrm{\Pi}}_{0}=({\mathcal{P}}_{0},{\mathcal{L}}_{0},{\mathcal{I}}_{0}) , {\mathcal{P}}_{0}=\mathcal{P}\mathrm{\setminus}\{X\in \mathcal{P}\mid X\in l,l\in {\mathcal{L}}^{\mathrm{\prime}}\}, {\mathcal{L}}_{0}=\mathcal{L}\mathrm{\setminus}{\mathcal{L}}^{\mathrm{\prime}}, {\mathcal{I}}_{0}=\mathcal{I}\cap ({\mathcal{P}}_{0}\times {\mathcal{L}}_{0}) is a hyperbolic plane if n\ge {m}^{2}+m+1+\sqrt{{m}^{2}+m+2}.
Now we can adopt the last theorem to obtain a hyperbolic Klingenberg plane from a projective Klingenberg plane. However, we must give the following lemma before the theorem. Since the incidence relation and neighboring are similar, we use the same notation for the incidence and neighbor relations of a subplane and a superplane.
Lemma 6 Let \mathcal{K}=(\mathcal{P},\mathcal{L},\mathcal{I},\sim ) be a finite projective Klingenberg plane with parameters t and r, and let {\mathcal{K}}^{\mathrm{\prime}}{=(\mathcal{P}}^{\mathrm{\prime}},{\mathcal{L}}^{\mathrm{\prime}},\mathcal{I},\sim ) be a subplane of with parameters t, m such that r\ge {m}^{2}+m. Then we consider the substructure {\mathcal{K}}_{0}=({\mathcal{P}}_{0},{\mathcal{L}}_{0},\mathcal{I},\sim ), where {\mathcal{P}}_{0}=\mathcal{P}\mathrm{\setminus}\{X\in \mathcal{P}\mid \mathrm{\exists}l\in \mathcal{L},l\cap {\mathcal{P}}^{\mathrm{\prime}}={l}^{\mathrm{\prime}}\in {\mathcal{L}}^{\mathrm{\prime}},X\in l\}, then the following properties hold:

(i)
For any l\in \mathcal{L}, \u3008l\u3009 has {t}^{2}(r+1) points.

(ii)
If P\nsim Q and P,Q\in {\mathcal{P}}_{0}, then [P,Q]=1.

(iii)
{\mathcal{L}}_{0}={t}^{2}({r}^{2}+r{m}^{2}m).

(iv)
{\mathcal{P}}_{0}={t}^{2}(rm)(r{m}^{2}).

(v)
If {l}_{0}\in {\mathcal{L}}_{0}, then [{l}_{0}]=t(r{m}^{2}m) or ({l}_{0})=t(r{m}^{2}).
Proof (i) For any d\in \u3008l\u3009, \phi (d)={d}^{\ast} is a line of {\mathcal{K}}^{\ast} which is the projective plane of order r where \phi :\mathcal{K}\to {\mathcal{K}}^{\ast} is the incidence structure epimorphism given in (PK3). Since {d}^{\ast} has r+1 points and every point of {\mathcal{K}}^{\ast} is the image of {t}^{2} neighbor points, \u3008l\u3009 has {t}^{2}(r+1) points.

(ii)
Since {\mathcal{P}}_{0}\subset \mathcal{P}, it is obvious from (PK1) for .

(iii)
Since and {\mathcal{K}}^{\prime} has {r}^{2}+r+1 and {m}^{2}+m+1 pairwise nonneighbor lines respectively, {\mathcal{K}}_{0} has
{r}^{2}+r+1({m}^{2}+m+1)={r}^{2}+r{m}^{2}m
pairwise nonneighbor lines. Therefore {\mathcal{K}}_{0} has {t}^{2}({r}^{2}+r{m}^{2}m) lines.

(iv)
Let {l}^{\prime}\in {\mathcal{K}}^{\prime} and l\in \mathcal{K} be such that {l}^{\prime}=l\cap {\mathcal{P}}^{\mathrm{\prime}}, then \u3008{l}^{\prime}\u3009 has {t}^{2}(m+1) points and \u3008l\u3009 has {t}^{2}(r+1) points. For this reason, \u3008l\u3009 has {t}^{2}(rm) points which do not belong to \u3008{l}^{\prime}\u3009. Since {\mathcal{K}}^{\mathrm{\prime}} has {m}^{2}+m+1 pairwise distinct neighbor classes for lines, there are {t}^{2}(rm)({m}^{2}+m+1) points belonging to deleted lines not in {\mathcal{P}}^{\mathrm{\prime}}. In addition to these points, all the points of {\mathcal{K}}^{\mathrm{\prime}} are deleted. Therefore the total number of deleted points is
{t}^{2}(rm)({m}^{2}+m+1)+{t}^{2}({m}^{2}+m+1)={t}^{2}({m}^{2}+m+1)(1+rm)\text{.}
Consequently, {\mathcal{K}}_{0} has
points.

(v)
Let {l}_{0}=l\cap {\mathcal{P}}_{0}\in {\mathcal{L}}_{0} and l\in \mathcal{L}. There exist two cases: l\cap {\mathcal{P}}^{\mathrm{\prime}}=\varphi or not.

(a)
Let l\cap {\mathcal{P}}^{\mathrm{\prime}}=\varphi. Then [l]=t(r+1) and all pairwise nonneighbor lines of {\mathcal{K}}^{\prime} intersect l on pairwise nonneighbor points. Since {m}^{2}+m+1, the pairwise distinct lines of {\mathcal{K}}^{\prime} intersect l on t({m}^{2}+m+1) points which are deleted from l. Therefore [{l}_{0}]=t(r+1)t({m}^{2}+m+1)=t(r{m}^{2}m).

(b)
Let l\cap {\mathcal{P}}^{\mathrm{\prime}}\ne \varphi. Then there exists a point N\in {\mathcal{P}}^{\mathrm{\prime}} such that l\cap {\mathcal{P}}^{\mathrm{\prime}}=l\cap \u3008N\u3009. Therefore l\cap {\mathcal{P}}^{\mathrm{\prime}} has t neighbor points. The number of pairwise nonneighbor lines of {\mathcal{K}}^{\prime} through the points neighbor to N is m+1. Since {\mathcal{K}}^{\prime} has {m}^{2}+m+1 pairwise distinct lines and m+1 of these lines pass through the neighbor points to N, there are {m}^{2} pairwise nonneighbor lines in {\mathcal{K}}^{\prime} which intersect l on pairwise nonneighbor points not belonging to \u3008N\u3009. Therefore {m}^{2}+1 point neighbor classes are deleted from l. Since every neighbor class of points has t points on l, we have [{l}_{0}]=t(r+1({m}^{2}+1))=t(r{m}^{2}). □
Under the same assumptions of the following theorem, in [16] it is shown that {\mathcal{K}}_{0}^{\ast} is the hyperbolic plane, and therefore we obtain the following theorem considering the previous lemma.
Theorem 7 The structure {\mathcal{K}}_{0} given in the previous lemma is a hyperbolic Klingenberg plane if r\ge {m}^{2}+m+1+\sqrt{{m}^{2}+m+2}.
3 Some outstanding problems
In this paper, it is shown that the structure obtained by deletion of a subplane with parameters t, m from the finite Klingenberg plane with parameters t, r is a hyperbolic Klingenberg plane when the parameters of the subplane are suitably small relative to the parameters of the superplane. But now we give some outstanding problems.

When is the structure {\mathcal{K}}_{0} a HKplane where the parameters of the superplane are t, r and the parameters of the subplane are {t}^{\mathrm{\prime}}, m and t\ne {t}^{\mathrm{\prime}}?

When is a HKplane with appropriate parameter restriction a subplane deleted PKplane?
References
Heath STL 1. In The Thirteen Books of the Elements. 2nd edition. Dover, New York; 1956. (Books I and II)
Bacon PY: An Introduction to Klingenberg Planes. 2nd edition. Bacon, Gainesville; 1976.
Baker CA, Lane ND, Lorimer JW: An affine characterization of Moufang projective Klingenberg planes. Results Math. 1990, 17: 27–36. 10.1007/BF03322627
Baker CA, Lane ND, Lorimer JW: A coordinatization for MoufangKlingenberg planes. Simon Stevin 1991, 65(1–2):3–22.
Çelik B: A hyperbolic characterization of projective Klingenberg planes. Int. J. Math. Sci. 2008, 2(1):10–14.
Dembowski P: Finite Geometries. Springer, Berlin; 1968.
Blunck A: Crossratios in MoufangKlingenberg planes. Geom. Dedic. 1992, 43: 93–107.
Jungnickel D: Regular Hjelmslev planes. J. Comb. Theory, Ser. A 1979, 26: 20–37. 10.1016/00973165(79)900517
Kleinfeld E: Finite Hjelmslev planes. Ill. J. Math. 1959, 3: 403–407.
Drake DA, Lenz H: Finite Klingenberg planes. Abh. Math. Semin. Univ. Hamb. 1975, 44: 70–83. 10.1007/BF02992947
Graves LM: A finite BolyaiLobachevsky plane. Am. Math. Mon. 1962, 69: 130–132. 10.2307/2312543
Iversen B: Hyperbolic Geometry. Cambridge University Press, Cambridge; 1992.
Kaya R, Özcan E: On the construction of BolyaiLobachevsky planes from projective planes. Rend. Semin. Mat. Brescia 1982, 7: 427–434.
Sandler R: Finite homogeneous BolyaiLobachevsky planes. Am. Math. Mon. 1963, 70: 853–854. 10.2307/2312671
Hughes DR, Piper FC: Projective Planes. Springer, Berlin; 1973.
Çelik B: On some hyperbolic planes from finite projective planes. Int. J. Math. Math. Sci. 2001, 25(12):757–762. 10.1155/S0161171201006184
Acknowledgements
This work was supported by the Commission of Scientific Research Projects of Uludag University, Project number UAP(F)2012/23.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Çelik, B. On the hyperbolic Klingenberg plane classes constructed by deleting subplanes. J Inequal Appl 2013, 357 (2013). https://doi.org/10.1186/1029242X2013357
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2013357