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).

learn more… | top users | synonyms

5
votes
1answer
164 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 ...
4
votes
0answers
86 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 ...
1
vote
0answers
61 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 ...
0
votes
0answers
74 views

Right split for homomorphism onto $S_\infty$

Let $G$ be a closed subgroup of $S_\infty$ and let $f:G\rightarrow S_\infty$ be a continuous surjective homomorphism. Under which conditions $f$ has a right split, i.e. there exists some ...
2
votes
0answers
84 views

Primitive ideal space and unitary dual of a [SIN] group - when are they Hausdorff?

Recall that a locally compact group $G$ is said to be an $[FC]^-$ group, if each conjugacy class in $G$ has a compact closure; an $[SIN]$ group, if each neighborhood of the identity includes a ...
4
votes
1answer
225 views

Weil's Haar measure construction from below

Weil's construction of a Haar measure on a locally compact group rests on approximating a function from above by sums of translates of another function. I would need to know something similar for an ...
3
votes
0answers
51 views

Characteristically simple locally compact abelian groups

Say a topological group $G$ is topologically characteristically simple if there does not exist a closed subgroup $1 < K < G$ such that $K$ is invariant under all automorphisms of $G$ (here ...
5
votes
1answer
71 views

Is the Hofer topology second countable?

Let $(M,\omega)$ be a symplectic manifold and let $\operatorname{Ham}^c(M,\omega)$ denote the group of compactly supported Hamiltonian diffeomorphisms of $(M,\omega)$. Is the Hofer topology on ...
4
votes
0answers
123 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 ...
0
votes
0answers
45 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 ...
1
vote
1answer
60 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?
13
votes
0answers
439 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$ ...
2
votes
0answers
86 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 ...
6
votes
2answers
186 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?
3
votes
0answers
57 views

Can approximately periodic functions be perturbed to periodic functions on a locally compact group?

Let $G$ be a locally compact group and $H\subset G$ a closed and cocompact subgroup. I wish to consider bounded continuous functions from $G$ to $\mathbb{C}$ that are periodic in the following strong ...
4
votes
1answer
157 views

Discrete spectrum and almost periodicity

According to Vershik, an ergodic invertible measure-preserving transformation $T$ on a Lebesgue space $X$ has discrete spectrum if and only if for every bounded measurable function $f\colon X \to ...
4
votes
1answer
198 views

The fibration map $Diff(M) \rightarrow Emb(N,M)$

Let $M$ be a non-compact manifold, equipped with a (closed?) submanifold $N\subset M$. The action of $Diff(M)$ on the set of embeddings $N\hookrightarrow M$ induces a map $$ Diff(M) \rightarrow ...
1
vote
0answers
76 views

Subgroups of finite non-zero Haar measure of abelian locally compact groups

Is it true that every subgroup of finite non-zero Haar measure of an abelian locally compact group should be open and compact? This is obviously true for the case of discrete abelian groups. Thanks.
3
votes
0answers
58 views

Kind of multiplicative total boundedness in Hausdorff compact rings

Let $(R,\cal T)$ be a unital Hausdorff compact topological ring and let $A$ be an open subset of $R$ containing $1$. Is there a finite set $B$ with $AB=R$?
6
votes
0answers
215 views

Two different Thom diagonals in recent literature?

Taking the point of view that a Thom spectrum functor should be a map $Top_{/BGL_1(R)}\to LMod_R$, for $R$ some $\mathbb{E}_n$-ring spectrum, there seem to be two morphisms (in $Top_{/BGL_1(R)}$) that ...
1
vote
0answers
70 views

Not normal connected component of a right topological group

Let $\cal T$ be a locally compact topology on a group $G$ and $(x,y)\mapsto xy^{-1}$ be continuous at $(1,1)$ and for every $a\in G$, $x\mapsto xa$ be continuous everywhere with respect to $\cal T$. ...
4
votes
0answers
120 views

When can a locally compact group be approximated by discrete subgroups?

This question is about partitioning a (locally) compact group into cells by using discrete subgroups. Let $G$ be a locally compact group. (I am really most interested in the case where $G$ is a ...
2
votes
2answers
244 views

Abelian extremely amenable group?

Is there a nontrivial commutative Hausdorff topological group that is extremely amenable? Recall that a topological group is called extremely amenable if any continuous action on a compact ...
6
votes
0answers
205 views

Is $k(\!(x,y)\!)$ a topological field?

More generally, let $(R,m)$ be a Noetherian local domain with fraction field $K$. The $m$-adic topology turns $R$ into a topological ring. When $R$ is a discrete valuation ring, this topology extends ...
3
votes
1answer
99 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)$ ...
5
votes
0answers
59 views

Almost invariance in compact quotients of locally compact groups

While trying to get an analogue of Weiss's monotiling result for amenable residually finite groups in the topological setting, I face the following problem. Let $G$ be a locally compact amenable ...
2
votes
1answer
169 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 ...
2
votes
0answers
69 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 ...
2
votes
1answer
175 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$, ...
0
votes
0answers
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 ...
8
votes
1answer
169 views

Embedding abelian cancellative Hausdorff topological semigroups into abelian Hausdorff topological groups

An abelian cancellative semigroup embeds (via a semigroup monomorphism) into an abelian group. What about an abelian cancellative Hausdorff topological semigroup that does not embed (via a ...
11
votes
1answer
245 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 ...
17
votes
0answers
425 views

The cofinality of $(\mathbb{N}^\kappa,\le)$ for uncountable $\kappa$?

For a partially ordered set $P$, a set $A\subseteq P$ is cofinal if for each element of $P$ there is a larger element in $A$. The cofinality of $P$, ${\rm cof}(P)$, is the minimal cardinality of a ...
6
votes
4answers
915 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.] ...
3
votes
1answer
122 views

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 ...
12
votes
0answers
229 views

A meager subgroup of the real line, which cannot be covered by countably many closed subsets of measure zero?

Is there a ZFC-example of a subgroup $H$ of the real line $\mathbb R$ such $H$ is meager, has zero Lebesgue measure, but cannot be covered by countably many closed subsets of measure zero in $\mathbb ...
2
votes
0answers
188 views

Is $1+T$ a topological generator for $Z_{p}[[T]]$? [closed]

Consider the ring of formal power series $\mathbb{Z}_p[[T]]$ (where $\mathbb{Z}_p$ denotes the ring of $p$-adic integers) with the topology in which a neighborhood basis for $0$ is given by the ideals ...
1
vote
0answers
42 views

In a topological group $G$ with its lower uniformity, if $G$ is locally totally bounded, is its completion locally compact?

There has been work done on groups whose lower uniformity (or Roelcke uniformity) is totally bounded, e.g. the orthogonal group on a Hilbert space. This condition is equivalent to saying the lower ...
4
votes
0answers
523 views

Examples of a topological semidirect product

Let $G$ be a compact topological group, and $\operatorname{Aut}(G)$ the group of autohomeomorphisms of $G$. I have proved some (topological) results about the holomorph $G\leftthreetimes ...
5
votes
0answers
116 views

Is a successor to a successor to the trivial group topology on an Abelian group, totally bounded?

Is there an example of an Abelian group $G$ and group topologies $\cal S$ and $\cal T$ on it such that $\cal S$ is an immediate successor to the trivial topology on $G$ (i.e there is no other group ...
6
votes
1answer
95 views

Can each non-open analytic subgroup of a Polish abelian group be covered by countably many closed Haar null subsets?

By a result of Laczkovich ('Analytic subgroups of the reals' Proc AMS Vol 126 (1998)), any non-open analytic subgroup of a Polish locally compact group can be covered by countably many closed Haar ...
3
votes
1answer
93 views

Is the sumset of two Haar positive closed subsets of a Polish group non-meager?

A famous Steinhaus theorem says that if measurable subsets $A,B$ of a locally compact topological group $G$ have positive Haar measure, then the difference $AA^{-1}$ is a neighborhood of the unit and ...
3
votes
1answer
146 views

Isometry Group of real Hilbert space?

Does the isometry group of a real separable infinite-dimensional Hilbert space have two connected components? Or, conversely, is the there even a Kuiper's theorem in the real case? How does the ...
0
votes
1answer
75 views

A group topology which commutes with closed subgroups

For a topological group $(G,\mathcal T)$ and a subgroup $H\le G$, we say $\mathcal T$ and $H$ are permutable if for every neighborhood $U$ of $1$, there is a neighborhood $V$ of $1$ with $VH\subseteq ...
2
votes
1answer
103 views

Bohr compactification and “discretization”

Let $G$ is a compact group. We can form the Pontriagin dual $\widehat{G}$ of $G$: it is then discrete space. One can consider the Bohr compactification $b\widehat{G}$ of $\widehat{G}$ which is compact ...
6
votes
2answers
345 views

Baire Category Theorem for complete uniform spaces

The version of the Baire Category Theorem I have in mind is the statement that a countable intersection of dense open subsets of a complete metric space is dense. The question is: is it likewise ...
5
votes
1answer
180 views

The evaluation fibration of a transitive, effective topological group action

Does anybody know a reference to the following fact? If $G$ is a topological group acting transitively and effectively on a space $X$, then the evaluation map $G \rightarrow X$, $g \mapsto g \cdot ...
2
votes
1answer
93 views

Just-not-nilpotent-by-compact quotient of a locally compact group

It is known (and not complicated to prove) that for a finitely generated not virtually nilpotent group $G$, we can pass to a quotient $G/N$ of $G$, such that the quotient is just not virtually ...
50
votes
1answer
4k views

Why can't a nonabelian group be 75% abelian?

This question asks for intuition, not a proof. An earlier question, Measures of non-abelian-ness was thoroughly answered by Arturo Magidin. A paper by Gustafson1 proves that, for a nonabelian group, ...
3
votes
2answers
307 views

Exotic group topologies on the affine group $ax+b$

Let $G = \{(x; y) : x \in \mathbb{R}, y > 0\}$. With $(x, y)(u, v) = (x + yu, yv)$, $G$ is a group. If we topologize $G$ as a subset of $\mathbb{R}^2$, it is known that $G$ is a locally compact ...