The topological-groups tag has no wiki summary.

**-3**

votes

**0**answers

162 views

### Why is SO(3) not $S^1 \times S^2$? (Where is the mistake?) [migrated]

I was trying to calculate the fundamental group of SO(3). In order to represent the group I reasoned the following way:
In order to build the 3X3 orthogonal matrix I need an orthonormal positive ...

**9**

votes

**0**answers

178 views

### Is the quotient map of the action of homeomorphisms on embeddings well-behaved?

It is well known that if $M$ and $N$ are smooth manifolds, the diffeomorphisms $Diff(M)$ act continuously on the smooth embeddings $Emb^{C^\infty}(M,N)$ by precomposition, if both are given the ...

**1**

vote

**1**answer

74 views

### Is every closed subgroup of dual group an annihilator?

Let $G$ be a LCA group. It is well-known that to every closed subgroup $H$ of $G$ correspond a closed subgroup in the dual group $\widehat{G}$, namely the annihilator of $H$.
My question is this : is ...

**0**

votes

**1**answer

63 views

### Powers in compact coset spaces

Let $G$ be a topological group, let $K$ be a closed cocompact subgroup (i.e. the coset space $G/K$ is compact in the quotient topology) and let $g \in G$. Is there a sequence (edit: or net) of ...

**1**

vote

**0**answers

88 views

### Selecting dense diagonals in $\Bbb T^2$

Let $p$ be a prime number and let $G=\bigcup_{n\in \Bbb N}\{\exp(k\frac{2\pi i}{p^n})\mid k\in \Bbb Z\}$ be a Prüfer group. For homomorphisms $f,g:G\to G$ let $H_{f,g}=\{(f(x),g(x))\mid x\in G\}$. ...

**1**

vote

**0**answers

89 views

### Hausdorff topologies on Q

Is there any description known of the Hausdorff topologies on $\mathbb{Q}$ compatible with the group operations?

**0**

votes

**0**answers

75 views

### Parallel topologies on a Prüfer group with the trivial group topology as the only group topology contained in both

Let $p$ be a prime number. A homomorphism $f:\Bbb Z_{p^\infty}\to \Bbb T$ induces a group topology $\mathcal T_f$ on $\Bbb Z_{p^\infty}$ with a base of neighborhoods $\mathcal N_f$ of $0$.
Are there ...

**1**

vote

**1**answer

237 views

### A Comparison between $\pi_{1}$ of cohomology and cohomology of $\pi_{1}$

Let we have a complex of abelian topological or lie groups $$\ldots \to G_{n}\to G_{n+1}\to \ldots$$ such that the image of $G_{n}$ is a closed subgroup of $G_{n+1}$. Then we have a complex of ...

**1**

vote

**0**answers

24 views

### countably-infinite-index subgroup of a strongly complete profinite group

If $H$ is a strongly complete profinite group and $K$ is a dense countably-infinite-index subgroup, then I'm assuming a proper finite-index subgroup of $K$ could still be dense in $H$. Is there any ...

**2**

votes

**1**answer

104 views

### Eigenfunction of ergodic skew product fixed by commutator?

Background: Let $(Y, \mathcal{B},\mu,T)$ be an ergodic probability system and let $G$ be a compact metrizable group with compact subgroup $H$. Given a measurable map $\rho:Y \to G$. We may define the ...

**1**

vote

**1**answer

59 views

### locally topologically finitely generated t.d.l.c. group

I am trying to find an example of the following situation.
$G$ is a t.d.l.c. (totally disconnected locally compact) $\sigma$-compact topological group in which every compact open subgroup is ...

**4**

votes

**1**answer

144 views

### Are convolution algebras ever “topologically noetherian”?

For finite groups $G$, we have the group ring $k[G]$, and we can think of $G$-representations as $k[G]$-modules. It is known that for $G$ virtually polycyclic, $k[G]$ is a Noetherian ring, which means ...

**0**

votes

**0**answers

20 views

### topologically finitely generated residually finite group

Suppose that $G$ is a topologically finitely generated profinite group and $H$ is a subgroup of countably infinite index. Can I say that $H$ must be topologically finitely generated with the subspace ...

**1**

vote

**1**answer

58 views

### countably-infinite-index subgroup of a finitely generated profinite group

Suppose that $G$ is a profinite group with the property that every open compact subgroup is topologically finitely generated and just infinite. Suppose that $H$ is a commensurated subgroup of $G$ with ...

**0**

votes

**0**answers

39 views

### connected Polish groups

We know that a connected locally compact Hausdorff topological group is a pro-Lie group, by the Gleason-Yamabe theorem. Is there a known characterisation of the connected Polish groups?

**2**

votes

**2**answers

268 views

### If $ F(x,\bullet) \in {L^{2}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?

