The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
0answers
193 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
1answer
199 views

The Chabauty space

Hello, Let $G$ denote a locally compact group and $S(G)$ the chabauty space of $G$, that is the set of closed subgroups of $G$ equiped with the chabauty topology, it is a compact space. My question ...
15
votes
1answer
489 views

Is a reductive adelic group a Type I group?

I foresee that to experts of automorphic forms this question will sound unimportant or useless or even not worthy of an answer; but none of these are going to stop me from asking it! The question is ...
1
vote
1answer
223 views

Recommend a book about compact subgroups

Hi, could you please recommend me some books/articles where I could find information about compact subgroups of metric topological compact (abelian) groups? Thanks in advance for any help.
6
votes
2answers
332 views

The integers as a sequential but non-first countable topological group

Completely unaware of the Bohr topology, I recently asked whether or not there was a Hausdorff group topology on the integers $\mathbb{Z}$ which made the group fail to be first countable. For me, this ...
5
votes
2answers
267 views

Hausdorff group topologies on finitely generated groups

Suppose $G$ is a finitely generated Hausdorff topological group. Must $G$ be first countable (or perhaps a sequential space)? What if we restrict to the abelian case? I wonder if this is even true ...
1
vote
0answers
141 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 ...
11
votes
2answers
361 views

Start with a topological group, take the meet of the two uniformities, and take the topology. Is the result again a topological group? [xpost from math.SE]

And what else can be said, if so? (Original math.SE post) In more detail: Say $(G,\mathscr{T})$ is a topological group. It has a left uniformity $\mathscr{L}$ and a right uniformity $\mathscr{R}$. ...
7
votes
2answers
294 views

non-artificial examples of non-smooth and non-admissible representations of GL_2

Let $F$ be a finite degree extension over $\mathbf{Q}_p$ and consider the locally profinite group $G:=GL_2(\mathbf{Q}_p)$. P1: Give an interesting example (non-artificial one, i.e., one that arises ...
4
votes
5answers
1k views

What is a good book on topological groups?

I am looking for a good book on Topological Groups. I have read Pontryagin myself, and I looked some other in the library but they all seem to go in length into some esoteric topics. I would love ...
2
votes
0answers
122 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 ...
4
votes
0answers
87 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 ...
0
votes
1answer
230 views

Harmonic Analysis [closed]

Let ‎$‎G‎$ ‎be a‎ ‎locally ‎compact ‎group‎, ‎$‎H‎$ ‎be a‎ ‎closed ‎subgroup ‎and ‎‎$‎N‎$ ‎be a‎ ‎normal ‎subgroup ‎of ‎‎$‎G‎$ ‎such ‎that ‎‎$‎H‎\subseteq ‎N‎$‎. ‎How ‎can ‎we get $$\int_{G/H} ...
7
votes
0answers
224 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 ...
5
votes
5answers
606 views

Commutator of algebraic subgroups is connected

Let $G$ be an algebraic group over an algebraically closed field. If $H$ and $K$ are closed subgroups and one of them is connected, then their commutator $[H,K]$ is also connected. Is ...
6
votes
3answers
908 views

$\pi_1$ Sequence of Topological Groups

Consider a connected topological group $G$ (not necessarily Lie). You have some maps $G\times G\to G$, such as projection to either summand, or multiplication $(g,h)\mapsto gh$. Now let's look at a ...
6
votes
2answers
375 views

How big $|Aut(M)|$ can be, given $|\partial Aut(M)|$?

My apologies: There were a couple of typos in the original question. Hope I got them all. Let $\kappa$ be an uncountable cardinal of cofinality $\omega$ and $M$ a model of size $\kappa$. We equip ...
2
votes
0answers
120 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 ...
0
votes
1answer
320 views

About the closure of a commutative subgroup of a topological group.

Let $H$ a topological subgroups of a topological group $G$, and $H'$ the closure of $H$ as topological subspace. Are classic results the if $H'$ is a topological subgroup, and that it is normal if ...
2
votes
3answers
507 views

When is a topological group Hausdorff (separated)?

Does someone knows a good reference for the following result? "A topological group is Hausdorff if and only if the identity is closed." I have seen proofs in lecture notes of courses on the web, but ...
15
votes
2answers
760 views

$2$-categorical structure in Grothendieck's Galois Theory

Grothendieck's Galois Theory, as developed in SGA I, V.4, or very gently in Lenstra's notes, establishes an equivalence between profinite groups and Galois categories. We can put this into the ...
1
vote
1answer
363 views

Finiteness theorems for profinite groups

Let $G$ be a profinite group which fits in the following short exact sequence: $$ 1\rightarrow N\rightarrow G \rightarrow K\rightarrow 1 $$ Assume that $N$ is a pro-$p$ group and that $K$ is ...
6
votes
1answer
205 views

When is a valued field second-countable?

Let $R$ be a valuation ring, with fraction field $K$ and residue field $k$. Denote by $\Gamma=K^{\times}/R^{\times}$ the valuation group (assumed nontrivial). The valuation $v:K^{\times}\to\Gamma$ ...
1
vote
0answers
403 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
1answer
631 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
1answer
363 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
0answers
254 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
1answer
547 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
0answers
199 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
3answers
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
4answers
697 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
2answers
946 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
1answer
920 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
1answer
536 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
0answers
109 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) ...
20
votes
2answers
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
0answers
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
0answers
255 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
1answer
129 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
1answer
224 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$, ...
14
votes
0answers
582 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
1answer
443 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
2answers
318 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
1answer
235 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
4answers
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
2answers
263 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
1answer
906 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
2answers
395 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
2answers
351 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
0answers
166 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 ...