# Tagged Questions

A topological group is a group $G$ together with a topology on the elements of $G$ such that the group operation and group inverse function are both continuous (with respect to the topology).

80 views

### Polish Group Topologies on PSL(2,C)

Does anyone know how many Polish group topologies (or where to begin to look for this information) can be put on $\text{PSL}_2(\mathbb C)$?
318 views

### Normal subgroups of Aut(M)

Let $S$ be the set of all finite permutations of $\mathbb{N}$, i.e. they fix all but a finite set, and $A\subset S$ the set of all even permutations. Theorem The normal subgroups of $S_\infty$ are ...
195 views

### Extending the topology on a set to the group/vector space it generates

The multiplicative group $\Bbb Q^+$ can be viewed as a $\Bbb Z$-module. To see this, note that any rational can be decomposed into the form $2^{n_2} \cdot 3^{n_3} \cdot 5^{n_5} \cdot ...$ The tuple ...
88 views

### Haar measure, can image of modular function be any subgroup of $(0,\infty)$?

It is easy to find examples of locally compact second countable Hausdorff topological groups $G$ whose modular function $\Delta$ has image $\{1\}$ or $(0,\infty)$. Are there groups $G$ of this kind ...
4k views

### Fundamental group as topological group

Background Let $(X,x)$ be a pointed topological space. Then the fundamental group $\pi_1(X,x)$ becomes a topological space: Endow the set of maps $S^1 \to X$ with the compact-open topology, endow the ...
362 views

### Mean value theorems for the Haar integral?

Let $G$ be a compact topological group (feel free to add hypotheses if necessary). Is there any mean value theorem for its (normalized to 1) Haar integral? In general, are there mean value theorems ...
103 views

### Automorphism group of a structure without the SAP

A few years ago, a number of examples were given of Fraisse structures without the SAP in answer to the question raised in A Fraïssé class without the strong amalgamation property. It is ...
70 views

### Group actions on principal groupoids

Suppose that $\mathcal{G}$ is etale principal groupoid and that $G$ is a discrete (or finite) group acting freely on the locally compact unit space $\mathcal{G}^0$ (or assuming compactness, if ...
75 views

126 views

### LCH topologies on Groups that are not group topologies

Ellis's 1957 paper on Locally Compact Transformation groups proves the following: A locally compact hausdorff topology on a group $(G, \cdot)$ for which left and right multiplication are (separately)...
59 views

### A question about Raikov complete topological groups

I asked this yesterday on Math Stackexchange, but didn't get any comments. So I thought I might ask here too. Let $G$ be a topological group and let $G^*$ be its Raikov completion, i.e its completion ...
61 views

### Set product of profinite subgroups of a compact group is profinite

Let G be a compact group, suppose $G=AB$ where $A$,$B$ are profinite subgroups of $G$. Is it true that G is profinite group?
448 views

### A possible mistake in Walter Rudin, “Fourier analysis on groups”

I have the following lemma 4.2.4 on page 80 in the book (we have locally compact abelian topological groups $G_1, G_2$ and their duals $\Gamma_1, \Gamma_2$): Suppose $E$ is a coset in $\Gamma_2$ ...
1k views

### Haar measure for large locally compact groups

In this answer, Gerald Edgar mentions that Haar measure is naturally defined on the $\sigma$-algebra of Baire sets (the smallest $\sigma$-algebra that contains all the compact $G_\delta$ sets) of a ...
206 views

### A non locally compact group of finite topological dimension?

Is there a topological group which is Hausdorff, first countable, locally connected and has finite topological dimension, yet fails to be locally compact?
90 views

### Centralizer of a dense subgroup in a maximal subgroup of a reductive group

I am looking for a reference to the following statement "Let $G$ be a reductive algebraic group and $K$ a maximal compact subgroup of $G$. If $H$ is a dense subgroup in $K$, then the centralizer of $H$...
172 views

### Every norm-decreasing algebra morphism $L_1(G)\to\mathcal{B}(E)$ comes from a group representation

In section 8 of this paper http://arxiv.org/abs/math/0611833v3 the author proves the following: If $E$ is a reflexive Banach space, $G$ a locally compact group and $\pi:L_1(G)\to\mathcal{B}(E)$ a norm-...
106 views

### Why are the convolvers in the bicommutant of the pseudo-measures? ($CV_p(G)\subseteq PM_p(G)''$)

Let $G$ be a locally compact group. For $1<p<\infty$ let $\lambda_p:G\to\mathcal{B}(L^p(G))$ (resp. $\rho_p:G\to\mathcal{B}(L^p(G))$) be the left (resp. right) regular representation. $CV_p(G)$ ...
160 views

71 views

### Distal actions on coset spaces

Let $H$ be a group acting by homeomorphisms on a Hausdorff space $X$. Say the action is distal if for all $(x,y) \in X \times X$, if the set $\{(hx,hy) \mid h \in H\}$ accumulates at a diagonal point ...
248 views

### A generalization of residual finiteness to topological groups

Consider the following generalization of residual finiteness to topological groups. A locally compact Hausdorff group $G$ is called residually compact if for every compact $K \subseteq G$ there is a ...
178 views

### Can we Characterise Rings of Continuous Functions?

Suppose $K$ is some nice space, for example $\mathbb R$ or $\mathbb C$. Let $X$ be a set and $C$ a ring of functions $X \to K$. Is there any way to determine, from the algebraic structure of $C$, ...
49 views

### Left introversion operators associated to function spaces on semigroups

I am stuck on the following question for quite sometime now. Please help, any comment is welcome. Let $S$ be a topological semigroup and $\mathcal{F}$ be a translation invariant, conjugate closed ...
926 views

### Topological structure of SO(n) as a product

I’m interested in the question for which $n$ the special orthogonal group is homeomorphic to the product $$\mathrm{SO}(n) \approx S^{n-1} \times \mathrm{SO}(n-1).$$ Allen Hatcher [1, p. 293 f.] ...
188 views

1k views

### A group allowing exactly 7 group topologies

Is there a group $G$ allowing exactly 7 group topologies on $G$: $\mathcal T_{\text{trivial}}, \mathcal T_{\text{discrete}}, \mathcal T_1, \mathcal T_2,\mathcal T_3,\mathcal T_4, \mathcal T_5$ with ...
Suppose that $G$ is a topologically finitely generated profinite group, and let $H$ be a subgroup of countably infinite index. Is $H$ necessarily topologically finitely generated with the subspace ...
### What's the topology on the mapping space $Map_H(G, Y)$ when $G$ is not finite
When $G$ is a finite group and $H$ a closed subgroup of it, the sets of right cosets $H\backslash G$ has the discrete topology on it. Let $Y$ be a $H-$space. We have the $G-$homeomorphism \begin{...