The topological-groups tag has no wiki summary.

**1**

vote

**0**answers

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

**2**

votes

**1**answer

637 views

### Where is the error in this argument?

Let $G$ be a locally compact Hausdorff group.
It is known that $G$ can be topologically embedded in $W^{\ast}(G)$ , its universal $W^{\ast}$-algebra (with the $\sigma$-weak topology). An element $T ...

**3**

votes

**1**answer

370 views

### Are the categories of representations of G and C*(G) isomorphic?

Let G be a locally compact Hausdorff group, and C*(G) the full group C* algebra.
I found in some books that "representation theory of both is the same". Can this be expressed as "the categories are ...

**8**

votes

**0**answers

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

**0**

votes

**1**answer

631 views

### Proof that the Pontryagin dual of a topological group is a topological group

I'm looking for a proof that the Pontryagin dual $G^*$ of a topological group $G$ is a topological group.
It's very easy to prove that $G^*$ is a group, my troubles are in proving that the map $G^* ...

**5**

votes

**0**answers

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

**6**

votes

**3**answers

583 views

### Does every compact Hausdorff ring admit a decomposition into primitive idempotents?

Let $\mathbf{R} = (R,\mathcal{T},+,\cdot,0,1)$ be a compact Hausdorff topological unitary ring, and consider the set $I(\mathbf{R}) := \{ e \in R \mid e \cdot e = e \}$ (of idempotents in ...

**7**

votes

**4**answers

750 views

### Measures on general topological groups

I am interested in the group algebras of non-locally compact groups. What references can you advise?
This is a wide question, so I list more concretely what I would like to see:
Here X can be even ...

**6**

votes

**2**answers

1k views

### Two Definitions of “Character” of topological groups

When I first met the concept of "characters" of topological groups in Pontryagin's book "Topological groups", it was defined as follows:
Let $G$ be a topological group. A character of $G$ is a ...

**12**

votes

**1**answer

971 views

### (Closures of sets of) operations in topological groups.

Let $G$ be a topological group. For each $n \in \mathbb{Z}$, consider the continuous functions $f_{n} \colon G \to G : x \mapsto x^{n}$, and set $F := \{f_{n} \mid n \in \mathbb{Z}\}$.
Is there a ...

**0**

votes

**1**answer

579 views

### No non-trivial homomorphism to a group

Here is a question I posted some months ago in Math.SE, and t.b. mentioned to the following question by Florent MARTIN which is somehow related to my question;
Let $G$ be a compact Hausdorff ...

**0**

votes

**0**answers

112 views

### A continuous map from a T2 & compact space to a uniform space is uniformly continuous.

Can you recommend some literature that give a proof of this statement, and who allegedly prove it first?
BTW, is there any use of uniform spaces or topological spaces in mathematical (or theoretical) ...

**27**

votes

**3**answers

2k views

### morphism from a compact group to Z ?

I wonder if it there exists a topological compact group $G$ (by compact, I mean Hausdorff and quasi-compact) and a non-zero group morphism
$\phi : G \to \mathbb{Z}$ (without assuming any topological ...

**3**

votes

**0**answers

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

**0**

votes

**0**answers

258 views

### classifying continuous functions on the $ax+b$ subgroup of $GL(2,\mathbb R)$

Let $G$ be 'ax+b' topological group i.e subgroup of $GL(2,\mathbb R)$ containing $2\times 2 $ matrices of type $\{\left(\begin{matrix} a&b\\\0&1\end{matrix}\right): a\neq 0\; a,b\in \mathbb ...

**2**

votes

**1**answer

132 views

### Categories with canonical factorizations into products satisfying two particular properties

An old splitting theorem for (Hausdorff) locally compact abelian (LCA) groups says that any LCA group $L$ is isomorphic to a direct product of $\mathbb{R}^n$ and $L_1$, where $L_1$ contains a ...

**4**

votes

**1**answer

230 views

### Does the weak approximation theorem hold for general topological fields?

The weak approximation theorem states that given a field $F$ and nontrivial inequivalent absolute values $|\cdot|_1,\ldots,|\cdot|_n,$ and letting $F_i$ denote $F$ with the topology from $|\cdot|_i$, ...

**16**

votes

**1**answer

724 views

### Does ZF prove that topological groups are completely regular?

Let $\mathbf{G} = \langle G,\cdot,\mathcal{T}\;\rangle$ be a topological group. Let $\mathbf{e}$ be the identity element of $\langle G,\cdot \rangle$.
Assume $\{\mathbf{e}\}$ is closed in $\langle ...

**3**

votes

**1**answer

457 views

### Complete metrics in locally compact topological groups

Hello,
I am trying to show that every metrizable locally compact topological group admits a complete metric generating the topology of the group

**0**

votes

**2**answers

330 views

### Basic question on minimal flows

I know that minimal flows are actions for which no proper closed invariant subsets exist, but I am unclear how to understand this concept.
If a coset flow on a quotient space Gamma/S is ergodic, ...

**6**

votes

**1**answer

240 views

### A restatement, in terms of the semi-group product of the left-invariant completion of a Polish group, of http://mathoverflow.net/questions/71389

This is a re-statement, of sorts, of Is there a relational countable ultra-homogeneous structure whose countable substructures do not have the amalgamation property?, so far unanswered.
Let $G$ be a ...

**7**

votes

**4**answers

1k views

### Finite dimensional vector spaces over a complete but not-necessarily-valued field

I'm essentially reopening this old question of Ricky Demer which was never fully answered.
Essentially the original question: Suppose we have a topological field $F$ which is complete, Hausdorff, and ...

**3**

votes

**2**answers

270 views

### When does a LCA group not contain a (closed) infinite cyclic subgroup?

If $G$ is an LCA (locally compact abelian) group, is there any 'nice' sufficient (or preferably necessary and sufficient) criteria for when $G$ does not contain a closed (and hence discrete in the ...

**6**

votes

**1**answer

993 views

### Haar measure for large locally compact groups

In this answer, Gerald Edgar mentions that Haar measure is naturally defined on the $\sigma$-algebra of Baire sets (the smallest $\sigma$-algebra that contains all the compact $G_\delta$ sets) of a ...

**6**

votes

**2**answers

416 views

### Topology on extensions of topological groups

Let $G$ and $H$ be two topological groups and let $\mathcal{E}:0 \to G \to E \to H \to 0$ be an extension of abstract groups.
Is there a way to introduce a topology on $E$ such that $\mathcal{E}$ ...

**1**

vote

**2**answers

352 views

### Lie (and topological) group extensions of $\mathbb{R}^2$ by $\mathbb{R}$

What are all the non-split Lie (and topological) group extensions $0 \to \mathbb{R} \to G \to \mathbb{R}^2 \to 0$? Here, $\mathbb{R}$ and $\mathbb{R}^2$ are regarded as Lie (and topological) groups ...

**5**

votes

**0**answers

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

**2**

votes

**1**answer

493 views

### On homeomorphic compact connected topological groups

I wish to thank Professor Claudio Gorodski for his very helpful
answers to my question on the webcite:
If compact connected Lie groups are homeomorphic as topological space, are they isomorphic as Lie ...

**1**

vote

**1**answer

281 views

### Have a general mean of an amenable group a kind of Fubini's property ?

Recently in my investigations I faced a problem related to amenable groups.
I have no idea if my question is suitable for this site, but after ask some collegues in my department I decided to try to ...

**1**

vote

**0**answers

169 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

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

**14**

votes

**0**answers

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

**6**

votes

**4**answers

773 views

### Criteria for topologically finitely generated profinite groups

Q1: Do we have a criterion which allows us to say when is a profinite group $G$ topologically finitely generated?
For example, if $G$ is topologically finitely generated then, for a fixed integer ...

**0**

votes

**3**answers

653 views

### Topologically split extensions of topological groups

Let $1 \to N \to G \to H \to 1$ be a short exact sequence of topological groups. Such an exact sequence is said to be topologically split if $G$ is $N \times H$ as a
topological space.
Can someone ...

**5**

votes

**3**answers

671 views

### On closed totally disconnected subgroups of connected real Lie groups

So the following statement seems to be obvious but I don't see how to prove it:
Q: How does one prove that a closed totally disconnected subgroup of a connected real Lie group is discrete?
Note that ...

**3**

votes

**1**answer

311 views

### Picking a representative in a continuous way

I'm hoping for some ideas/pointers here. I'm experimenting with a Livschitz theorem for functions on a locally compact Abelian group, where the periodic orbit sums take values in a closed subgroup.
...

**21**

votes

**0**answers

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

**5**

votes

**2**answers

661 views

### Examples of totally disconnected, locally compact non-sigma-compact groups

I am looking for examples of totally disconnected, locally compact groups, which are not sigma-compact. For a start any such an example would do, so that I can a feeling for those groups and how to ...

**17**

votes

**4**answers

2k views

### Compact open topology on $\mathrm{Homeo}(X)$

Let $X$ and $Y$ be topological spaces. Define the compact open topology on the set $\mathrm{M}(X,Y)$ of continuous maps from $X$ to $Y$ via the subbase $[K,O]$ of all maps $f:X\rightarrow Y$ s.t. ...

**11**

votes

**3**answers

872 views

### Are measurable homomorphisms $ (\Bbb{C},+) \to (\Bbb{C},+) $ or $ (\Bbb{C},+) \to (\Bbb{C},*) $ continuous, and do they admit an explicit description?

I am interested in generalizations of the following fact (known as automatic continuity, as pointed out below). I am especially looking for references to papers dating back to 1920’s. I feel that ...

**16**

votes

**1**answer

1k views

### Which principlal bundles are locally trivial?

If $H$ is a closed subgroup of a topological group $G$, then the orbit map $G\to G/H$ is a principal bundle, yet somewhat surprisingly, it need not be locally trivial.
In the wikipedia article on ...

**10**

votes

**4**answers

921 views

### When do isometric actions exist?

Let $X$ be a metrizable topological space and $G$ be a locally compact group. Given a continuous (left) action of $G$ on $X$, is there a metric on $X$, compatible with the topology, for which the ...

**10**

votes

**1**answer

434 views

### Epimorphisms have dense range in TopHausGrp?

Consider the category of Topological Groups with continuous homomorphisms. Then a continuous homomorphism $f:G\rightarrow H$ with dense range is an epimorphism. Is the converse true? If not, what ...

**11**

votes

**1**answer

711 views

### Non-isomorphic two-transitive permutation groups with isomorphic point stabilizers

The permutation groups $A = PSL(2,7)$ with its natural action on the projective line $\mathbb{P}^1(\mathbb{F}_7)$ and $B = A\Gamma L(1,8)$ with its natural action on the affine line $\mathbb{F}_8$ ...

**9**

votes

**3**answers

1k views

### Why is the dual of a torus the same as its fundamental group?

The set of continuous homomorphisms from a torus ${\mathbb T}^n = ({\mathbb R}/{\mathbb Z})^n \to {\mathbb R}/{\mathbb Z}$ can be identified with ${\mathbb Z}^n$ if we assign to each $k = (k_1, \ldots ...

**7**

votes

**2**answers

1k views

### Locally compact abelian groups

First, some preliminaries:
Define an "LCA group" to be a locally compact Hausdorff abelian topological group.
Define "smooth manifold" in a way that requires Hausdorffness, but not connectedness or ...

**3**

votes

**1**answer

371 views

### Topological Groups and Families of Pseudometrics

The topology on a topological group is generated by a family of pseudometrics. The only proof I know passes through uniform spaces (by which I mean the entourage definition): A topological group has ...

**2**

votes

**2**answers

1k views

### Irreducible unitary representations of locally compact groups

Let $G$ be a locally compact group and let $\mu$ be a left Haar measure. We know
that $\mu$ is unique up to a scalar in $\mathbf{R}_{>0}$. I don't know so much about unitary representations of ...

**12**

votes

**1**answer

789 views

### Is every compact topological ring a profinite ring?

There are a lot of compact (Hausdorff) groups, whereas every compact field is finite. What about rings? Is there a classification theorem for compact rings? If you take a cofiltered limit of finite ...

**1**

vote

**2**answers

742 views

### When is the group of homeomorphisms of a compact space locally compact?

When is the group of homeomorphisms of
a compact space locally compact?
I am interested in finding out when the group of homeomorphisms of a compact topological space $X$ (with appropriate ...