All Questions
Tagged with gn.general-topology gr.group-theory
124 questions
1
vote
0
answers
121
views
A section over an orbit space
Let $G$ be a compact second countable Hausdorff group, and let $X=G/H$ be a homogeneous space with $H\subset G$ a closed subgroup. Let further $K\subset G$ be another closed subgroup.
Questions:
...
- 1,959
2
votes
1
answer
76
views
Haar-$\mathcal{I}$ set and Polish groups
Let $\mathcal{I}$ be a semi-ideal of sets with empty interior on a compact metrizable space $K$. Let an $F_σ$-set $A$ in a Polish group $X$ generically Haar-$\mathcal{I}$.
Then is $A$ always ...
- 1,755
2
votes
1
answer
153
views
Every quasicharacter of an open subgroup extends to a quasicharacter on the whole group
Let $H$ be an open subgroup of a locally compact Hausdorff abelian group $G$. Assume that $G/H$ is a finitely generated abelian group. Let $\chi: H \rightarrow \mathbb{C}^{\ast}$ be a continuous ...
- 6,170
14
votes
1
answer
295
views
Is $Alt_\omega$ a dense subgroup of a non-discrete locally compact topological group?
Let $S_\omega$ be the group of bijections of the countable ordinal $\omega:=\{0,1,2,\dots\}$ and $Alt_\omega$ be the subgroup of $S_\omega$ consisting of even permutations of $\omega$ (i.e., the ...
- 41.8k
5
votes
2
answers
454
views
Is each locally compact group topology on the permutation group discrete?
Question. Is each locally compact group topology on the permutation group $S_\omega$ discrete?
Here $S_\omega$ is the group of all bijections of the countable ordinal $\omega$. A group topology on a ...
- 41.8k
2
votes
2
answers
151
views
How to prove that $\phi: \;\mathrm Mod(S_g)\to \mathrm Sp(2g, \mathbb{Z})$ is an epimorphism? [duplicate]
How do I prove that homomorphism $\phi : \; \mathrm{Mod}(S_g)\to \mathrm{Sp}(2g, \mathbb{Z})$ (induced by the action of mapping class group of a surface on integer homologies of a surface) is an ...
1
vote
0
answers
109
views
Toral subgroup acting regularly on the homogeneous space
Let $G$ be a connected second countable compact Hausdorff group, and let $H\subset G$ be a closed subgroup such that the homogeneous space $G/H$ has continuum cardinality. For every $x\in G/H$ let $...
- 1,959
3
votes
0
answers
440
views
Motivation for studying group of homeomorphisms of topological spaces [closed]
Currently I am reading a paper titled "On the Group of Homeomorphisms of an Arc" by N.J Fine and G.E. Schweigert, that was published by Annals of Mathematics in 1955. This paper talks about the group ...
- 428
11
votes
2
answers
578
views
Homeomorphisms vs Borel automorphisms
Let $\mathrm{Homeo}(M)$ and $\mathrm{Borel}(M)$ be the groups of homeomorphic and Borel automorphisms of a space $M$, respectively.
Question: Are $\mathrm{Homeo}(M)$ and $\mathrm{Borel}(M)$ ...
- 1,959
4
votes
1
answer
348
views
Is there a topologizable group admitting only Raikov-complete group topologies?
Definition. A group $G$ is called complete (resp. non-topologizable) if each Hausdorff group topology on $G$ is Raikov-complete (resp. discrete). It is clear that each non-topologizable group is ...
- 41.8k
15
votes
1
answer
784
views
The completion of the space of finite groups
Edit: I revise the question based on the comment conversations
Let $\mathcal{F}$ be the set of all equivalence classes of finite groups under the "Isomorphism" equivalence relation.
We define ...
- 356
2
votes
0
answers
82
views
Uniquely divisible neighborhoods of identity in topological groups
Let $G$ be a (finite dimensional real) Lie group, and let $A\subset G$ be an open neighborhood of identity. If $A=\operatorname{Exp}(\mathcal{A})$ is the injective range of the exponential map from a ...
- 1,959
15
votes
0
answers
716
views
Is this "Homology" useful to study?
In the usual singular homology of a topological space $X$, one consider the free abelian group generated by all continuous maps from the standard simplex $\Delta^{n}$ to $X$.
Now we can ...
- 356
4
votes
1
answer
328
views
Is the Cantor set countable dense homogeneous in pairs?
I know that the Cantor set is countable dense homogeneous. My question is: if A,B,C,D are countable dense subsets of the Cantor set such that the pairs A and B and C and D are disjoint, there exists a ...
- 173
8
votes
0
answers
569
views
example of an n-transitive but not infinitely transitive group action on a space
Definition. An action of a group $G$ on a set $X$ is strongly $n$-transitive if $G$ acts transitively on $n$-tuples of distinct elements in $X$ (via the diagonal action), and is $n$-transitive if $G$ ...
- 4,588
3
votes
1
answer
267
views
In what sense is every element of $H_2(G)$ "represented by a free action on some surface"
(This is a cross-post of this unanswered math.stackexchange question)
In Edmond's 1982 paper Surface Symmetry II, at the bottom of page 145, he writes:
"Corollary - If $G$ is a split nonabelian ...
- 7,527
27
votes
3
answers
3k
views
A question about subsets of plane
Is there a subset $X$ of plane with two points $x, y$ such that each one of $X \setminus \{x\}$, $X \setminus \{y\}$ is isometric to $X$? I tried hard to construct a counterexample but failed.
Sorry ...
- 271
18
votes
1
answer
3k
views
Proper discontinuity and existence of a fundamental domain
I am currently teaching a topics course where I talk about some discrete groups acting properly. A student asked a very basic question that stumped me: what is the precise relationship between proper ...
- 1,574
1
vote
0
answers
96
views
Induced structure of topological group [closed]
If we consider a closed Jordan curve $\mathcal{C}$, I know that it's homeomorphic to the circle $S^1$. Now I take an homeomorphism $\phi:S^1\longrightarrow\mathcal{C}$ and this homeomorphism induces a ...
- 1,252
2
votes
0
answers
139
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 $H$...
- 21
4
votes
0
answers
87
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 ...
8
votes
1
answer
229
views
Embedding abelian cancellative Hausdorff topological semigroups into abelian Hausdorff topological groups
An abelian cancellative semigroup embeds (via a semigroup monomorphism) into an abelian group. What about an abelian cancellative Hausdorff topological semigroup that does not embed (via a ...
- 10.5k
13
votes
1
answer
459
views
A generalization of residual finiteness to topological groups
Consider the following generalization of residual finiteness to
topological groups.
A locally compact Hausdorff group $G$ is called residually compact if
for every compact $K \subseteq G$ there is a ...
2
votes
0
answers
128
views
Divisible fundamental group [duplicate]
I apologize if this question seems trivial or elementary. Is there any concrete topological space with divisible fundamental group? For example, is there any such a space the fundamental group in ...
- 2,233
13
votes
0
answers
421
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 ...
- 41.8k
3
votes
0
answers
501
views
Some counter examples in group theory
In this question, which we flag it as a community wiki question, we search for a big list of groups $G$ which can not be isomorphic to a structure mentioned in $i.$ for some $i \in \{1,2,\ldots,...
0
votes
1
answer
149
views
Can every non-discrete topological group G be algebraically generated by a nowhere dense subset?
Is there somone help me to show that if this problem have positive Answer :
Problem :Can every non-discrete topological group G be algebraically gen-
erated by a nowhere dense subset ?
Thank ...
9
votes
1
answer
401
views
Meager subgroups of compact groups
Suppose we have an infinite compact (Hausdorff) group $G$, and a subgroup $H\leq G$ which is meagre.
Can $H$ always be covered by a countable family of nowhere dense sets $H_n$ such that $H_n^2$ is ...
- 1,338
4
votes
0
answers
90
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,728
4
votes
1
answer
292
views
Can an abelian group have a minimal group topology?
In the abstract of this paper, it is said that a minimal group topology on an abelian group is not Hausdorff.
Suppose $G$ is an abelian group and $\mathcal T$ is a minimal group topology on $G$ and ...
- 1,145
1
vote
3
answers
172
views
Is the poset of all precompact group topologies on an abelian group $G$, order-isomorphic to $\operatorname{Sub}(\hat{G})$?
In this page, in abstract, it is claimed that the poset of all Hausdorff precompact group topologies on an abelian group $G$, is order-isomorphic to the the subgroup lattice of $\hat{G}$, the ...
- 1,145
2
votes
0
answers
104
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\}$. ...
- 1,145
14
votes
1
answer
1k
views
Distributivity of group topologies on $\Bbb Z$
Let $\mathcal L$ be the set of all group topologies on $\Bbb Z$.
It is known that $(\mathcal L,\subseteq)$ is a modular complete lattice [1].
Is $(\mathcal L,\subseteq)$ distributive?
$$~$$
[1] ...
- 1,145
7
votes
1
answer
455
views
Group structure on an arbitrary completely regular topological space that makes $(x,y)\mapsto xy^{-1}$ continuous at $(1,1)$
Let $(G,\mathcal T)$ be a completely regular topological space. Is there a group structure on $G$ such that the function
$$f:G\times G\to G$$
$$f(x,y)=xy^{-1}$$
is continuous at $(1,1)$?
- 1,145
4
votes
1
answer
239
views
Are infinite groups "locally topologizable"?
Does every infinite group admit a Hausdorff topology such that the multiplication and inverse are continuous at $1$ but $1$ is not an isolated point?
The question is inspired by and related to this ...
- 3,932
32
votes
1
answer
2k
views
A group allowing exactly 7 group topologies
Is there a group $G$ allowing exactly 7 group topologies on $G$: $\mathcal T_{\text{trivial}}, \mathcal T_{\text{discrete}}, \mathcal T_1, \mathcal T_2,\mathcal T_3,\mathcal T_4, \mathcal T_5$ with
$$...
- 1,145
5
votes
0
answers
93
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$.
...
- 4,728
6
votes
0
answers
371
views
Tensor product of dual groups
Let $G,H$ be compact abelian groups, $G^*,H^*$ be their Pontryagin duals, $G^*\otimes H^*$ the tensor product of $G^*,H^*$ and $K=(G^*\otimes H^*)^*$. Does the group $K$ have a special name? What is ...
6
votes
1
answer
338
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 ...
- 345
0
votes
1
answer
111
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 ...
- 135
15
votes
1
answer
986
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,269
13
votes
2
answers
514
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?
- 2,125
2
votes
0
answers
144
views
Hall's paper on the profinite groups and Andre Weils "voisinage" notion
I am reading through a classical paper A Topology for Free Groups and Related Groups
by Marshall Hall Jr. in which profinite groups are defined for the first time.
There he defines on p. 129:
...
- 798
11
votes
0
answers
422
views
Topology of marked groups for different number of generators
A $k$-marked groups is a pair $(G,S)$ where $G$ is a group and $S$ is an ordered set of $k$ generators of $G$. Each such pair can be identified with a normal subgroup of the free group $F_k$ of rank $...
- 1,378
12
votes
1
answer
746
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 ...
- 3,497
2
votes
1
answer
177
views
Syndetically separated topological groups
I am looking for examples for a certain kind of topological groups:
Definition: A topological group G is called syndetically separated if for every compact subset $K \subseteq G \setminus \{1\}$ ...
- 1,498
24
votes
0
answers
751
views
Are amenable groups topologizable?
I've learned about the notion of topologizability from "On topologizable and non-topologizable groups" by Klyachko, Olshanskii and Osin (http://arxiv.org/abs/1210.7895) - a discrete group $G$ is ...
- 3,897
1
vote
0
answers
430
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 that ...
- 1,498
12
votes
2
answers
741
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}$. (...
- 2,585
5
votes
1
answer
2k
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^* \...
- 285