• Keine Ergebnisse gefunden

Topological Groups 7. Exercise Sheet

N/A
N/A
Protected

Academic year: 2022

Aktie "Topological Groups 7. Exercise Sheet"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Topological Groups 7. Exercise Sheet

Department of Mathematics Summer Term 2013

Andreas Mars 8.7.2013

Groupwork

Exercise G1 (Projective Limits)

LetP ={fjk:GkGj}be a projective system of topological groups with limit maps fj: limGj=GGj. Acone overP is a topological groupC together with morphismsγj:CGj of topological groups, such that for jkthe identityγj=fjkγkholds. In other words, the following diagram commutes:

C

γ

γj

γk

G=limGj

fj

zz fk $$

. . .oo Gj Gk

fjk

oo . . .oo

(a) Show that (or rather: Convince yourself that . . . ): The groupGwith the limit mapsfj:GGjis a cone overP. (b) Show that withC:={1}and the obvious mapsγjwe obtain a cone overP.

(c) Prove the following universal property of the projective limit: If{γj:CGj}is a cone overP, then there exists a unique morphismγ:CG=limGjsuch thatγj=fjγ.

Exercise G2 (Compact Lie Groups) Show that:

(a) Every finite discrete group is a compact Lie group.

(b) A finite direct product of compact Lie groups is a compact Lie group. What about infinite direct products?

(c) A closed subgroup of a compact Lie group is a compact Lie group.

Exercise G3 (Divisibility)

LetAbe an abelian group. Show that the following are equivalent:

(a) Ais divisible.

(b) For everyaAthere exists a homomorphism f:Q→Asuch that f(1) =a.

1

Referenzen

ÄHNLICHE DOKUMENTE

Consider the additive group R with the usual order topology and its subgroup Q?. Do you

(NB: This is true for all topological spaces.) Exercise G2 (Normal Subgroups). Let G be an abstract group and let N Ã G be a

In particular, connected locally compact groups are compactly generated. Exercise H2

Prove or give a counterexample: A direct product of a family of locally compact groups is locally compact. Exercise G5 (Existence

Let G be the subgroup of upper triangular matrices SL 2 (R).. Show that G is

[r]

AG Algebra, Geometrie,

After the extention of the definition of exponential map of a Lie group, we shall eliminate the dependence on the financial event e, recognizing the precence of essen- tialy one