THE

TOKOKU MATHEMATICAL JOURNAL

Uber den Dualitatssatz der nichtkommuttativen
topologischen Gruppen,

von

Tadao TANNAKA in Sendai.

De
r Dualitatssatz der abelbchon topologischen Gruppen wurde
zuerst von Pontrjagin bogriiudet els chi orfolgreiches Hilfsmittel
der kombinatorischen Topologie(1), and durch Alexander, Zippin
und van Kampen weiter gefuhrt. Ich will hier zeigen, wie der
Dualitatssatz sich bei nichtkommutativen Gruppen formulieren lassen,
un
d beweisen dies insbesondere fur bikoinpakte Gruppen.

§1. Dualhalbgmtppe und ihre Darstellnng.

Im ganzen Paragraphen soll die Gruppen "die topologiche

Gruppe (mit der Hau sdorf fschen Topologie) ttnd die ,, Darstollung"
die stetige boschritnkte Darstellung bsdeuten. Anstatt der Dual
gruppe bei der abelschon Gruppo, betrachten wir die Dualhalbgruppe.
S mit den Darstollungen von S als Eloinente. In S sei die drei
Operationen
(1)(Kroneckersehe Komposition)
(2)(Bildung der ahnlichen Darstellung)
(3)(Summnenbildung)
zugelassen. Wie man in S eine naturgemasse Topologie einfuhren
muss konnte ich im allgeaneinen nicht erledigen. Durehaus dieser
Abhandlung ist unter S die Dualhalbgruppe ohne Topologie (dis-
kret !) gemeint. Wir definieren dann die Darstellung der Dualhalb-
gruippe S. Dies ist eine eindeutige Zuordnung

(De S, D.A ist eine nicht-singulare Matrix mit demselben

Grade wie D).
mit den Bedingungen :
(1) L. Pontrjagin : Thetheoryof topological
commutative
group, Annals
of Math., 35 (1934).
2 T.TANNAKA :

(4) fur die unitare Darstellung D ist auch D.A tinitar,

(5)
(6)
(7)
oder, glob gesagt, rolationstroue Abbildung von S auf ein Matrizen-
system. Die Multiplikation zwoier Darstellungen A,, A2 ist bei De-
finition

fur alle Darstellungen D aus S. Nun gilt der einfache

Satz 1. Die Gesamtheit der Darstellungen der Dualhalbgruppe
bildet hinsiehtlich der eben definierten illultiplikation cine Gruppe.
Einheitselement dieser Gruppe S ist die Zuordnung

Wenn a ein Element von S ist, ist die Zuordnung

ersichtlich eine Darstollung, und soll hoissen "eine von a induzierte

Darstellung von S.
Im niichsten Paragraphen wollen wir die Struktur der Gruppe
S etwas nither untersuchen.

§2. Dualitutssatz nebst einiger Aniuendungen.

Zunachst sei einige Bezeichnungen vorausgeschickt:

Es gilt dann
(*)
(**)
Wir bonutzen auch die Schreibweise

Hilfssatz 1. Es gilt

Boweis: Es sei

dann ist each (5)

 DUALITATSSATZ DER NIOFITKOMMUT. TOPOL. GRUPPEN. 3

Einerseits folgt bei der vollen Reduzierung

wegen (6) and (7)

mithin auch die gewitnschte Relation.

Hilfssatz 2.
Beweis: Genau ebenso vie bei Hilfssaiz 1.
Hilfssatz 3.
Beweis: Da wir {Dρ σ(x)} als unitar annohinen

also gilt nach den Hilfssatzen 1 und 2

Аndererseits ist {Dρ σ(A)} unitar:nach(4),

also Dρ υ(A)=Dσυ(A), w.z.b.w..

Es sei R=RS der Ring aller linearen Aggregaten Σcpfp(x)und

R=RS der Ring aller fastperiodischen Funktionen der GTuppe S

(nicht die Faltung sondern gewdhlichen Produkt als Multiplikation).

Dann gilt der
Hilfssatz 4. Die Zuordnmng fp(x)→fp(A)lasst sich auf eine eindi-

mensionale Darstellung (natiirlich mil den komplexen Zahlen als

Operator) von R fortsetzen derart, dass

gilt.
Und tungekehrt : Beliebige eindimensionale Darstellung  f
(x)→
f(A) von R, bei der

