On the basic algebraic operations in solvable Lie groups (Q1339673)

Will man Rechnungen/Überlegungen für einfachzusammenhängende auflösbare, vor allem auch nilpotente, Liesche Gruppen in Koordinaten durchführen, so hat die Erfahrung gezeigt, daß die Koordinaten zweiter Art zu Jordan-Hölderschen Basen (ggf. mit zusätzlichen Eigenschaften) häufig weitaus praktischer als Koordinaten 1. Art sind. Zugrunde liegt der Gedanke, eine auflösbare Liesche Gruppe/Algebra durch eine endliche Folge von eindimensionalen zerfallenden Erweiterungen aufzubauen. Dieser Gedanke wird in dem vorliegenden Artikel ganz systematisch verfolgt. Mittels passender Koordinaten 2. Art identifiziert der Autor eine auflösbare Liesche Gruppe \(G\) mit einem \(\mathbb{R}^ n\) und gibt dann (in den Strukturkonstanten zu der gewählten Basis) Algorithmen an zur Berechnung \(\bullet\) des Differentials der links/rechtsregulären Darstellung. \(\bullet\) der Gruppenmultiplikation, \(\bullet\) der Inversenbildung, \(\bullet\) der Exponentialabbildung. Wie der Autor bemerkt, lassen sich diese Algorithmen auf Rechnern implementieren. Bemerkenswert aus theoretischer Sicht ist die Tatsache, daß für sogenannte Basen ``of ideal type'' (welche stets existieren) sich alle aufgeführten Operationen im wesentlichen durch ``Polynome in \(x\), \(e^{\mu x}\), \(\cos \nu x\) und \(\sin \lambda x\)'' ausdrücken lassen. Aus den durchgeführten Betrachtungen erhält man auch einen Beweis für die Dixmiersche Kennzeichnung exponentieller Liescher Gruppen sowie, wie der Autor in späteren Vorträgen mitteilte, durch einige Ergänzungen einen Beweis des Adoschen Satzes. Der Artikel ist eine Fundgrube für Formeln, die beim Umgang mit Koordinaten 2. Art benötigt werden, und wird vermutlich als Referenz in der Zukunft eine Rolle spielen.