Isotopy (geometry)

from Wikipedia, the free encyclopedia

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

  1. and
  2. 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

References and comments

  1. a b Knuth (1963)
  2. ^ 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 .
  3. Knuth (1963) Theorem 3.2.1
  4. a b Knuth Theorem 3.2.3
  5. This is also counted. The count is based on the possibilities of choosing the elements and from , Knuth (1963), Theorem 3.2.3