zbMATH — the first resource for mathematics

Examples
Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

Operators
a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
Fields
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
Algebraic matric groups and the Picard-Vessiot theory of homogeneous linear ordinary differential equations. (English) Zbl 0037.18701
Summary: Die Picard-Vessiotsche (PV) Theorie, die ein Analogon zur Galoisschen Theorie für lineare homogene, gewohnliche Differentialgleichungen darstellt, stützte sich in ihrer bisherigen Entwicklung wesentlich auf die Theorie der Lieschen Gruppen. Hierdurch ergeben sich gewisse Mängel: Die Fragestellung der PV-Theorie ist eine rein algebraische. Durch den hauptsächlich analytischen Charakter der Lieschen Theorie wird aber diese rein algebraische Natur der Fragestellung stark verwischt. Das naturgemäß e Instrument der PV-Theorie sind nicht die Lieschen Gruppen, sondern die algebraischen Matrixgruppen, die jedoch bisher nur als Spezialfälle Liescher Gruppen untersucht wurden. Zunächst erweist es daher als notwendig, Struktursätze über algebraische Matrizengruppen auf rein algebraischer Grundlage zu entwickeln. Der Aufbau der PV-Theorie auf einer solchen algebraischen Theorie der Matrizengruppen begegnet dann gleichzeitig einem anderen Mangel: Vom algebraischen Standpunkt erscheint es als wünschenswert, die PV-Theorie sogleich fur abstrakte Koeffizientenkörper zu entwickeln. In seiner einen sehr klaren Überblick vermittelnden Einleitung weist der Verf. schließ lich noch darauf hin, daß in der klassischen PV-Theorie vielfach die Begriffe nicht mit der notwendigen Schärfe definiert sind. So wird als hervorstechendes Beispiel vom Verf. der Begriff ,,auflösbar durch Quadraturen” angeführt, der innerhalb eines Beweises in zweierlei Bedeutung verwandt wurde. Die vorliegende Arbeit des Verf. setzt sich als Ziel, die PV-Theorie im Anschluß an die Ergebnisse von J. F. Ritt zu algebraisieren, ihre Begriffe scharf zu fassen und sie auf abstrakte Koeffizientenkörper auszudehnen. Entsprechend den oben angegebenen Gesichtspunkten gliedert sich die Arbeit in ein Kapitel über algebraische Matrizengruppen und in vier weitere Kapitel über die Galoissche Theorie differenzierbarer Körper. Unter ihnen befassen sich die beiden letzten Kapitel mit speziellen differenzierbaren Körpererweiterungen, den Picard-Vessiotschen und den Liouvilleschen Erweiterungen. Für den letzten Typ werden im V. Kapitel bemerkenswerte und abgerundete Struktursätze hergeleitet. Aus der groß en Stofffülle können hier nur die wesentlichsten Ergebnisse in einer kurzen Inhaltsübersicht zusammengestellt werden. Kap. I: Die Matrizen einer Matrizengruppe $\frak G$ vom Grade $n$ über einem algebraisch abgeschlossenen Körper beliebiger Charakteristik können aufgefaß t werden als Punkte des $n^2$-dimensionalen affinen Raumes. Die Matrizengruppe heiß t algebraisch, wenn ihre Elemente in diesem Sinne umkehrbar eindeutig den Punkten einer algebraischen Mannigfaltigkeit entsprechen (abgesehen von den Punkten, denen singuläre Matrizen entsprechen). Diese algebraische Mannigfaltigkeit ist in bestimmtem Sinne eindeutig und heiß t die zu $\frak G$ zugeordnete Mannigfaltigkeit. Ihr definierendes Ideal heiß t auch definierendes Ideal von $\frak G$. Die irreduziblen Komponenten der zugeordneten Mannigfaltigkeit einer algebraischen Matrizengruppe $\frak G$ sind (bis auf singuläre Matrizen) paarweise fremd und alle von derselben Dimension. Die irreduzible Komponente, die den der Einheitsmatrix zugeordneten Punkt enthält, ist die zugeordnete Mannigfaltigkeit eines algebraischen Normalteilers $\frak G^0$ von $\frak G$ (Einheitskomponente) von endlichem Index. $\frak G$ heiß t zusammenhängend, wenn $\frak G=\frak G^0$ (d.h. die zugeordnete Mannigfaltigkeit ist irreduzibel). Für algebraische Matrizengruppen wird der Begriff der Normalreihe definiert und der Satz von Jordan-Hölder-Schreier bewiesen. Ferner wird die Auflösbarkeit einer algebraischen Matrizengruppe in üblicher Weise definiert. Betrachtet man in einer algebraischen Matrizengruppe $\frak G$ die Elemente endlicher Ordnung $>1$, so heiß t $\frak G$ antikompakt, wenn die Ordnung jedes solchen Elements durch die Charakteristik des Körpers teilbar ist. $\frak G$ heiß t quasikompakt, wenn keine algebraische Untergruppe (auß er der Einheitsmatrix selbst) antikompakt ist. $\frak G$ ist genau dann antikompakt, wenn alle Matrizen aus $\frak G$ nur charakteristische Wurzeln $=1$ haben. $\frak G$ ist quasikompakt genau dann, wenn sich jede Matrix aus $\frak G$ auf Diagonalform bringen läß t. Es folgen einige Sätze darüber, wann $\frak G$ simultan auf Dreiecks- bzw. Diagonalform gebracht werden kann. Schließ lich werden noch Gruppen mit speziellen Normalreihen untersucht. Kap. II gibt eine Zusammenstellung von Sätzen und Begriffen aus der Rittschen Theorie der algebraischen Differentialgleichungen in einem Umfang, der den Bedurfnissen der folgenden Kapitel entspricht. Um die Ausdrucksweise abzukurzen, soll jetzt stets unter Körper, Ring, Ideal usw. ein differenzierbarer Körper, differenzierbarer Ring usw. verstanden werden. Kap. III wird ein kurzer, sehr allgemein gehaltener Überblick über die Galoissche Theorie eines Körpers $G$ über einem Unterkörper $F$ der Charakteristik Null gegeben. Eine Menge $\frak M$ von Isomorphismen von $G$ über $F$ heiß t ,,abundant”, wenn für jeden Zwischenkörper $H$ und jedes $\alpha\in G\setminus H$ ein Isomorphismus in $\frak M$ existiert, der $F$ elementweise fest läß t, $\alpha$ aber auf ein anderes Element abbildet. $G$ heiß t normal über $F$, wenn die Menge aller Automorphismen von $G$ über $F$ abundant ist. Ist $\frak G$ eine ,,abundant” Gruppe von Automorphismen von $G$ über $F$, so laß t sich in üblicher Weise eine eineindeutige Zuordnung zwischen allen Zwischenkörpern $H$ und gewissen (nicht allen) Untergruppen $\frak G(H)$ von $G$ herstellen. Eine nicht-triviale Charakterisierung dieser Untergruppen ist jedoch bei dieser Allgemeinheit Verf. bisher nicht möglich. Indessen wird eine solche für spezielle Körpererweiterungen im folgenden Kapitel gegeben. Die Heranziehung der ,,abundant” Gruppen an Stelle der vollen Automorphismengruppen ist durch die Tatsache begründet, daß auch bei Verwendung der vollen Automorphismengruppen für Normalteiler $\frak(H)$ die Faktorgruppe $\frak G/\frak G(H)$ nur isomorph ist zu einer ,,abundant” Gruppe von Automorphismen von $H$ über $F$ (nicht zur vollen Gruppe dieser Automorphismen). Kap. IV beschäftigt sich mit dem wesentlichen Spezielfall, daß $G$ eine Picard-Vessiotsche (PV)-Erweiterung von $F$ ist. Dabei heiß t $G$ eine PV-Erweiterung von $F$, wenn $G$ aus $F$ durch Adjunktion eines Fundamentalsystems von Lösungen einer homogenen, linearen, gewöhnlichen Differentialgleichung mit Koefffizienten aus $F$ hervorgeht und wenn zweitens der Konstantenkörper von $G$ mit dem Konstantenkörper $C$ von $F$ übereinstimmt. Ist $n$ die Ordnung der erwahnten Differentialgleichung, so ist die Gruppe $\frak G$ aller Automorphismen von $G$ uber $F$ isomorph zu einer algebraischen Matrizengruppe vom Grade $n$ uber $C$. ($C$ wird durchgehend als algebraisch abgeschlossen vorausgesetzt.) Jede PV-Erweiterung ist normal uber $F$. $\frak G/\frak G(H)$ ist hier mit der Gruppe aller Automorphismen von $H$ uber $F$ isomorph. Die den Zwischenkorpern zugeordneten Untergruppen von $\frak G$ sind genau die algebraischen Untergruppen von $\frak G$. Schließ lich wird noch der Zusammenhang zwischen der Zerfallung der Differentialgleichung und der Reduzibilitat von $\frak G$ untersucht. Wesentliche Strukturergebnisse werden endlich im V. Kapitel für Liouvillesche Erweiterungen gewonnen; das sind solche Erweiterungen, die aus $F$ durch sukzessive Adjunktionen von Integralen, Exponentialen von Integralen und von algebraischen Funktionen hervorgehen und $C$ ebenfalls als Konstantenkörper besitzen. Je nachdem, ob bei der Erweiterung alle angegebenen drei Möglichkeiten benutzt werden, oder nur gewisse von ihnen, teilt Verf. die Liouvilleschen Erweiterungen in 10 (sich teilweise umfassende) Typen ein. Jede Liouvillesche Erweiterung ist in einer Liouvilleschen Erweiterung enthalten, die sich durch normale Körpererweiterungen aufbauen läß t. Unter den zu PV-Erweiterungen $G$ gehörenden Automorphismengruppen $\frak G$ lassen sich ebenfalls 10 Typen aussondern derart, daß $G$ genau genau dann in einer Liouvilleschen Erweiterung vom Typ 1--10 enthalten ist, wenn $\frak G$ dem entsprechenden Gruppentypus angehört. Die Gruppentypen werden charakterisiert durch Auflösbarkeit, Antikompaktheit, Quasikompaktheit und Endlickeit von $\frak G$ und $\frak G^0$. Im Anschluß an dieses Ergebnis lassen sich einige interessante Folgerungen ziehen. So kann z. B. jede Liouvillesche Erweiterung auch so gewonnen werden, daß man zunächst eine rein algebraische Erweiterung vornimmt und dann Erweiterungen lediglich mit Integralen und Exponentialen von Integralen anschließ t.
Reviewer: Kowalsky (Erlangen)

MSC:
12H05Differential algebra
20G15Linear algebraic groups over arbitrary fields
20G07Structure theory of linear algebraic groups
WorldCat.org
Full Text: DOI