This question is related to something that I asked yesterday: If $ F(x,\bullet) \in {L^{\infty}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?
Pietro Majer ...

**4**

votes

**1**answer

114 views

### If $ F(x,\bullet) \in {L^{\infty}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?

Let $ (X,\Sigma,\mu) $ be a $ \sigma $-finite measure space and $ B $ a Banach space. A function $ f: X \to B $ is said to be strongly $ \mu $-measurable iff it is the almost-everywhere pointwise ...

**6**

votes

**1**answer

269 views

### discrete group cohomology vs continuous group cohomology for profinite groups

Let $G$ be a profinite group and $M$ be a finite $G$-module. I can compute the cohomology of $G$ with coefficients in $M$ either as a topological group or as a discrete group. There is an obvious map ...

**5**

votes

**0**answers

197 views

### Approximating a measurable function from a second-countable, locally compact Hausdorff group to a separable Banach space

Let $ G $ be a second-countable, locally compact Hausdorff group and $ B $ a separable Banach space.
We say that a function $ f: G \to B $ is Bochner-measurable if and only if it is the everywhere ...

**1**

vote

**0**answers

113 views

### Non invertibility of certain integral arising from group action

Let a compact topological group $G$ with invariant measure $\mu,$ acts on a simply connected compact topological space $X$ and $\rho$ is a $n$-dimensional unitary representation of $G$. ...

**2**

votes

**1**answer

100 views

### Totally bounded group topologies on $\Bbb Q$ with trivial intersection of two neighborhoods

Are there totally bounded group topologies $\mathcal S$ and $\mathcal T$ on $\Bbb Q$ such that for some open sets $A\in\mathcal S$ and $B\in \mathcal T$ we have $A\cap B=\{0\}$?

**3**

votes

**0**answers

123 views

### Group topologies on $\Bbb Z$ with dense open sets in $\Bbb T$

Let $\Bbb Z$ be embedded in the circle group $\Bbb T$ by an irrational rotation and regard $\Bbb Z$ as a subgroup/subspace of the topological group $\Bbb T$.
Are there group topologies $\mathcal A$ ...

**3**

votes

**1**answer

114 views

### algebraic groups over non-archimedean local fields acting on buildings

I was wondering could anyone tell me a reference for the fact that an absolutely quasi-simple algebraic group over a non-archimedean local field which is centreless and non-compact acts faithfully and ...

**0**

votes

**0**answers

59 views

### Showing that a particular function from a locally compact Hausdorff group $ G $ to a $ C^{*} $-algebra $ A $ is Bochner-measurable

Suppose that we have the following data:
A $ C^{*} $-algebra $ A $.
A locally compact Hausdorff group $ G $.
A strongly Borel mapping $ \alpha: G \to \text{Aut}(A) $, the automorphism group of $ A ...

**1**

vote

**1**answer

89 views

### query about quasi-simple algebraic groups over local fields

Suppose that $G$ is an absolutely quasi-simple algebraic group over a non-archimedean local field $k$ (of either zero or positive characteristic). Is it known whether or not it is necessarily the case ...

**11**

votes

**1**answer

1k views

### Distributivity of group topologies on $\Bbb Z$

Let $\mathcal L$ be the set of all group topologies on $\Bbb Z$.
It is known that $(\mathcal L,\subseteq)$ is a modular complete lattice [1].
Is $(\mathcal L,\subseteq)$ distributive?
$$~$$
[1] ...

**7**

votes

**1**answer

425 views

### Group structure on an arbitrary completely regular topological space that makes $(x,y)\mapsto xy^{-1}$ continuous at $(1,1)$

Let $(G,\mathcal T)$ be a completely regular topological space. Is there a group structure on $G$ such that the function
$$f:G\times G\to G$$
$$f(x,y)=xy^{-1}$$
is continuous at $(1,1)$?

**4**

votes

**1**answer

173 views

### Are infinite groups “locally topologizable”?

Does every infinite group admit a Hausdorff topology such that the multiplication and inverse are continuous at $1$ but $1$ is not an isolated point?
The question is inspired by and related to ...

**9**

votes

**0**answers

422 views

### A group allowing exactly 7 group topologies

Is there a group $G$ allowing exactly 7 group topologies on $G$: $\mathcal T_{trivial}, \mathcal T_{discrete}, \mathcal T_1, \mathcal T_2,\mathcal T_3,\mathcal T_4, \mathcal T_5$ with
$$\mathcal ...

**0**

votes

**1**answer

72 views

### Parallel group topologies on Prüfer groups

Let $p$ be a prome number. Are there group topologies $\mathcal S$ and $\mathcal T$ on $\Bbb Z_{p^\infty}$ such that
$$\mathcal T \nsubseteq \mathcal S,~~\mathcal S \nsubseteq \mathcal T$$

**4**

votes

**1**answer

114 views

### Equations and random subgroups in compact groups

EDIT: Here is a more specific question.
Let $G$ be a compact group and let $w$ be a word in $d$ variables. Then the solution set $S$ of the equation of $w=1$ is a closed subset of the product $G^d$ ...

**4**

votes

**0**answers

92 views

### Is every compact monothetic group metrizable?

If $G$ is a compact (Hausdorff) topological group with a dense cyclic subgroup, is it necessarily true that $G$ is first countable? This claim seems to be implicit in a paper that I am reading at the ...

**5**

votes

**0**answers

64 views

### Separation of topological group elements by invariant neighbourhooods

Let $G$ be a topological group that is Hausdorff, that is, for every pair $(g,h)$ of distinct elements of $G$, there exist disjoint open sets $U_g$ and $U_h$ such that $g \in U_g$ and $h \in U_h$.
...

**3**

votes

**1**answer

102 views

### Infimum of two group topologies

Let $G$ be a non-abelian group and $\mathcal S$ and $\mathcal T$ be group topologies on $G$. What is the largest group topology $\tau$ on $G$ with $\tau \subseteq \mathcal T\cap \mathcal S$?
In ...

**5**

votes

**1**answer

124 views

### Is an extension of compact Hausdorff topological groups compact?

Let $1 \rightarrow A \xrightarrow{a} B \xrightarrow{c} C \rightarrow 1$ be a short exact sequence of topological groups (i.e., all maps are continuous, $A = \mathrm{Ker}(c)$, and $C = ...

**6**

votes

**2**answers

226 views

### Union of conjugates of a closed subgroup of a compact group

Let $G$ be a compact Hausdorff group, $H \leq G$ a closed subgroup of infinite index in $G$.
Is it possible that the conjugates of $H$ cover some open neighbourhood of $1$ in $G$ (or the whole of ...

**0**

votes

**0**answers

45 views

### The set of (property) elements of a locally compact group is closed

For which properties $(P)$ is the following statement known to be true?
In any locally compact group $G$, the elements of $G$ that satisfy $(P)$ form a closed subset of $G$. In other words, the ...

**2**

votes

**0**answers

103 views

### Justification of the convolution operation of $L^1(G)$ functions where $G$ is a LCA group (measurability)

Suppose $G$ is a locally compact abelian Hausdorff group (LCA), and $\lambda$ is the Haar measure on it. We all know the convolution of two $L^1(\lambda)$ functions $f$ and $g$ on $G$ is defined as
...

**2**

votes

**0**answers

322 views

### Topological proof of a result in Logic

I proved the result below using logic. My questions:
Can this theorem be proved by purely topological means?
Do you know any theorems that either can be used to prove the same result, or which give ...

**0**

votes

**1**answer

118 views

### Simple but topologizable [closed]

Do you have an example of an infinite simple group with at least 3 distinct group topologies on it?

**1**

vote

**2**answers

252 views

### Locally compact vs. compactly generated in group theory

I'm studying the Creutz-Shalom paper on the normal subgroup theorem for dense commensurators of lattices. The authors state their results for locally compact and compactly generated groups. I do not ...

**7**

votes

**1**answer

385 views

### Existence of infinite groups that are too reluctant to be topological

With ZFC, is there an infinite group $G$ such that there is no non-trivial non-discrete topology on $G$ with the functions $G\times G\to G,~~ (a,b) \mapsto ab$ and $G\to G,~~ a\mapsto a^{-1}$ ...

**3**

votes

**2**answers

265 views

### The group of diffeomorphisms with compact support

Let $M$ be a topological/differentiable manifold. Is there any topology on the group of homeomorphisms/diffeomorphisms with compact support, turning it into a (locally-)compact topological group?
(My ...

**14**

votes

**1**answer

362 views

### In what topological abelian groups does convergence to zero imply summability?

(This question has been on math.SE for over a week and has not gotten any answers.)
Let $G$ be a (T$_0$) topological abelian group, and let $0$ be its identity element.
Assume that for all index ...

**10**

votes

**1**answer

246 views

### Compact Quantum Groups and the Existence of the Classical Haar Measure

Before I state my question, let me provide the definition of a compact quantum group.
Definition: An ordered pair $ \mathscr{G} = (\mathscr{A},\Phi) $ is called a compact quantum group if
...

**9**

votes

**0**answers

144 views

### Haar measurable sets and quotient maps

Let $G$ be a locally compact Hausdorff group with a Haar measure $\mu$, let $H$ be a closed normal subgroup of $G$, and let $q: G \to G/H$ be the quotient homomorphism. Let $\nu$ be a Haar measure ...

**2**

votes

**0**answers

85 views

### Free profinite completions

Let $m,n \in \mathbb{N}$. Which residually finite groups $G$ generated by $m$ elements, have the free profinite group on $n$ generators as their profinite completion?

**3**

votes

**0**answers

104 views

### Automorphisms of profinite groups

Let $d,n \in \mathbb{N}$, and $p$ a prime number. Let $F$ be a free pro-$p$ group on $d$ generators. Is there an automorphism of $F$ of order $n$?

**4**

votes

**3**answers

544 views

### Action of a profinite group

Let $G$ be a finitely generated profinite group, $p$ a prime number. Put $$ V = \prod_{i \in I} \mathbb{Z}_p$$ a (profinite) group equipped with the product topology (for convenience, $I$ may be ...

**4**

votes

**0**answers

72 views

### Can an acyclic continuum be metrically homogenous? (I'd say: no way! :-)

I asked recently on MO about algebraic structures admitted by topologically homogenous continua like the Hilbert cube $\ I^{\mathbb N}\ $ or the Knaster pseudo-arc. There is a relation between the ...