On the basic algebraic operations in solvable Lie groups

DOI10.1007/BF01832987MaRDI QIDQ1339673zbMATH OpenWikidataFDO

Publication date 7 December 1994

Published in Aequationes Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/137609

algorithmic computation bases of ideal type coordinates of the second kind Jordan-Hölder basis solvable Lie groups

Software, source code, etc. for problems pertaining to nonassociative rings and algebras (17-04) Solvable, nilpotent (super)algebras (17B30) Software, source code, etc. for problems pertaining to topological groups (22-04) General properties and structure of real Lie groups (22E15) Nilpotent and solvable Lie groups (22E25) Lie algebras of Lie groups (22E60)

Review text

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.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: On the basic algebraic operations in solvable Lie groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1339673)