The tag has no wiki summary.

learn more… | top users | synonyms

8
votes
2answers
645 views

Which compact groups have finitely many irreducible representations of each dimension?

If my understanding is correct, this is true of sufficiently nice nonabelian Lie groups (see Ben Webster's answer below), and any finite group. On the other hand, this is false for any infinite ...
2
votes
1answer
493 views

Must a locally compact group be Hausdorff in order to possess a Haar measure?

Does the existence of (left) Haar measure on a locally compact topological group require that the group be Hausdorff?
5
votes
4answers
3k views

Haar Measure on a Quotient [closed]

Suppose you have a locally compact group G with a discrete subgroup H. Of course G has a unique (up to scalar) Haar measure, but it seems that G/H has and induced Haar measure as well. How does ...
25
votes
7answers
3k views

Why are free groups residually finite?

Why is it that every nontrivial word in a free group (it's easy to reduce to the case of, say, two generators) has a nontrivial image in some finite group? Equivalently, why is the natural map from a ...
6
votes
1answer
302 views

Homomorphisms of Topological Groups which are Automatically Fiber Bundles?

Suppose I have a surjective homomorphism of topological groups $f:E \to G$. Let K be the kernel of f. The topological group K acts on E in an obvious way. When is this a fiber bundle over G? (It will ...
10
votes
3answers
681 views

How do you recover the structure of the upper half plane from its description as a coset space?

This is maybe a dumb question. $SL_2(\mathbb{R})$ has a natural action on the upper half plane $\mathbb{H}$ which is transitive with stabilizer isomorphic to $SO_2(\mathbb{R})$. For this reason, ...
9
votes
2answers
539 views

Is there a non-trivial topological group structure of $\mathbb{Z}$?

More specificaly, is there a haussdorf non-discrete topology on $\mathbb{Z}$ that makes it a topological group with the usual addition operation?
1
vote
2answers
331 views

Smoothness as a topological property

Motivation: Let $G$ be an $\ell$-group (locally profinite group). A map $G\to \mathbb{C}$ is called smooth provided that it is continuous as a map $$G\to \mathbb{C}_{discrete}.$$This gives us the ...
11
votes
1answer
807 views

Topological HNN extensions

First, let me recall what an abstract HNN extension is. Let $G$ be an abstract group, $A, B < G$ be subgroups of $G$ and $\phi : A \to B$ be an isomorphisms. Then there is a group $H$ and an ...
1
vote
1answer
416 views

Infinite products of topological groups

While studying for a topological groups course, I wondered if we could define the product of uncountably many topological groups such that the product is still a topological group. That is: let $G_i$ ...
13
votes
7answers
2k views

Haar measure on a quotient, References for.

I remember reading Weil's "Basic Number Theory" and giving up after a while. Now I find myself thinking of it(thanks to some comments by Ben Linowitz). Right from the very beginning, Weil uses the ...
13
votes
3answers
815 views

Countable subgroups of compact groups

What is known about countable subgroups of compact groups? More precisely, what countable groups can be embedded into compact groups (I mean just an injective homomorphism, I don't consider any ...
7
votes
2answers
409 views

Potential connected non-Lie subgroup

This painful question is inspired by the question "non-Lie subgroups" . Let R denote the real numbers. Let f be an discontinuous additive map from R --> R. Is it possible that the graph of f, inside ...