The topological-groups tag has no wiki summary.

**6**

votes

**1**answer

227 views

### Topological groups defined by completely disconnected subgroups

Can you define a group topology on a group by specifying which subgroups should be discrete with respect to that topology (where a subgroup $S$ of $G$ is discrete if each $s\in S$ has an open ...

**4**

votes

**1**answer

112 views

### Automorphism group of compact abelian group

I am looking for references on the automorphism group $\mathrm{Aut}(X)$ of a compact abelian group $X$. By automorphisms I mean topological group automorphisms. Some particular questions are as ...

**1**

vote

**2**answers

145 views

### Hausdorffness inheritance in topological groups

Suppose $\mathcal T$ and $\mathcal S$ are two compatible Hausdorff topologies on a group $G$ and $\mathcal R$ is a maximum compatible topology on $G$ with $\mathcal R \subseteq \mathcal T\cap \mathcal ...

**0**

votes

**0**answers

41 views

### Semi-continuity of injectivity radius

Let $H$ be a locally compact second countable topological group and $X$ be a locally compact second countable space. Assume that $H$ acts continuously on $X$ and that for every $x$, $H_x=\{h \in H ; ...

**2**

votes

**1**answer

120 views

### Connectedness properties of groups of homeomorphisms

Denote by $H(X)$ the group of homeomorphisms of a topological space $X$. Assume further that $X$ is either compact or locally compact and locally connected. In both cases $H(X)$ becomes a topological ...

**2**

votes

**2**answers

168 views

### injective implies completion injective?

Background and definitions.
Let $k$ denote a field complete with respect to a non-trivial non-archimedean norm. Let $R$ be the integers in $k$, and say $\pi\in R$ with $0<|\pi|<1$ ($\pi$ ...

**5**

votes

**1**answer

265 views

### Locally finite compact groups

I assume all tolpological groups here to be Hausdorff. A group is called locally finite if every finitely generated subgroup is finite. What can be said about a locally finite compact group? Must it ...

**0**

votes

**1**answer

83 views

### Is a weakly separable group always Lindelöf?

By "weakly separable" I mean the notion for uniform spaces used by David Wigner and Lawrence Brown: a uniform space is weakly separable if any uniform cover has a countable subcover. For a topological ...

**11**

votes

**2**answers

443 views

### Restriction of “$\pi_{1}$” to topological groups

Let $G$ and $H$ be two topological groups. Assume that $\phi:\pi_{1}(G) \to \pi_{1}(H)$ is a group homomorphism. Is there a continuous function $f:G\to H$ such that $f_{*}=\phi$?

**15**

votes

**1**answer

499 views

### Is a left topological group which is a manifold a topological group?

Let $G$ be a left topological group, i.e. a topological space with group operation such that left multiplication $L_g : x \mapsto gx$ is continuous (but right multiplication and inversion are not ...

**1**

vote

**0**answers

55 views

### Continuity of inversion and composition in certain topological groups

For $k\in\Bbb{N}$ ($k\geqslant 1$) and $\alpha\in]0,1]$, let $H_{k,\alpha}([0,1])$ be the group of orientation preserving $C^{k,\alpha}$ diffeomorphisms of the closed unit interval $[0,1]$. We furnish ...

**2**

votes

**2**answers

368 views

### Is any continuous group homomorphism from R to C* an exponential map? [closed]

Consider $\mathbb{R}$ to be an additive topological group, and $\mathbb{C}^{\ast}$ to be a multiplicative topological group.
Is the following statement true?
If so, then how can one prove it?
...

**4**

votes

**2**answers

346 views

### Irreducible representations of compact groups

Let G be a compact group (or even profinite - Galois group). Let $V$ be a vector space over the field ${\mathbb F}_p$ with $p$ elements, $p$ a finite prime, such that $V$ is a contable product of ...

**12**

votes

**2**answers

393 views

### subsets of groups which have to be closed no matter what

One example of a subset of a group $G$ which has to be closed in any topology on $G$ compatible with the group operations is a centraliser. Are there any other interesting examples?

**3**

votes

**1**answer

215 views

### Understanding Bruhat's notion of Schwartz function

I am trying to understand Bruhat's generalized Schwartz functions over (Hausforff) locally compact Abelian groups [1], following this paper [2] by Osborne. There, the Schwarz-Bruhat space ...

**1**

vote

**1**answer

135 views

### Group morphism and axiom of choice

Let $n$ be a strictly positive natural integer. Let us consider the topological group $(\mathbb{R}^n,+)$ with its usual structure.
In ZF, can we deduce some form of the axiom of choice from the ...

**6**

votes

**1**answer

159 views

### Do syndetic sets on amenable semigroups have positive upper density?

Let $\mathbb{G}$ be a discrete amenable semigroup, and $\left\{ F_{n}\right\} $
a Folner sequence.
For $S\subset \mathbb{G}$ define the upper density as $D^{\ast
}(S)=\limsup_{n\rightarrow \infty ...

**2**

votes

**1**answer

126 views

### Tensor product of topological abelian groups with the reals

Given an abelian group A, the tensor product $A \otimes R$, where R are the reals, is naturally an R-vector space.
Now suppose that A is a topological abelian group (if necessary, we can assume it ...

**6**

votes

**1**answer

135 views

### Is the kernel of the Bohr compactification minimally almost periodic provided that it is cocompact?

Let $G$ be a locally compact (second countable) group and let
$$
G_0 = \cap \{ \ker\pi : \pi \text{ is a continuous finite-dimensional unitary representation of } G \}.
$$
This is the kernel of the ...

**3**

votes

**1**answer

116 views

### The finest countably generated free topological group so that $x^{m_{n}}_n\rightarrow 1$?

What is the finest free topological group $H$ with generators ${x_{1},x_{2},...}$ so that $x^{m_{n}}_n\rightarrow 1$ for all sequences $m_{1},m_{2},...$?
Is $H \simeq K$, with $K$ the natural ...

**0**

votes

**1**answer

217 views

### Existence of $n$-connected topological groups with $m$-dimensional action extending that of $GL(m)$ on $\mathbb{R}^m$

I'll first state the question as concisely as I can and then provide some motivation.
Consider two positive integers $m$ and $n$ such that $m < n+2$. Does there exist a topological group $G$ ...

**4**

votes

**0**answers

259 views

### Completion of abelian topological groups

During some exercises I came upon the following questions that I cannot answer myself. Given a topological group $G$ we can build the completion using cauchy sequences and denote this completion by ...

**2**

votes

**1**answer

231 views

### topological group that is connected and locally connected but not path-connected

Is there a ($\mathrm{T}_0$) topological group that is connected and locally connected but is not path-connected?
This is a cross-post from MSE, since my question there was posted over three weeks ...

**3**

votes

**1**answer

76 views

### Is every regular paratopological group completely regular?

This problem is presented as an open problem 1.31. on p.26 of Arhangel'skii-Tkachenko, Topological groups and related structures. Is this problem still open?
Dusan

**9**

votes

**3**answers

564 views

### To what extent has the Haar measure been generalized?

It is known that all locally compact groups, and therefore compact groups, have a left-invariant Haar measure which is unique up to scalar constant, also a right-invariant one. Is there a strictly ...

**6**

votes

**2**answers

272 views

### Are the reduced group Von Neumann algebra/ Group $C^{\ast}$ algebra functorial in the case of LCH groups

Let $G$ be a LCH group and $\mu$ be its left Haar measure. Call $\lambda_G : G \to U(L_2(G,\mu))$ the left regular representation. We can define the reduced $C^{\ast}$ algebra and reduced Von Neumann ...

**4**

votes

**1**answer

89 views

### Examples of optimal ultracontractivity estimates for a Markovian semigroup $T_t$ that do not depend polynomialy on $t$

Let $(X,\mu)$ be a measure space and $T_t : L_2(\mu) \to L_2(\mu)$ for $t \geq 0$ a symmetric Markovian semigroup. Local ultracontractivity estimates of the form:
$$
\| T_t : L_p(\mu) \to L_q(\mu)\| ...

**6**

votes

**3**answers

321 views

### A Hausdorff abelian group with no character?

Pontryagin Duality for locally compact abliean groups gives plenty of continuous (unitary) characters $\chi : A \to \mathbb{R} / \mathbb{Z}$, but if we do not assume local compactness, can anything be ...

**-1**

votes

**1**answer

184 views

### A characterization of the module function on a locally compact division ring

The same question was asked in Math StackExchange about 3 months ago.
Since nobody has answered to it, I would like to post it here.
References:
Weil's Basic Number Theory(denoted by BNT).
...

**4**

votes

**2**answers

119 views

### A theorem of Markov about completely regular spaces and topological groups

In Pontriaguin's classic book Grupos continuos (in English Continuous Groups), says that A. Markov proved that:
There are topological groups that are not normal.
Furthermore, he says it is ...

**12**

votes

**2**answers

263 views

### If G is a sequential topological group, must G x G be sequential?

Using standard definitions, the topological space $Y$ is sequential if for each nonclosed $A \subset Y$, there exists a convergent sequence $a_{1}$ , $a_{2}$,...$\rightarrow b$
so that $a_{n} \in A$ ...

**4**

votes

**1**answer

112 views

### Layman question: A dense subgroup with completion not isomorphic to the big (pro-p) group?

This is unlikely a research level question... one that would be answered in a blink of an eye, rather...it is an (early) exercise from the book "Analytic Pro-p groups". But since no reply was received ...

**5**

votes

**1**answer

456 views

### Naive question on adelic groups

The ever-reliable Wikipedia says:
... an adelic algebraic group is a semitopological group defined by...
No more details are given, and I was wondering if the multiplication only being ...

**9**

votes

**0**answers

167 views

### Contractible topological groups

Does there exist a Hausdorff topological group which is contractible and of finite covering dimension but which is not homeomorphic to $\mathbb{R}^n$ for some $n$?

**17**

votes

**0**answers

477 views

### Can closed compacts in a topological group behave “paradoxically” with respect to unions, intersections, and one-sided translations?

Consider two closed compacts $A$ and $B$ in a topological group $\Gamma$. Let $A'$ be a left translation of $A$ and $B'$ a left translation of $B$:
$A' = aA$,
$B' = bB$.
Suppose it is known that ...

**7**

votes

**2**answers

443 views

### Conditions for a topological group to be a Lie group

In flipping through the Springer lecture notes on Serre's 1964 'Lie Algebras and Lie Groups' lectures at Harvard, I found this pair of suprising results (page 157):
Let $G$ be a locally compact ...

**8**

votes

**2**answers

227 views

### Why is TopGrp the category of topological groups and continous homomorphisms protomodular?

Why is TopGrp the category of topological groups and continous homomorphisms protomodular? I know it is, and I have several indirect proofs, but am not able to prove this directly by showing that the ...

**0**

votes

**1**answer

110 views

### Suppose $(G,\mathcal T)$ is a paratopological group and $a,b\in G$ and every neighborhood of $a$ contains $b$. Can we say every neighborhood of $b$ contains $a$?

Suppose $(G,\mathcal T)$ is a paratopological group and $a,b\in G$ and every neighborhood of $a$ contains $b$. Can we say every neighborhood of $b$ contains $a$?
clearly every closed neighborhood ...

**7**

votes

**4**answers

998 views

### Compact open topology

What is the intuition behind using compact open topology for eg. in the case of Pontryagin dual ?

**7**

votes

**0**answers

203 views

### Which topological spaces are coset spaces of locally compact groups?

What is a topological characterization of the class of spaces that have the form $G/H$ for a locally compact, Hausdorff group $G$ and a closed subgroup $H$ ?
Such a space $X=G/H$ necessarily ...

**6**

votes

**1**answer

290 views

### Are finite index subgroups of inertia closed?

Let $K$ be a finite extension of the $p$-adic numbers. $G_K$ be its absolute Galois group and $I_K$ the inertia subgroup. Are finite index subgroups of $I_K$ closed in its profinite topology?
By a ...

**1**

vote

**0**answers

41 views

### a free topological product of topological semigroups?

Much work has be done on describing the topology of free products of topological groups (Graev, Morris, Katz, etc). Could anybody hint me any results on free topological products of topological ...

**1**

vote

**2**answers

142 views

### Cross section for closed Lie subgroup in a Lie group

Let $G$ be a Lie group and $H$ a closed Lie subgroup. Is there an explicit way to construct a local cross section of $H$ in $G$ so that $\pi: G\to G/H$ is a fiber bundle?

**1**

vote

**0**answers

169 views

### From positive definite function to Følner sequence --— a question on amenability and nuclearity

We know that amenability of countable discrete group $\Gamma$ has many equivalent characterizations. In particular, there are two: a) there is a sequence of finitely supported positive definite ...

**-4**

votes

**1**answer

222 views

### Is the product of closed subgroups in a locally compact group locally compact? [closed]

Let $A$ and $H$ be closed subgroups of a $\sigma$-compact locally compact group $G$. Assume further that $A$ is abelian. Is the group $AH$ locally compact subgroup in the subspace topology?

**0**

votes

**1**answer

227 views

### Is the image of discrete set under an open map discrete?

Let $G$ and $H$ be locally compact totally disconnected abelian groups, and $f:G\rightarrow H$ a surjective open map. Let $Y\subseteq G$ be a discrete subgroup in the subspace topology. Is it true ...

**17**

votes

**2**answers

713 views

### Is every topological (resp. Lie-) group the isometrygroup of a metric space (resp. Riemannian manifold)?

The isometry group of a metric space is a topological group (with the compact open topology). The isometry group of a Riemann Manifold is a Liegroup. (Thm. of Steenrod-Myers)
So, is every topological ...

**3**

votes

**1**answer

201 views

### a free topological group as a topological module

Let $G$ be a topological group, and let $F$ be the Markov free topological group over $G$. We define an action of $G$ on $F$ as follows: $G\times F\rightarrow F$, ...

**0**

votes

**1**answer

170 views

### Strongly Complete Profinite Groups.

I've been reading about profinite groups and have encountered the notion of strong completeness. I.e. that a profinite group $G$ is strongly complete if it is isomorphic to it's profinite completion ...

**1**

vote

**1**answer

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