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)
Über die Darstellung der endlichen Gruppen durch gebrochene lineare Substitutionen. (German) JFM 35.0155.01
Das Problem, alle Grupen von höchstens $h$ {\it ganzen} linearen homogenen Substitutionen zu finden, die einer gegebenen endlichen Gruppe ${\germ H}$ der Ordnung $h$ ein- oder mehrstufig isomorph sind, bildet seit einigen Jahren den Gegenstand weitgehender, von {\it Molien} und {\it Frobenius} begonnener Untersuchungen über die Gruppenmatrix und die Gruppencharaktere von ${\germ H}$. Verf. stellt sich in der vorliegenden Arbeit das Problem, das er völlig erledigt, alle Gruppen von höchstens $h$ {\it gebrochenen} linearen Substitutionen zu finden, die einer endlichen Gruppe ${\germ H}$ der Ordnung $h$ ein- oder mehrstufig isomorph sind, oder, wie man sagen kann, alle Darstellungen der Gruppe ${\germ H}$ durch gebrochene lineare Substitutionen zu bestimmen. Haben die $h$ linearen Substitutionen von nicht verschwindender Determinante: $$\align & \{A\}: \quad x_{\nu} = \frac {a_{\nu 1} y_1 + a_{\nu 2} y_2 + \cdots + a_{\nu n - 1} y_{n - 1} + a_{\nu n}}{a_{n1} y_1 + a_{n2} y_2 + \cdots + a_{nn - 1} y_{n - 1} + a_{nn}},\\ & \{B\}: \quad x_{\nu} = \frac {b_{\nu 1} y_1 + b_{\nu 2} y_2 + \cdots + b_{\nu n - 1} y_{n - 1} + b_{\nu n}}{b_{n1} y_1 + b_{n2} y_2 + \cdots + b_{nn - 1} y_{n - 1} + b_{nn}}, \endalign$$ $$ (\nu = 1, 2, \dots, n - 1), $$ die den $h$ verschiedenen Elementen $A, B, \dots$ der Gruppe ${\germ H}$ zugeordnet sind, die Eigenschaft, daß für je zwei Elemente $A, B$ von ${\germ H}$ die Gleichung $\{A\}\{B\} = \{AB\}$ besteht, so bilden die $h$ gebrochenen Substitutionen eine Darstellung von ${\germ H}$. Sind $(A),(B),\dots$ die Matrizen $(a_{ik}), (b_{ik}), \dots$, so wird das Produkt $ (A) (B)$, abgesehen von einem konstanten Faktor, der auch gleich 1 sein kann, gleich der Matrix $(AB)$. Umgekehrt ist durch jedes System von Matrizen $(A), (B), \dots$ von nicht verschwindenden Determinanten, so daß für je zwei Elemente $A, B, \dots$ der Gruppe $(A)(B) = r_{A, B} (AB) $ ist und $r_{A, B}$ ein System von $h^2$ Konstanten bedeuten, eine Darstellung der Gruppe ${\germ H}$ durch gebrochene lineare Substitutionen bestimmt. Jedes System von Matrizen mit den geschilderten Eigenschaften nennt Verf. eine Darstellung der Gruppe ${\germ H}$ durch gebrochene lineare Substitutionen, und zwar eine zu dem Zahlensystem $r_{A, B}$ gehörende. Damit zu einem System von $h^2$ Zahlen $r_{A, B}$ Darstellungen der Gruppe ${\germ H}$ existieren, ist notwendig und hinreichend, daß zwischen den Zahlen $r_{A, B}$ ein System von Gleichung: $$r_{A, B} \cdot r_{AB,C} = r_{A,BC} \cdot r_{B,C} \quad (A, B, C = H_0, H_1, \dots, H_{h - 1})$$ besteht. Zwei Darstellungen $(A), (B), \dots$ und $(A'), (B'), \dots $ werden als äquivalent (ähnlich) bezeichnet, wenn eine Matrix $P$ von nicht verschwindender Determinante existiert, so daß: $$(A') = P^{- 1}(A)P, \ (B') = P^{- 1} (B) P, \dots $$ ist. Äquivalente Darstellungen gehören zu dem gleichen Zahlensystem. Eine Darstellung wird primitiv genannt, wenn keine äquivalente Darstellung der Form: $$(A') = \left(\matrix A_1 & 0 \\ 0 & A_2 \endmatrix \right), \quad (B') = \left( \matrix B_1 & 0 \\ 0 & B_2 \endmatrix \right), \dots $$ existiert und $A_1, B_1, \dots$ Matrizen gleichen Grades sind. Die Terminologie schließ t sich an {\it Frobenius}’ Arbeiten an. “Der Grad einer jeden primitiven Darstellung einer Gruppe ${\germ H}$ durch (ganze oder gebrochene) lineare Substitutionen ist ein Divisor der Ordnung von ${\germ H}$.” Unter dem Grade der Darstellung ist hierbei der Grad der Matrizen zu verstehen. Um eine Gruppe ${\germ H}$ durch gebrochene Substitutionen darzustellen, führt Verf. den Begriff der durch die Gruppe ${\germ A}$ ergänzten Gruppe ${\germ G}$ von ${\germ H}$ ein. ${\germ G}$ heiß t eine durch die Gruppe ${germ A}$ ergänzte Gruppe von ${\germ H}$, wofür Verf. sagt: ${\germ G}$ ist eine Gruppe $({\germ A, H})$, falls ${\germ G}$ eine aus invarianten Elementen bestehende Untergruppe ${\germ A}$ besitzt und ${\germ G/A}$ der Gruppe ${\germ H}$ holoedrisch isomorph ist. Untersucht man die primitiven oder irreduziblen Darstellungen der umfassenderen Gruppe ${\germ G}$ durch ganze lineare Substitutionen, so entspricht bei einer jeden beliebigen solchen Darstellung von ${\germ G}$ jedem Element von ${\germ A}$ eine Matrix, die untereinander und zwar einer Einheitswurzel gleiche Diagonalelemente und sonst Nullen enthält. Sei ${\germ G = A} A' + {\germ A} B' + {\germ A} C' + \cdots $, wobei die Komplexe ${\germ A} A', {\germ A} B', {\germ A} C'$ usw. den Elementen $A, B, C, \dots $ der zu ${\germ G/A}$ holoedrisch isomorphen Gruppe ${\germ H}$ entsprechen. Die Matrizen $(A'), (B'), (C'), \dots $ , die den Elementen $A', B', C', \dots $ von ${\germ G} $ bei einer primitiven Darstellung von $ {\germ G}$ durch ganze lineare Substitutionen entsprechen, bilden eine primitive Darstellung von ${\germ H}$ durch gebrochene lineare Substitutionen. Es läß t sich ${\germ H}$ auch durch Gruppen ${\germ A}$ so ergänzen, daß ${\germ G}$ eine Gruppe $({\germ A, H})$ von der Art wird, daß {\it jede} primitive Darstellung von ${\germ H} $ durch gebrochene lineare Substitutionen (oder eine ihr assoziierte Darstellung) wenigstens einer der durch ${\germ G}$ gelieferten Darstellungen von ${\germ H}$, die soeben besprochen wurden, äquivalent ist. Eine ergänzte Gruppe von $ {\germ H} $ dieser Eigenschaft heiß t eine {\it hinreichend ergänzte} Gruppe; eine hinreichend ergänzte Gruppe von möglichst kleiner Ordnung heiß t eine {\it Darstellungsgruppe} von ${\germ H}$. Es ist noch der eben verwandte Begriff der assoziierten Darstellungen von ${\germ H}$ zu erklären. Zwei Darstellungen $ (A), (B), (C), \dots $ und $ (A_1), (B_1), (C_1), \dots $ von ${\germ H}$, die denselben gebrochenen Substitutionen entsprechen, für die also $$(A_1) = a (A), \quad (B_1) = b(B), \quad (C_1) = c(C),\dots $$ ist, wobei $a, b, c, \dots$ Konstanten sind, heiß en {\it assoziiert}. Zu einer Gruppe $ {\germ H}$ kann es unter Umständen mehrere einander nicht isomorphe Darstellungsgruppen ${\germ G = (A, H)} $ geben. Zu einer perfekten Gruppe ${\germ H}$, d. h. einer solchen, die mit ihrer Kommutatorgruppe zusammenfällt, gibt es nur eine Darstellungsgruppe. Selbst wenn für ${\germ H}$ mehrere Darstellungsgruppen ${\germ G}$ existieren, sind die {\it Abel}schen Untergruppen ${\germ A}$, für die ${\germ G/A} $ mit ${\germ H}$ isomorph ist, untereinander isomorph. Die so zu ${\germ H}$ gehörige, eindeutig bestimmte {\it Abel}sche Gruppe ${\germ A}$ nennt Verf. den {\it Multiplikator} von ${\germ H}$. Eine jede Darstellungsgruppe ${\germ G}$ von ${\germ H}$ läß t sich folgendermaß en mit Hülfe des Multiplikators charakterisieren: 1. In ${\germ G}$ gibt es eine aus invarianten Elementen bestehende Untergruppe ${\germ A} $, so daß ${\germ G/A}$ mit ${\germ H}$ isomorph ist; 2. der Kommutator von ${\germ G}$ umfaß t alle Elemente von ${\germ A};$ 3. ${\germ G}$ ist die Gruppe höchster Ordnung mit den Eigenschaften 1 und 2. Eine Gruppe ${\germ H}$, deren Multiplikator das Einheitselement ist, nennt Verf. eine abgeschlossene Gruppe, solche sind z. B. die Gruppen, deren Untergruppen von Primzahlpotenzordnung zyklisch sind. Für eine abgeschlossene Gruppe ist jede Darstellung durch gebrochene lineare Substitutionen durch eine solche durch ganze lineare Substitutionen ersetzbar. (Faktoren $r_{A, B}$ gleich 1.) Verf. zeigt allgemein, wie man zu einer gegebenen Gruppe ${\germ H}$ den Multiplikator und eine Darstellungsgruppe ${\germ G}$ bestimmen kann. Ist diese gruppentheoretische Problem ausgeführt, so ist, um die vom Verf. gestellte Aufgabe völlig zu lösen, nach dem Voraufgehenden nur das Studium der primitiven Darstellungen von ${\germ G}$ durch ganze lineare Substitutionen, also eine bereits von {\it Frobenius} geleistete Aufgabe, erforderlich.
Reviewer: Loewy, Prof. (Freiburg i. Br.)

WorldCat.org
Full Text: DOI Crelle EuDML