Questions tagged [gr.group-theory]
Questions about the branch of algebra that deals with groups.
7,102
questions
0
votes
0
answers
36
views
Size of subsets of nilpotent groups
Let $\Gamma$ be a nilpotent group finitely generated by a set $S$
with $S=S^{-1}$ and write $[\Gamma,\Gamma]$ for the commutator subgroup.
The abelianization $\Gamma/[\Gamma,\Gamma]$ is a finitely ...
0
votes
1
answer
76
views
Perfect group that is split extension of a normal free subgroup of finite index
Does there exists a non-trivial free group $F$ and a finite group $L$ acting on $F$ such that the semidirect product $F\rtimes L$ is perfect?
Thanks @YCor for reformulating the question.
0
votes
0
answers
97
views
Isomorphism of invariants and coinvariants over a field
Let $G$ be a finite group with normal subgroup $N$ acting on a vector space $V$ over a field $k$ in which the order of $N$ is invertible. Denote $H:=G/N$. The composite map $V^N \to V \to V_N$ and $\...
-2
votes
0
answers
64
views
$S$-semipermutable subgroup
A subgroup $H$ of a finite group $G$ is said to be
$S$-semipermutable in $G$ if it permutes with every Sylow $q$-subgroup of $G$ for all primes $q$ not dividing $|H|$.
Assume that $G$ is solvable and ...
5
votes
0
answers
103
views
What are the indecomposable modules over $\mathbb{F}_2(C_2\times C_2)$?
Let $C_2$ be the cyclic group of order $2$ and $\mathbb{F}_2$ the field with $2$ elements. Consider the group algebra $A:= \mathbb{F}_2 (C_2\times C_2)$. It is well-known that $A$ has infinite ...
8
votes
2
answers
161
views
What is the quotient group $D^*/{F^*(1+P_D)}$ for a quaternion division algebra $D$ over a local field $F$?
Let $F$ be the non-archimedean local field $\mathbb{Q}_p$ for some prime $p$ and $D$ be a quaternion division algebra over $F$. Let $\mathcal{O}_D$ and $\mathcal{P}_D$ denote the ring of integers of $...
-4
votes
1
answer
107
views
Conjugacy classes of $PSL_2(11)$ and $PGL_2(11)$ in $Aut(HN)$
How many conjugacy classes each of $PSL_2(11)$ and $PGL_2(11)$ subgroups are contained in the automorphism group of the Harada-Norton group?
1
vote
1
answer
119
views
Finiteness of $\ell^2$-Betti numbers
I'm reading the paper "Improved algebraic fibering" by Sam Fisher (https://arxiv.org/pdf/2112.00397.pdf) and in the proof of lemma 6.4 it claims the followng:
$(\mathcal{D}_{\mathbb{F}K}\ast\...
4
votes
0
answers
108
views
Distortion in the Brin-Thompson 2V
Is it known whether the Brin-Thompson 2V contains a distortion element? By this I mean an element $f$ such that the word norm $|f^n|$
grows sublinearly, and $f$ is of infinite order. If such an ...
5
votes
0
answers
105
views
Uncountable locally finite group contains a countably infinite normal subgroup
Is it true that every uncountable locally finite group contains a countably infinite normal subgroup? If not, is there a counter example of an uncountable locally finite group that has no countably ...
-1
votes
0
answers
112
views
Known non-solvable inseparable subgroups of the Monster
I’m looking for a list of the known isomorphism classes of non-solvable inseparable subgroups of the Monster sporadic group, along with the number of conjugacy classes for each that it is known.
2
votes
1
answer
69
views
How far is a countably infinite reduced abelian $p$-group from being an infinite direct sum?
Question Let $G$ be a countably infinite reduced abelian $p$-group. Is it always possible to write it has an infinite direct sums of non-trivial groups? If it is not true, how far is $G$ from being an ...
1
vote
1
answer
52
views
Element of order $p$ and finite height $\geq1$ in a reduced abelian group $p$-group with an element of order $p^2$
This is a reference request for the following statement:
Fact:
Let $G$ be a reduced abelian $p$-group with an element of order $p^2$. Then $G$ contains an element of order $p$ and of finite height at ...
6
votes
1
answer
93
views
Are the non-free factors of Grushko decomposition of a finitely generated convex-cocompact (but not cocompact) subgroup of PSL$(2,\mathbb{R})$ finite?
See Grushko decomposition theorem.
Are the non-free factors of Grushko decomposition of a finitely generated convex–cocompact (but not cocompact) subgroup of $\operatorname{PSL}(2,\mathbb{R})$ finite?
...
2
votes
1
answer
78
views
Extensions containing the Schur cover II
Given two finite groups $G$ and $H$ such that $H$ is a perfect subgroup of $G$, does there always exist a finite solvable group $I$ such that the Schur cover of $H$ embeds into an extension of shape $...
0
votes
1
answer
163
views
The center of Sylow subgroups
$\DeclareMathOperator\Syl{Syl}$Let $G$ be a finite group, $\Phi(G)$ is the Frattini subgroup of $G$. And $G/\Phi(G)$ is a simple group. Let $P\in \Syl_{p}(\Phi(G))$, where $p\in \pi(\Phi(G))$ and $\...
1
vote
0
answers
94
views
Hamilton decomposition for infinite Cayley graphs
We have a finitely generated group $G$ which is infinite. Does there exist such a finite generating set $S$, $G= \langle S\rangle$, that the corresponding Cayley graph $\mathrm{Cayley}(G,S)$ can be ...
4
votes
0
answers
200
views
God's number for higher dimensional Rubik's cubes
In this MO question, user Martin Brandenburg asks about God's number for $n \times n \times n$-cubes for $n>3$. Here, God's number $g(n)$ was defined as the smallest number $m$ such that every ...
5
votes
3
answers
232
views
Finite index subgroup of $\mathbb{Z}^2$ that is invariant under a non-singular matrix
Let $M $ be a matrix in $ \operatorname{GL}(2, \mathbb{Z})$ that has at least one eigenvalue of absolute value strictly bigger than $1$. What are the finite index subgroups $H$ of $\mathbb{Z}^2$ such ...
3
votes
0
answers
268
views
What about a Cayley n-complex for n>2?
Let $G$ be a finitely presented group. The Cayley graph of the finite generating set is a $1$-complex where the $0$-cells are the elements of $G$ and the $1$-cells are given by the generators (...
0
votes
0
answers
100
views
Presentation complex of a finite perfect group and its features
Let $G$ be a finite perfect group and consider $X_G$, its presentation complex. I have the following questions:
Is there any special property of $X_G$ due to the group's perfectness?
What can we say ...
0
votes
0
answers
81
views
What is mean of action of group on tower?
What is mean of action of group on tower ?in the page 17 of following paper (action on teichmuller tower )
In Hatcher, Allen; Lochak, Pierre; Schneps, Leila, On the Teichmüller tower of mapping class ...
1
vote
0
answers
84
views
Are there standard short notations for ascending and descending cyclic permutations?
In a paper I am currently writing I use cyclic permutations of the form
$$
(k,k+1,\dots,\ell)
$$
and
$$
(\ell,\ell-1,\dots,k)
$$
of consecutive elements quite a lot (I added the commas to avoid ...
3
votes
1
answer
153
views
Extensions containing the Schur cover
Given two finite groups $G$ and $H$ such that $H$ is a perfect subgroup of $G$, is there always an extension of a finite group by $G$ such that the image of $H$ under the extension is isomorphic to ...
3
votes
0
answers
73
views
Terminology for the "natural probability measure" on the set of irreducible characters of a finite group
To be specific: if $G$ is a finite group and $\operatorname{Irr}(G)$ the set of its irreducible characters (over the complex field) then we know that
$$
1 = \sum_{\phi \in {\rm Irr}(G)} \frac{(d_\phi)^...
7
votes
2
answers
520
views
Group of exponential growth always contains a free sub-group?
I am not very conversant with the growth of a group, so this may be a very silly question.
It is known that $F_2$, the free group of rank $2$, has exponential growth. I was wondering whether the ...
0
votes
0
answers
264
views
+50
Minimal non-solvable groups with a special property
Suppose that $G$ is a finite minimal non-solvable group (i.e. a non-solvable group
all of whose proper subgroups are solvable) whose Frattini subgroup $\Phi(G)$
is abelian. If for every subgroup $H &...
1
vote
0
answers
413
views
New (?) math object. Looking for (if existing) literature [closed]
I am interested in any literature about the following mathematical property.
Let $V$ a vector space and $G$ a group acting on $V$.
What is the name for the property of a set of operators $H=\{h:V\to V\...
2
votes
0
answers
176
views
Non-abelian group cohomology, additional information
Let $G$ be a (profinite) group, and let $M$ be a non-abelian $G$-module.
We know how to construct reasonably $H^0(G,M)$ and $H^1(G,M)$ and it turns out that $H^1(G,M)$ is just a pointed set and not ...
0
votes
0
answers
162
views
What is "inn" in this paper?
In Hatcher, Allen; Lochak, Pierre; Schneps, Leila, On the Teichmüller tower of mapping class groups, J. Reine Angew. Math. 521, 1-24 (2000). ZBL0953.20030.,in the page 18 we have:
$$
\begin{aligned}
...
1
vote
0
answers
110
views
Does a basic commutator of the cartesian subgroup belong to the second subgroup of the derived series?
Let $G$ and $H$ be groups and consider $\pi: G\ast H \to G\times H$ the canonical morphism. The cartesian subgroup is defined as $[G,H]:=\ker(\pi)$. I will call $s_2(G\ast H)$ the second subgroup of ...
6
votes
0
answers
167
views
Algorithmically handling the Spin groups in larg(ish) dimensions
Question: Is there a reasonably efficient algorithmic representation of $\mathit{Spin}_n$? By this I mean, a way to store its elements and operate on them (multiply, inverse, maybe compute ...
7
votes
4
answers
348
views
Is every virtually free group residually finite?
Question: Is every (finitely generated) virtually free group residually finite?
A well-known question asks whether every hyperbolic group is residually finite (Mladen Bestvina. Questions in geometric ...
6
votes
1
answer
310
views
Is there a classification of homomorphisms $S_n \to S_{n+k}$ for small $k$?
Homomorphisms $B_n \to B_{2n}$ and $B_n \to S_{2n}$ have been classified in Chen–Kordek–Margalit - Homomorphisms between braid groups and Lin - Braids and permutations respectively. I am interested in ...
0
votes
0
answers
104
views
combinatorial way to count representatives of conjugacy class of elements of ord 5
I am trying to find a representative of each conjugacy class of order 5 elements in PGL$_6$($\mathbb C$).
Let $r$ in $\mathbb C$ such that $r^5 = 1$ and [ ] denote modular the center of GL$_6(\mathbb ...
0
votes
0
answers
73
views
Classification of elements $GL(d, \mathbb{R})$
Any $SL(2, \mathbb{R})$ is either elliptic or hyperbolic, or parabolic up to conjugacy; see here.
Do we have the same classification for $GL(d, \mathbb{R})$? If so, could you please introduce some ...
5
votes
2
answers
167
views
Reflection quotients of Coxeter groups
I am interested in a concept somehow dual to reflection subgroups. A reflection quotient of a Coxeter system $(W, S)$ shall be a surjective homomorphism $W \to W'$ to a Coxeter group $W'$ such that ...
3
votes
0
answers
118
views
Classification of finite minimal non-solvable groups
Is there any classification of finite minimal non-solvable groups? By minimal non-solvable group, I mean a non-solvable group all of whose proper subgroups are solvable.
16
votes
0
answers
293
views
Row of the character table of symmetric group with most negative entries
The row of the character table of $S_n$ corresponding to the trivial representation has all entries positive, and by orthogonality clearly it is the only one like this.
Is it true that for $n\gg 0$, ...
5
votes
1
answer
271
views
Is this semi-direct product residually finite?
I've copied over this question from what I asked on Mathematics Stack Exchange, in the hope that some experts here can help me find a way to check the residual finiteness of this group.
Consider the ...
11
votes
1
answer
212
views
Infinite vertex-transitive graph where every automorphism has a fixed vertex
This is a follow-up to the question Connected vertex-transitive graph with the fixed-point property. In particular, it is based on a comment by user bof.
Let $G = (V,E)$ be a graph with $V$ infinite. ...
0
votes
1
answer
107
views
The intersection of product of Sylow subgroups
Suppose $G$ is solvable, and $\pi(G)= \{2,m,n\}$, $O_{2}(G)=1$. Then can we use the solvability of $G$ to prove that $O_{2^{\prime}}(G) \neq 1$? Let $\bar{G}= G / O_{2^{\prime}}(G)$, what about $O_{...
0
votes
0
answers
97
views
From direct sum of quotient group of a group to direct sum of the group
We know that for a cyclic group $G$, if $G=A\oplus B$, then for some subgroups $H$ of $G$, We have $G/H=(A+H)/H\oplus (B+H)/H.$ But, if we know that for a subgroup $H$ of $G$, $G/H=(A+H)/H\oplus (B+H)...
5
votes
0
answers
107
views
Can we define partial group actions on (finite) sets via generators and relators?
Let $G = \langle Y | R \rangle$ be a finitely presented group. A partial group action on a set $X$ is a premorphism into the inverse semigroup
$$
\mathcal I (X) = \{ f: A \to B : A, B \subseteq X, f\...
0
votes
1
answer
186
views
A particular permutation on $\mathbb{Z}_n$
Let us consider $\mathbb{Z}_N=\{0,1,\cdots N-1\}$.
Does there exist any permutation $\sigma$ on $\mathbb{Z}_N$ satisfying :
$$\exists p,q\in\mathbb{N}, ~~p,q\neq0 (mod~N) ~~\forall i,j\in \mathbb{Z}...
2
votes
0
answers
82
views
Different definitions of p-fusion and Mislin's theorem
Currently, I am trying to understand and compute homology of finite groups with coefficients in a field of positive characteristic. So, I was searching for some results that could reduce this problem (...
28
votes
1
answer
1k
views
Group theory with grep?
While reading Bill Thurston's obituary in the Notices of the AMS I came across the following fascinating anecdote (pg. 32):
Bill’s enthusiasm during the early stages of mathematical discovery was ...
3
votes
1
answer
71
views
Algorithm to find a minimal normal subgroup of given group $G$ by matrix group representation
Given a matrix group $G$ by its generators i.e. $G =\langle A_1,A_2,...,A_k \rangle \leq GL_n(q)$, where each $A_i$'s are matrix in $GL_n(q)$
Q. Does there exist a polynomial time (polynomial in ...
1
vote
0
answers
75
views
Characters of upper triangular matrices over finite field - reference request
Let $B_n$ be the group of upper matrices and $U_n$ the subgroup of unipotent upper triangular matrices. I would like some references which discusses complex character theory of $B_n(\mathbb{F}_q)$ for ...
6
votes
1
answer
358
views
Does a non-simple perfect group always have a maximal subgroup whose derived subgroup has nontrivial core?
Let $G \neq 1$ be a finite perfect group which is not simple.
Is it true that $G$ necessarily has a maximal subgroup whose derived subgroup
has nontrivial core in $G$?
Remark 1: This holds for all ...