A class of topological affine translation planes having no topological projective extension
type: Item
instance of: scholarly article
title: A class of topological affine translation planes having no topological projective extension
zbMATH Open document ID: 0782.51002
DOI: 10.1007/BF03322302
published in: Results in Mathematics
publication date: 1993-10-11T00:00:00Z
review text: For any quadrangle \((o,u,v,e)\) in a projective plane, one obtains an algebraic structure of the affine line \(ov\backslash\{v\}\), called ternary field. The ternary operation is defined by means of joining points and intersecting lines. This ternary field encodes the geometry; in fact, every ternary field determines a projective plane up to isomorphism. If the projective plane is topological (i.e., endowed with topologies that render the operations ``join'' and ``intersect'' continuous), then the ternary operation (and every geometrically relevant ``inverse'') is obviously continuous as well. However, the construction of a projective plane from a given ternary field starts with an affine point set and the set of all affine lines of finite slope, while the remaining points and lines are added afterwards. This implies that a topological ternary field need not give rise to a topological projective plane, not even to a topological affine plane [cf. the author, Topologische Divisionsalgebren ohne zugehörige topologische affine Ebene, Abh. Math. Semin. Hamb. 62, 167-177 (1992)]. Under additional topological or algebraical (resp. geometrical) assumptions, it has been proved that the projective plane is topological, see the references in the paper under review. In the present paper, a construction of D. Betten is generalized to obtain a class of topological quasifields \(Q\) (of dimension 2 over some ordered commutative field \({\mathbf K}\)) which yield topological (translation) planes (Theorem 2.2). The projective extension of such an affine plane is, in general, not topological; in fact, the author proves the following (Theorem 2.5). If \({\mathbf K}\) has an infinite transcendence basis over its prime field, then there is a valuation topology \(\mu\) of \({\mathbf K}\) such that the supremum of \(\mu\) and the order topology gives a field topology on \({\mathbf K}\) such that, with respect to the corresponding product topologies, the quasifield \(Q\) and the affine pl…
Mathematics Subject Classification ID: 51H10
zbMATH DE Number: 428630
zbMATH Keywords: topological quasifields
zbMATH Keywords: ternary fields
zbMATH Keywords: topological projective plane
zbMATH Keywords: affine translation plane
zbMATH Keywords: ordered field
zbMATH Keywords: valuation topology
author: Eberhard F. Eisele
reviewed by: Markus Stroppel
MaRDI profile type: Publication
cites work: 4-dimensionale Translationsebenen. (4-dimensional translation planes)
cites work: Topological ternary fields not belonging to a topological projective plane
cites work: Cartesian groups not belonging to topological projective planes
cites work: Topological division algebras without corresponding topological affine plane
cites work: Continuous incidence relations of topological planes
cites work: Ternary fields of compact projective planes
cites work: Topologien von Moultonebenen. (Topologies of Moulton planes.)
cites work: Beiträge zur topologischen Algebra
cites work: Q3227201
cites work: Eine Klasse topologischer Fastkörperebenen
cites work: Topological projective planes
cites work: Topological planes
cites work: Q5830981
cites work: Order and Topology in Projective Planes
description: scientific article; zbMATH DE number 428630