Isotopy (geometry)
In synthetic geometry, isotopy is a weakening of the isomorphism (of bodies and oblique bodies ) for ternary bodies (and more specific generalized bodies such as quasi-bodies and half-bodies ). The term isotopy takes into account the fact that for non-Desargue projective planes the algebraic structure of the coordinate range of the plane is generally not clearly defined by its geometric structure “except for isomorphism”. However, it could be shown that the coordinate ternary bodies of two projective planes, which are geometrically isomorphic, are always algebraically isotopic and that conversely projective planes, which can be coordinated by isotopic ternary bodies, are always geometrically isomorphic. Only with the projective relatives developed by Hans-Joachim Arnold from geometric relational algebra do the transition processes of algebraization and geometry return synonymously, i.e. H. except for isomorphism, in his projective classification theorem. In analogy to the corresponding terms derived from isomorphism , one speaks of isotopic generalized bodies if a triple of reversible mappings with certain structure-preserving properties exists between these solids, and then the mapping triple is called an isotopism .
→ Isotopisms of ternary bodies are a special case of isotopisms of quasi-groups . See also quasi-group # morphisms .
definition
They are ternary bodies. A triple of 3 bijective mappings is called an isotopism from K to L , if
- and
- for all
applies. If there is an isotopism from K to L , the two ternary bodies are called isotopic to each other and they are called the same except for isotopy .
properties
- Since the required mappings must be bijective, two isotopic ternary bodies are always equally powerful , if one of the isotopic ternary bodies is finite, so is the other, and their order (number of their elements) is the same.
- Two isomorphic ternary bodies are always isotopic: if there is an isomorphism, then there is an isotopism.
- For an isotopism always applies , whereby the “left” and the “right multiplication” are in the respective images of the one element.
- It is a planar ternary ring, . It should be left multiplication with and right multiplication with , . On is defined by a new ternary link . Then there is also a ternary body with the one element and is an isotopism.
- If a ternary body, then every ternary body that is too isotopic is isomorphic to a ternary body that arises from one of the isotopisms so defined .
- For a finite ternary body of the order there are at most isotopic ternary bodies except for isomorphism .
- The mentioned limit cannot be generally improved: In fact, there is a ternary body with 32 elements that is isotopic to it but has ternary bodies that are not isomorphic in pairs.
Isotopy is weaker than isomorphism
Two algebraic structures that are isomorphic to one another satisfy equally strong algebraic axioms. This generally no longer applies to ternary bodies if they are only isotopic to one another. If one introduces an addition and a multiplication , as described in the article Ternary Fields , with which the ternary connection in linear ternary fields can be represented as , then some ternary fields fulfill stronger axioms for generalized fields. The following applies:
- A body or oblique body is isotopic to a ternary body if and only if it is isomorphic to it. In particular, the isotopic image of a body is again a body and that of an oblique body is an oblique body.
- If a half body is isotopic to a ternary body , then it is also a half body. For every projective plane that is not a Moufang plane , there are no isomorphic coordinate areas. Therefore, for every true half body there is an isotopic, but not isomorphic half body.
- If a quasi-body is isotopic to a ternary body , then in general there is no need to be a quasi-body. For every finite quasi-body that is not a half-body, there is an isotopic ternary body that is not a quasi-body.
literature
- Donald Ervin Knuth : Finite Semifields and Projective Planes . In: Marshall Hall (Ed.): Selected Papers on Discrete Mathematics . Dissertation. California Institute of Technology, Stanford, California January 1, 1963 ( online (full text) [PDF; accessed April 13, 2012]).
- Wendelin Degen and Lothar Profke: Fundamentals of affine and Euclidean geometry . In: Mathematics for teaching at high schools . 1st edition. Teubner, Stuttgart 1976, ISBN 3-519-02751-8 .
- Marshall Hall : Projective planes . In: Transactions of the American Mathematical Society . tape 54 . American Mathematical Society , 1943, pp. 229-277 , JSTOR : 1990331 .
References and comments
- ↑ a b Knuth (1963)
- ^ Arnold, H.-J .: The projective closure of affine geometries with the help of relation-theoretic methods. In: Treatises from the Mathematical Seminar of the University of Hamburg. 40, Universität Berlin, Hamburg 1974, pp. 197-214. doi: 10.1007 / BF02993598 .
- ↑ a b In the literature, two different "sides" are used for the ternary connection. In German-language literature, the "left-wing version" seems to predominate. In the English-language literature and also by Marshall and Knuth, the "right-wing version" is preferred, in which the role of the first and second position in the ternary connection are exactly reversed in the axioms. The special role of the “main mapping” H and the definition of an isotopy is unaffected, as is the representation of H by the other two maps and by multiplications. For more information on formal conventions, see the articles Ternary bodies and quasi-bodies (Axioms there after Degen, 1976).
- ↑ Knuth (1963) Theorem 3.2.1
- ↑ a b Knuth Theorem 3.2.3
- ↑ This is also counted. The count is based on the possibilities of choosing the elements and from , Knuth (1963), Theorem 3.2.3