The tag has no usage guidance.

learn more… | top users | synonyms

22
votes
0answers
931 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
0answers
504 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 ...
14
votes
0answers
941 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
0answers
499 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 ...
10
votes
0answers
198 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
0answers
245 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 ...
8
votes
0answers
263 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
0answers
413 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
0answers
242 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
0answers
238 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
0answers
398 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
0answers
72 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
0answers
213 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
0answers
173 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
0answers
69 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
0answers
107 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
0answers
76 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 ...
4
votes
0answers
352 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
0answers
90 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 ...
3
votes
0answers
33 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 (http://www.ams.org/journals/proc/1998-126-06/S0002-9939-98-04241-5/S0002-9939-98-04241-5.pdf), any non-open analytic subgroup of a Polish locally compact group can be ...
3
votes
0answers
174 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$. ...
3
votes
0answers
130 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
0answers
328 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 ...
3
votes
0answers
126 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
0answers
210 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
0answers
98 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
0answers
163 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
0answers
94 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
0answers
124 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
0answers
130 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
0answers
172 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
0answers
47 views

Is a successor to a successor of the trivial group topology 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 ...
1
vote
0answers
47 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 ...
1
vote
0answers
95 views

Hausdorff topologies on Q

Is there any description known of the Hausdorff topologies on $\mathbb{Q}$ compatible with the group operations?
1
vote
0answers
26 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 ...
1
vote
0answers
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
0answers
173 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 ...
1
vote
0answers
196 views

does s.e.s 0->A->B->C->0 of profinite groups imply C=B/A and A<B topologically?

Assume $A, B, C$ are profinite groups and $0\to A\to B\to C\to 0$ is an exact sequence of continuous maps. Which of the following assertions follows?: (i) the subspace-topology induced on $A$ via ...
1
vote
0answers
158 views

Intersection of cocompact closed normal subgroups

Let $G$ be a locally compact Hausdorff topological group. Definition A closed normal subgroup $H \unlhd G$ is called cocompact if $G/H$ is compact with respect to the quotient topology. Note ...
1
vote
0answers
453 views

Why groups that admit Folner Sequences are amenable

I've been looking at Folner's Condition recently, and I'm struggling to find a proof for why the existence of a Folner sequence on a locally compact group implies that it is amenable (and the converse ...
1
vote
0answers
197 views

exotic compact group

Let $G$ be compact (and Hausdorff) group, $\mu$ be Haar measure on $G$. Is it always true that $(G,\mu)$ is a standard probability space (Lebesgue-Rokhlin space)? It is so if (a priori not iff) the ...
0
votes
0answers
38 views

The use of Haar measure in the Blichfeldt-Minkowski Lemma

I'm trying to understand a proof of the following result Theorem: Let $K$ be a number field, and $|| \cdot ||$ the idelic norm (product of the normalized absolute values at each place). There ...
0
votes
0answers
13 views

abelian subgroups of the automorphism group of a totally disconnected LCA group

I am interested in the following question. Suppose that $A$ and $B$ are LCA groups and $B$ acts continuously on $A$ by topological automorphisms. If $f$ is a Schwartz function on $A$, then we want to ...
0
votes
0answers
48 views

Is the core of an atom in lattice of group topologies a coatom?

Let $(G,\mathcal T)$ be an abelian topological group such that for any nontrivial group topology $\mathcal S$ on $G$ with $\mathcal S\subseteq \mathcal T$ we have $\mathcal S = \mathcal T$. Let ...
0
votes
0answers
43 views

Definition of submaximal (group) topology

By [3] (or [2]), a submaximal group topology on a group is the infimum of all maximal group topologies on it. By [4], a submaximal topological space is one with all dense subsets open. By [1], a ...
0
votes
0answers
79 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 ...
0
votes
0answers
25 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 ...
0
votes
0answers
46 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?
0
votes
0answers
65 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 ...
0
votes
0answers
48 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 ...