Questions tagged [gr.group-theory]
Questions about the branch of algebra that deals with groups.
1,090 questions
1
vote
1
answer
392
views
Does a cocompact subgroup of a topological group contain a cocompact normal subgroup?
Motivation: It is obvious that for a finite index subgroup $H$ of a group $G$, there exists a normal subgroup $K$ of $G$, $K\subset H$, with $|G/K|<\infty$.
Our question: Let $G$ be a topological ...
- 356
1
vote
1
answer
373
views
The principal congruence subgroup of the symplectic group over the integers
Consider the symplectic group $\text{Sp}_{2g}(\mathbb{Z})$ over the integers. It has a classical root system $C_g$ and associated root subgroups $U_\varphi$ for $\varphi\in C_g$. These subgroups are ...
user341790
1
vote
1
answer
339
views
Type $C_n$ Weyl group contains in the centralizer of the longest word $w_0$ in $S_{2n}$
Are there some references about the proof of the following fact?
Type $C_n$ Weyl group lies in the centralizer of the longest word $w_0$ in $S_{2n}$.
Thank you very much.
- 6,201
1
vote
2
answers
2k
views
Non-residually finite groups
Does anyone know groups which admit presentations with two more generators than relators and are not residually finite? If so, do we know anything about the finite residual of such groups?
Any ...
- 13
1
vote
0
answers
261
views
On groups with finite pro-$p$ completion for all primes $p$
Say that a group has Property X if its pro-$p$-completion is finite for every prime $p$. For instance, every perfect group has Property X.
Is there a finitely generated, residually finite group $G$ ...
- 5,450
1
vote
1
answer
195
views
Strongly graded algebras with no zero divisors
Let $A = \bigoplus_{i \in \mathbb{Z}} A_i$ be a strongly graded unital algebra over $\mathbb{C}$, with no zero divisors. Is it always true that
$$
m: A_i \otimes_{A_0} A_j \to A_{i+j}
$$
is an ...
1
vote
1
answer
259
views
Existence of homogeneous single chain compositions of a given maximal subfactor?
All the subfactors here are irreducible inclusion of hyperfinite II$_1$ factors.
A subfactor $(N \subset M)$ is Homogeneous Single Chain ($HSC$) if its lattice of intermediate subfactors is a single ...
1
vote
0
answers
159
views
The number of solutions to $ax^2+bxy+cy^2\equiv k\pmod{p^{n}}$, $(x,y)\in\{0,\dotsc,p^{n}-1\}^2$
Let $p^n$ be a prime power and, for integers $a,b,c$, let $Q(x,y)=ax^2+bxy+cy^2$ where $p\nmid b^2-4ac$.
Define
$$N(k,m):=|\{(i,j)\in\{0,\ldots,m-1\}^2: \gcd(i,j,m)=1, Q(i,j)\equiv k\pmod{m}\}|.$$
I ...
- 221
1
vote
1
answer
226
views
Factor group of direct product by restricted direct product
Let $W:=\prod_{i\in \omega} F_i$ be the (external) unrestricted direct product and $U:=\prod_{i\in \omega}^w F_i$ be the (external) restricted direct product of finite groups $F_i$ such that $|F_{i}|&...
- 69
1
vote
0
answers
177
views
Building random homeomorphisms of the torus $\mathbb T^2$
In https://arxiv.org/abs/0912.3423, a family of random homeomorphisms of the circle is constructed. Main Question: Can the construction be generalized to higher space dimensions, e.g. to $\mathbb T^2$?...
- 101
1
vote
2
answers
513
views
What are all the transitive extensions of cyclic groups?
"Let $G$ be a transitive group of permutations on a given set of letters. Let a new fixed letter be adjoined to every permutation of $G$. Then a transitive group $H$ of permutations on the ...
- 347
1
vote
0
answers
97
views
A duality of finite groups coming from a surjective homomorphism with finite kernel of algebraic tori
$\newcommand{\Hom}{{\rm Hom}}
\newcommand{\Gm}{{{\mathbb G}_{m,{\Bbb C}}}}
\newcommand{\X}{{\sf X}}
$ I am looking for a reference for the following lemma (for which I know a proof):
Lemma.
Let $\...
- 14.2k
1
vote
1
answer
231
views
Continuous semigroup homomorphism of composition to additive structure
Let $G$ be the topological semigroup whose underlying space is $C(\mathbb{R}^d,\mathbb{R}^d)$ equipped with composition as semigroup operation and let $H$ be the topological group whose underlying ...
- 5,405
1
vote
1
answer
793
views
Groups in which lower central series and upper central series coincide
Let $G$ a finite two-generated $p$-group in which lower and upper central series coincide. Clearly we obtain that the upper central series become strongly central, we have also that at least half of ...
1
vote
2
answers
207
views
Complexity of decision problem to decide if permutation group is $k$-transitive
Given a finite permutation group $G$ (a subgroup of the symmetric group on a finite set) in terms of its generators, what is known about the decision problem of deciding if $G$ is $k$-transitive for a ...
- 798
1
vote
1
answer
150
views
Zero divisors of the form $1+x+y$ in the rational group algebra
Is there a finite non-ablelian group $G$ generated by $x$ and $y$ such that $1+x+y$ is a zero divisor in the rational group algbera $\mathbb{Q}[G]$ and also $x^2$, $y^2$ and $(x^{-1} y)^2$ are all ...
- 3,738
1
vote
1
answer
395
views
Is $x + y \ne y+nx$ for $x \ne 0$ and $n \ge 2$ (in an ordered group)?
Let $(A, +, \preceq)$ be an ordered group, namely $(A, +)$ is a group and $\preceq$ is a total order on $A$ such that $x + z \prec y + z$ and $z + x \prec z + y$ for all $x,y,z \in A$ with $x \prec y$....
- 10.5k
1
vote
1
answer
285
views
centralizer of a n-cyclic permutation matrix over F_2 in GL(n,2)
This is a continuation of this question, where I talked about the case $n=2^k$. Let $C$ be the $n\times n$-permutation matrix over $\mathbb{F}_2$ of the $n$-cycle. We needed to know the explicit ...
- 14k
0
votes
1
answer
403
views
Are there overwhelmingly more finite posets than finite groups? [closed]
A function $f:\mathbb{Z}_{\geq 1}\to\mathbb{Z}_{\geq 1}$ overwhelms $g:\mathbb{Z}_{\geq 1}\to\mathbb{Z}_{\geq 1}$ if for any $k\in \mathbb{Z}_{\geq 1}$ the inequality $f(n)\leq g(n+k)$ holds only for ...
- 23
0
votes
1
answer
142
views
Why are the homeomorphisms from the unit circle to the unit circle preserving measure affine? [closed]
Why are the homeomorphisms from the unit circle to the unit circle preserving measure affine? The affine is composition of rotation and continue automorphism.
- 83
0
votes
1
answer
253
views
A problem with pointwise stabilizer subgroups of fixed-point subspaces I
Definitions: Let $W$ be a representation of a group $G$, $K$ a subgroup of $G$, and $X$ a subspace of $W$.
Let the fixed-point subspace $W^{K}:=\{w \in W \ \vert \ kw=w \ , \forall k \in K \}$.
Let ...
0
votes
0
answers
252
views
A question concerning some group action
Let $G$ be a finite group. Consider the set
$$X = \bigcup_{H \le G} G/H$$
which is a disjoint union of left cosets of subgroups $H$ of $G$.
Then $G$ acts on $X$ by left multiplication, and the number $...
user6671
0
votes
1
answer
201
views
Recognition of finite simple groups by number of Sylow p-subgroups
Let $G$ and $G'$ be two finite simple groups and $p$ be a prime divisor of $\vert G\vert$ and $\vert G'\vert$. Also suppose that every Sylow p-subgroup of $G$ and $G'$ is a prime order subgroup($C_{p}$...
- 479
0
votes
1
answer
98
views
Is every subgroup closed in this complete, nondiscrete topological group?
Another question on Mathoverflow (here: Complete topological groups in which all subgroups are closed) asks if there exists a complete, nondiscrete topological group $G$ such that all subgroups of $G$...
- 361
0
votes
2
answers
459
views
the number of minimal generating subsets of a group
Clearly every finite group has a minimal generating subset.
Is there any formula for the number of minimal generating subsets of a finite group?
Is it known which groups have a unique minimal ...
- 237
0
votes
0
answers
142
views
Subgroups of powers of the alternating group on 5 elements
Definition: Let $G$ be a group, and let $H \leq G$ be a subgroup. We say that $H$ is big in $G$ if for every intermediate subgroup $H \leq L \leq G$ there exists some $x \in L$ such that $\langle H \...
- 11.3k
0
votes
0
answers
132
views
Intersection of subgroup of a free group with the lower central series
If I have a subgroup $S$ of a free group $\mathcal{F}_m$, what can I say about the behaviour of the descending sequence of subgroups
$\left< S, \Gamma_c(\mathcal{F}_m) \right>$ (where $\Gamma_c(\...
- 31
0
votes
1
answer
434
views
Reference request: Any connected Lie group has a countable base for its topology
I am looking for a reference for the assertion in the title. This assertion is proved in a comment of user nfdc23 to this question. Has any proof of this assertion been published?
- 14.2k
0
votes
0
answers
172
views
The largest abelian subgroups of a Lie group
Let $G$ be a semisimple Lie group. Denote $d(G)$ as the maximal integer $p$ such
that $\mathbb{Z}^p$ is isomorphic to a discrete subgroup of $G$ and $c(G)$ is the maximal integer $q$ such that $\...
0
votes
1
answer
739
views
simple groups all sylow subgroup is nonabelian
Thanks for any help or comments
How can I find the list of all non abelian simple groups (particularly simple lie type) such that all $p$-Sylow subgroups are non abelian for odd prime $p$?
- 71
0
votes
1
answer
238
views
Trans-universality for finitely generated groups
QUESTION: does there exist a group U such that three conditions hold:
(a) every finitely generated group is isomorphic to a subgroup of U;
(b) for every group G that is not finitely generated there ...
- 4,786
0
votes
1
answer
187
views
Which finite cyclic groups can be characterized by Lattice isomorphism and isomorphism between their automorphism groups?
Given a finite cyclic group $G$, we denote by $L(G)$ the lattice of its subgroups, and by $\mathop{\rm Aut}(G)$ the automorphism group of $G$. Let $H$ be any group. Assume that $L(G)\cong L(H)$ and $...
- 17
0
votes
1
answer
125
views
Examples of non-proper profinite HNN extensions
We define a profinite HNN extension as the profinite completion of the abstract HNN extension. In the abstract case, the homomorphim of the base group to the HNN extension is always a monomorphism. ...
0
votes
1
answer
143
views
Trivialize a cup-product 2-cocycle of $G$ in a larger group $J$
I like to ask a simple question: how to trivialize a cup-product 2-cocycle of $G$ into a 2-coboundary of $J$ in a larger group $J$.
Let us take a nontrivial 2-cocycle $\omega_3^G(g_a, g_b) \in H^2(G,\...
- 755
0
votes
1
answer
1k
views
Chains of numbers generated by 2 involutions
$\DeclareMathOperator\GF{GF}$Consider the finite field $\GF(p)$ for prime $p$.
Consider the pair of involutions $f(x) = 1-x$ , $g(x) = 1/x$, and the chain of numbers generated by these 2 involutions ...
- 33
0
votes
0
answers
221
views
Infinite quotient of Hurwitz Group
I am currently working through all the groups with two generators, and I am up to the group with presentation $G := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^9 \rangle$. I have found all the finite ...
- 2,811
0
votes
1
answer
454
views
Conjugacy in the quaternion group
Let $G$ be a non-commutative group, and suppose we are given two elements $x, y \in G$ which are conjugate, i.e. we know there exists some $z \in G$ such that $zxz^{-1} = y$. Can we find $z$ given $x$ ...
- 1,703
0
votes
0
answers
118
views
A measure on the group of homeomorphisms of $\mathbb T^2$
Let us consider the group of measure-preserving homeomorphisms of $\mathbb T^2$ (with transformations identified if they agree almost
everywhere) called $G[\mathbb T^2, \mathcal L^2]$. We shall ...
- 101
0
votes
2
answers
225
views
Isomorphism theorem for subfactors?
It's about the existence of a generalization of the first isomorphism theorem for groups, for subfactors :
Let $(N \subset M)$ and $(N' \subset M')$ be irreducible inclusions of hyperfinite $II_1$ ...
-8
votes
1
answer
351
views
Are there overwhelmingly more finite monoids than finite spaces? [closed]
A function $f:\mathbb{Z}_{\geq 1}\to\mathbb{Z}_{\geq 1}$ overwhelms $g:\mathbb{Z}_{\geq 1}\to\mathbb{Z}_{\geq 1}$ if for any $k\in \mathbb{Z}_{\geq 1}$ the inequality $f(n)\leq g(n+k)$ holds only for ...
- 23