gilt, induziert eine Darstellung von S :

Beweis: Klar.
W
ir betnerken noch :
Hilfssatz 5.Der Realteil von f(x)=Σcpfp(x)gehort dem Ring R.
Beweis : Dies ist klar wegen
 4 T. TANNAKA :

Hilfssatz 6..Fur relle Funktion f(x)=Σcpfp(x)ist auch f(A)

reell.
Bemeis: Dies ist eine Folge der einfachen Rechnung :

Hilfssatz 7, Es ist

Beweis: Aus den Hilfssatzen 3 and 6.

Hilfssatz 8. Alle Darstellungen der bikompakten Grrcppe er-
halten wir, durch Bildung der konjugierten Darstellung and Zer-
spaltung der direkten Produkte, aus einer beliebigen Menge von ge-
nugend vielen Darstellungen(1).
Vorbemerkung : Diosen Satz hat Herr van Kampen(2), wie mir
scheint, nur fur die Gruppe S mit dem zweiten Abzahlbarkeitsaxiom.
Der allgeinoino Fall soil hior lurch Reduktion auf dieson speziellon
Fall bewiesen worden. Spatter brauchen wir nur den Fall der ge-
schlossenen Matrizengruppe.
Beweis: Es sei 1 eine boliebige Darstellung von S . Die Bild-
gruppo D(S) der hornomorphon Abbildung durch D ist bekanntlich
eine L i esche Gruppo (fair bikornpakto Gruppo O), so dass eine ge-
nfigend kleine Umgebung des Einheitselemonte keine Untergruppo
enthalt(big auf der Ei:nheitsgruppe). :Es gehe bei S→D(S)die

