Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Spiegelungsgeometrie in Lie-Gruppen. (Reflection geometry in Lie groups) - MaRDI portal

Spiegelungsgeometrie in Lie-Gruppen. (Reflection geometry in Lie groups) (Q1074729)

From MaRDI portal





scientific article; zbMATH DE number 3948624
Language Label Description Also known as
English
Spiegelungsgeometrie in Lie-Gruppen. (Reflection geometry in Lie groups)
scientific article; zbMATH DE number 3948624

    Statements

    Spiegelungsgeometrie in Lie-Gruppen. (Reflection geometry in Lie groups) (English)
    0 references
    1985
    0 references
    To deal with calculations with reflections, which play an important role in the foundations of geometry, the concept of the so-called Hjelmslev groups had been considered by \textit{F. Bachmann} [Aufbau der Geometrie aus dem Spiegelungsbegriff (2. Aufl. 1973; Zbl 0254.50001); 'Hjelmslev- Gruppen', Vorlesungsausarbeitung (1971) (2. Neudruck 1976; Zbl 0331.50002)]. To make it more group-theoreticalized, the class of Johnsen groups was introduced. A Johnsen Lie group (JLG) is a Lie group generated (as a topological group) by the subset J of its involutions where J is a union of two disjoint non-empty subsets, the ''lines'' and ''points'', satisfying certain conditions. In the article under review, JLG's are classified, and necessary and sufficient conditions for a Lie group to be a JLG are obtained. As corollaries, the motion groups of the Euclidean, the real and complex hyperbolic and the real affine metric planes are characterized (as JLG's).
    0 references
    reflection geometry
    0 references
    Hjelmslev groups
    0 references
    Johnsen groups
    0 references
    Johnsen Lie group
    0 references
    involutions
    0 references
    motion groups
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references