**24**

votes

**0**answers

975 views

### Do all possible trees arise as orbit trees of some permutation groups?

I.Motivation from descriptive set theory
(Contains some quotes from Maciej Malicki's paper.)
The classical theorem of Birkhoff-Kakutani implies that every metrizable topological group G admits a ...

**17**

votes

**0**answers

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

**14**

votes

**0**answers

967 views

### What groups are Lie groups?

We know how to tell if a topological group is a Lie group: this was famously asked by Hilbert and answered gloriously by Gleason, Montgomery and Zippin in the 50s (a locally compact topological group ...

**14**

votes

**0**answers

512 views

### Closed connected additive subgroups of the Hilbert space

It is a classical result that a closed and connected additive subgroup of $\mathbb{R}^n$ is necessarily a linear subspace. However, this is no longer true in infinite dimension: a very easy example is ...

**13**

votes

**0**answers

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

**12**

votes

**0**answers

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

**10**

votes

**0**answers

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

**8**

votes

**0**answers

268 views

### 'Infinitesimal' elements of a topological group

Let $G$ be a topological group, and let $M$ be the intersection of all conjugacy-invariant neighbourhoods of the identity in $G$ (in other words, the set of elements that can be taken arbitarily close ...

**8**

votes

**0**answers

432 views

### Are there non-reflexive abelian topological groups isomorphic to their second dual?

I posted the following question in a comment at
Are there non-reflexive vector spaces isomorphic to their bi-dual? and it got one upvote, but it didn't get an answer, so I'll post it as an ...

**7**

votes

**0**answers

261 views

### Strange normal subgroups of profinite groups

I am looking for an example of the following situation:
$G$ is an infinite profinite group, with a dense normal subgroup $N$. However $N$ does not contain any non-trivial closed normal subgroup of ...

**6**

votes

**0**answers

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

**6**

votes

**0**answers

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

**6**

votes

**0**answers

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

**6**

votes

**0**answers

400 views

### Ever seen a ringed group?

A locally ringed space is a common generalization of schemes and various manifolds. I am wondering about a locally ringed group which should be a common generalization of group schemes and various Lie ...

**5**

votes

**0**answers

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

**5**

votes

**0**answers

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

**5**

votes

**0**answers

77 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$.
...

**5**

votes

**0**answers

222 views

### Examples of a non-Hopfian phenomenon in group theory

I am interested in examples of the following property, where $G$ is a non-discrete locally compact topological group:
(*) The open normal subgroups of $G$ have trivial intersection, but $G$ has an ...

**5**

votes

**0**answers

182 views

### Shrinking Group Actions

This is a repost from stackexchange. I didn't get an answer, so I figured I'd ask it here.
Suppose $H\subset G$ is a subgroup of a topological group $G$, and $Y\subset X$ is a subspace of a ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

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

**4**

votes

**0**answers

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

**4**

votes

**0**answers

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

**4**

votes

**0**answers

73 views

### Topological systems of imprimitivity

Let $G$ be a group acting by homeomorphisms on a topological space $X$. $G$ is topologically transitive if every open $G$-invariant subset of $X$ is empty or dense.
Here is an attempt to define ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

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

**4**

votes

**0**answers

94 views

### A dynamical property of automorphisms of a locally compact group

Let $G$ be a Hausdorff locally compact group and let $\alpha$ be an automorphism of $G$. Say $\alpha$ is (forwards) topologically recurrent if for all $g \in G$ and all neighbourhoods $O$ of $g$, the ...

**4**

votes

**0**answers

2k views

### Fourier transforms via Kurzweil-Henstock integral on locally compact commutative groups

Is it possible to define Fourier transforms on locally compact commutative groups using the Kurzweil-Henstock integral instead of the Lebesgue integral?

**3**

votes

**0**answers

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

**3**

votes

**0**answers

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

**3**

votes

**0**answers

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$?

**3**

votes

**0**answers

136 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

**0**answers

146 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$?

**3**

votes

**0**answers

435 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$ ...

**3**

votes

**0**answers

213 views

### When Aut(M) preserves a linear order?

I have a general-type question:
Suppose $M$ is a countable structure that is ultrahomogeneous, i.e. every (partial) isomorphism between finitely generated substructures of $M$ extends to an ...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

68 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

**0**answers

101 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\}$. ...

**2**

votes

**0**answers

255 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

100 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?

**2**

votes

**0**answers

127 views

### Sigma-compactness in Furstenberg paper

I've been reading the classical Furstenberg paper "The structure of distal flows", where the author claims he is working with an arbitrary locally compact group $T$. Nevertheless, the proof of Lemma ...

**2**

votes

**0**answers

140 views

### Almost conjugation-invariant neighborhoods of units in locally compact groups

Let $G$ be a locally compact topological group with unity $e$ and left Haar measure $m$. Let also $g\in G$ be a given element and $U$ a neighborhood (of compact closure) of $e$.
I am interested to ...

**2**

votes

**0**answers

175 views

### Finite topological dimension x local compactness

Of course, the two notions are independent one from the other, but often one of them implies the other under some additional hypotheses. For instance:
A topological vector space is finite dimensional ...

**1**

vote

**0**answers

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

**1**

vote

**0**answers

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.

**1**

vote

**0**answers

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

**1**

vote

**0**answers

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

**1**

vote

**0**answers

98 views

### Hausdorff topologies on Q

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

**1**

vote

**0**answers

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