Untergruppe Cj in das Einhoitselement. Da ( and somit such /y

bzw.D(S)bikolnpakt ist, ist die Isolnorphie S/y=D(S)topolo-
gisch(3), also kanuen wir schliessen, dais es eine Umgebung U des
Einhoitaolements von S gibt derart, lass aus F⊂y・U (und um-
somehr aus F⊂(U)fur eine Untergruppe F folgt F⊂y. Fur alle

Punkte a der bikoinpakten Menge S-U ordnet man eine Darstel-

lung Du in M mit Da (a)≠E(Einheitselement). Da Da stotig ist
kdnnen wir eine Umgebung Ua von a finden, in welcher Da(x) von
E verschieden ist. S-U wird dann durch eine endlichviele Um-
gebungen Ua1,....,Uvk uberdeckt. Bei der Darstellung
(1) Dass eine Menge M von Darstellungen gentigend viele Elemente enthait,
bedeutet, aus a≠b(a, b εS)folgt die Existenz wenigstens einer Darstellung D in M

mit D(a)≠D(b),

(2) E. R. van Kampen : Almost periodic functions and compact groups

Annals of Math., 37 (1936). Vgl. auch W. Burnside : Theory of groups of finite
order, second edition, Cambridge University Press (1911), S. 299.
(3) P. Alexandroff and H. Hopf : Topologie, Springer (1935), S. 95.
 DUALITATSSATZ DER NICHTKOMMUT. TOPOL GRUPPEN. 5

geht vine
Untergruppo F⊂U in das Einheitseleinent. Nach dem
obiron F⊂y.ist Somit ist D als oine Darstelluna der Gruppe
S/F=D1(S) mit zweitem Abztthlbarkeitsaxiotn durch das genannte
Verfahren rich aus den Darstollungen Da1,...., Da, erzeugen, w.z.b.w..
Hilf ssatz 9. Aus fur alle x folgt

Vorbemerkung : Dieser Hilfssatz ist ein wesentlicher Toil beim

unseren Beweis des DualitAtssatzes. Wenn die Gruppe S die Dre-
hungsgruppe des Kreises ist, so folgt dieser Hilfssatz aus dem
Fejerschen Satze :
Aus
folgt die Fxistenz eines linearen Aggregates h(x) mit

In Atilehnung an diesen Satz mochte ich beweisen :

Aus f(x)≧0 folgt die Existenz der linearen Aggragaten h1(x),
h2(x),.... ,h2(x) snit

Ob dies fur die allkeinoine Gruppe richtig ist, odor nicht konnte
ich leider nicht erledigen.
Beweis : Erste Stufe : Es sei D(x) eine unitise Darstellung, in
der alle plieder fv(x) in der gegebenen f(x)=Σcpfp(x) aufgehen, und
sei y die Gruppe aller x mit D(x)=1. S sei die Gruppe der Bild-
matrizen D(x). Dann ist die Zuordnung

stetig and isomor (im aligeineinen ist aber nicht topologisch). Alle
beschrankte Darstellungen D'(x') von S' sind zugleich Darstellungen.
von S bei der Zuordnung x→x'→D'(x'), u nd somit kann A auch ein
Elnment von der Dualhalbgruppe S' annsehen werden. Auch unsere
Behauptung Σcpfp(A)≧0 von der Topologie der ursprunglichen
Gruppeninannigfaltigkeit unlabhangig. Somit kann S von Anfangs
an als eine unitltre (nicht nbtwendig irreduzible) Matrizengruppe
mit den Elementen {Dpv(x)} gedacht werden, and man hat aus Σcρσ
Dρ
σ(x)≧0 die Ungleichung ΣcρσDρσ(A)≧0 zu schliessen.
Zweite Stufe: Es sei S" die abgeschlossene Hulle von S in

(1) Vgl. G. Polya mid G. Szego: Aufgaben and Lehrsatze aus der Analysis,
Bd. 2, S. 81.
6 T. TANNAKA :

der Gruppe aller unitttren Matrizon (vom demselben Grade wie (S).
Ihr Element sei allgomein y mit der Komponenten Dρ σ(y):

Wegen ΣcρσDρσ(x)≧0 ist naturlich ΣcρσDρσ(y)≧0. Narh dem Hilfssatze

8 sind die Koeffizienten einer beliebigen Darstellung {φv(y)} von

S Polynome der Funktionen Dρ σ(y)und Dρ σ(y):

Wenn es eine Relation

gabe, so ist umsomehr

and somit

Ebenso sieht man leicht

Wir haben deshalb durch die Zuordnung { y}→{φv(A)} cine Dar-

φ
stellung der Gruppe S". Unsere Behauptung reduziert sick somit
auf die folgende :
S sei oino abgoschlosseno unitare Matrizengruppe mit den Ele-
inenten x={Dρ σ(x)}, dawn folgt ausΣcρ σDρσ(x)≧0 die Ungleichung

Dritte Stufe : Wenn die Matrix A={Dρ σ(A)} in S enthalten

ist, so sind wir offenbar schon fertig. Wir nehmen also an, dass A
nicht in S enthalton ist, and bezeichnon mit S0 die von A and S
erzeugte abgeschlossone unitare Matrizengruppe. S ist als bikom-
pakte Gruppo in S0 abgeschlossen. Das Element von S0 sei allge-
mein y={Dρ σ(y)}.

Fur ein beliebiges Element a von S ist die Zuordnung, wie wir
schon darauf aufmorksam inachton, eine Darstellung von S, und
wir schreiben diese Darstellung selbst auch mit a. Um das Ver-
wechsel zu vermeiden, bozeichnen wir vorlaufig das Produkt in S
church o, darn ist ersichtlich

falls a and b Elemente der Gruppe S rind, da

ist. Fiir ein Polynom φ(x)=:Φ(Dρ σ(x),Dρ σ(x))gilt

dabei rind Dρ σ(xA) die Komponenten des Matrizes xA. Denn es ist
 DUALITATSSATZ DER NICHTKOMMUT. TOPOL. GRUPPEN. 7

In dorsolbon lVoiso folgt aus

wegon.....ox1o....oAo....εS, Somit

told durch Limiticrungsiibergang

Dies bodeutet dam die Zuordnung

eine Darstellung Aυ von S ist.

Aus dom. Bo wiesenen folgt, dass eine irreduzible Darstellung

von S0 ist stets Fortsetzung einor irreduziblen Darstollung von S0
ist, sonst Babe es ja wenigstons oino Relation

m
it

wobei (ψy(y)) eine irreduziblo Darstollung von S0 ist.

Wir kdzmen somit wahlon cin geineinsames normiortes orthogon-
ales Funktionensystem {fρ} fur S und S0, wobei f0=1. Dann gilt
fur das lineare Aggregat f =Σcρfρ die boiden Mittelwertrelationen

Da S in S0 abgeschlossen ist, gibt es oine stetigo (und soinit zu-

leich fastperiodische) Funktion φ(y)mit

Nach dem Approximationssatz kOnnon wir fair beliebige positive

Zahl ε ein lincares Aggregat Σcρfρfinden mit

Es gilt dann insbeFondere

Aus diosen folgt

and

Aus dem zweiten folgt, da φ(x)=0 ist

and dann aus dem ersten

(1) P.Alexandroff und H. Hopf, a.a.O., S. 74.
 8 T. TANNAKA

mithin

im Gegenεatz zu der Annahme φ(A)=1,φ(y)≧0, vomit ist alles

bewiesen.
Ganz ebenso erhalten wir den
Hilfssatz 10. Aus

fol gt

Hilfssatz 11. Unsere Darstellung A von R kann auf R fort

gesetzt werden.
Beweis: Es sei f(x) eine beliebige fastperiodische Fnnktion and

Dann konvergiert die Folgo hn(A) wegen

nach dom Hilfssatz 10. Der Grenzwert dieser Folge ist von der
Wahl der Folge hn(x) unabhangig and soll bezoichnet werden mit
f( A). Damn ist

wie wir bewoisen wollten.

Von jetzt an verstehe ich unter Primideale B von R denselben
vom orsten Grade, d, h. donsolben, dossen Restklassenkdrper der
Korpor aller komplexen Zahlen And. Dann bildet die Menge aller
Funktionon f mit f(A)=0 ein Primideal B(A) von R. Und tunge-
kehrt gilt der
Hilfssatz 12. Fur einen beliebigen Primideal B von R gibt
eg eine A e S mit

Vorbemerkung : Nach der Vollendung meiner Untersuchung

fand ich, dass auch Herr Stone einige Eigenschaften der Primideale
im Ringe aller beschrAnkten Funktionen eines topologischen Rawnori
hergoleitet hat( 1). Ich m6chte aber, der Strengheit halbor, den Boweia
(1) M. H. Stone: Applications of the theory of Boolean rings to general
topology, Trans. A. M. S., 41 (1937).
 DUALITATSSATZ DER NICHTKOMMUT. TOPOL. GRUPPEN. 9

vollstandig darstellen.
Beweis : Wir sohreiben die Konstante cf mit f(x)≡cf mod B
durch f(B), wie bei der Theorie der algebraischen Funktionenktlrper.
(Ich m6chte boilfufig nosh hinzufagen: Ist es nicht intoressant,
dass der gruppentheoroti echo Dualitittskatz hat, ganz glob ausge-
sprochen, folgendo Gestalt Die Riomaunsche Flitche (wie man
sagen kann) einer topologischen Gruppe ist mit sich selbst identisch "?
Dabei ist das Analogon eines, Punktes " sine Darstollung von R,
also in gewissem Shine Punkt von der Jungschen Art.)
Wir haben zunAchst:
Aus f(B)=0 folgt g. u. G. |f(x)|=0,
(g. u. G. =grosste untere Groiize).
Denu sonst waro u nd

was eiaio Widersprucl ist. Ganz ebenso Schliesst man, dass es im

allgorneinen von f(x) abh ,ngige Folgo x1,x2,.... in S mit

gibt. Daraus folgt insbesondcre, dass, fur reels Funktion f(x) ist
auch f reell, and somit

Spezialisiert auf den Teilring R, darn induziert B eine Darstellung

A von R: •

Man sieht nun leicht

Alles zusammen haben wir bowiesen den

Satz 1. Es gibt cine eineindeutige Korrespondenz zwuischenden
Prinaidealen B von R send den Darstellungen A von S.
Wir gehen nunmohr min Beweise des Dcalitittskatzes fur die
bikompakte Gruppe. Obwohl dioser Satz sin spezioller Fall des
Satzes 3 ist, wollen wir zunitchbt einen dirokton Beweis fur diesen
besonderen Fall gebon, welcher ja mein orster Boweis war.
Satz 2 (Dualitatssatz). Fur die bikompakte Gruppe S gilt

Dieso Isomorphic ist topologiech, falls wir S mit der schwachen

Topologic vorsohen denken, d. h. falls wir untor einer Umgebung
 10 T. TANNAKA:

U(A;D1,D2,.....Dk;ε)(Dlε S von A die Mengo aller BεS mit

vorstehen, wobei wie ublich

ist
Boweis: Es sei B ein Primideal im Ring R, dann beweisen
wir, dass es einen Element aeS gibt snit B=B(a). Wenn namlich
im Gegensatz zu unserer Behauptung B≠B(a) oder, was dassolbe ist,
B⊂B(a)fur alle aεS, dann gibt es , fur beliebiges Element εS
a

eine Funktion fa(z) mit.

Wir konnen daruber hinaus voraussetzen, dass fa(x) iiberall reell and
nicht-nezativ ist. Denn aus

folgt

and |fa(x)| ist eine gesuchte Funktion. fa(x) ist in einer Umgebung
U(a) vou a positiv. Da S nach der Voraussetzung bikompakt ist,
kdnnen wir aus dom Uingebungssystem {U(a)} eine ondlicho Ober-
deckung ontnehmon :

Dann ist

and soinit wie wir schon bewiesen haben

and da S eino bikompakte Gruppe ist, gibt es einen Punkt a0 in

S mit

d. h. mit

was ersichtlich ein Widerspruch ist. Wir habon dadurch don alge-
braisehen Toil der Isomorphic bewieson. Den einfachen Be-
weir des topologischen Toils lasso ich auf den Satz 3 vorschieben.
Satz 3. Tede Gruppe mit geniigend vielen fastperiodi$chen
Funktionen ldsst sich stetig isomorpli and itberall dicht in eine
bikornpakte Gruppe abbilden. Mr beweisen in der Tat, dam die
S→S genau these Eigenscliaften hat(1).

(1) Vgi : H. Freudenthal: Topology sehe Gruppe mit gentigend vielen f ast-
periodisehen Funktionen, Annals of Math., 37 (1936), Hauptsatz 7.

S=S
 DUALITATSSATL DER NICHTKOMMUT. TOPOL. GRUPPEN. 11

Vorbemerkung : Dieser Satz enthb,lt den Satz 2 als Spezialfall,

done das Bild S von der bikompakten Gruppo S ist rich solbst
bikompakt and stimint mit S iiberein, da S in S iiborall dicht ist.
Die Zuordnung S→S ist also stetig und eineindeutig, and somit
auch topologisch.
Beweis : Es sei D1(x),D2(x),.....,Da(x)...... die wohl ;eordnete
Folge der nicht i hnlichen irreduzibelen unitaren Darstollungon von S,
and Sa die Gruppo allor unitaren Matrizen von demsolben Grade wie
Da(x). Vorsohon wir don direkton Produkt S 1×S2×....×Sa×...,
mit der schwachen Topologie (cino Umgebung dieser Gruppe ist also
ein direktes Produkt der Urngebungon ondlichvieler Komponenten),
so ist these Gruppe bekanntlieh bikoinpakt, and S ist durch die
Zuordnung

topologisch isornorph in these Gruppe abgebildet. Dass dabei die

Bildgruppo abgeschlossen ist, ist each der Definition der Darstellung
der Dualhalbgruppe augenscheinlich, so dass S ist cin bikompakto
Gruppe.
Ersichtlich ist die A.bbildung S→S stotig and isomorph. Dass
Sin S iiborall dicht fist, sieht man etwa folgondermasson :
Es sei U= U(A; D1,.... Dk,; E) cine Uingebung von AεS.Da
die fastperiodische Funktion

vorschwindet bei der Darstellung A, gibt es eino Folgo an in S mit

lim f (an)=0. Also gibt es oin aεS in der Umgebung U, dean es ist

fur genugend grosses n ist, w.z.b.w..

Satz 4. Fir beliebige topologische Gruppe S gibt es eine bikom-
pakte Gruppe B mit

Beweis : Wir ordnen der fastperiodischen Funktion f(x) von S

die Funktion f(A) von S. Nach der Konstruktion der S ist f(A)
stetig and demnach fsstperiodisch. Uingekehrt sei f(A) eino belie-
bige fastporiodischo Funktion von S and dofinieren wir f(x) durch

wobei ist z das Bild von x bei der Abbildung S →S

.
f(x) ist eine
fastperiodische Funktion der Gruppe f(x). Durch diese Zuordnung
wird RS and RS algebraisch isomorph, Mail vorifiziert noch loicht
12 T, TANNAKA : DUALITASSATZ.

aus unseren fruheren Untesuchungen

(k.o.G=kleinste obere Grenze)

and

done aus

folgt

(Eingegangen am 2. Marz, 1938.)