Questions about the branch of abstract algebra that deals with groups.

**0**

votes

**1**answer

116 views

### Known computations of certain 2-cohomology groups?

I wanted to know if there are any computations of cohomology groups $H^n(\Gamma,A^{(\Gamma)})$ in the literature for certain $n\in\mathbb{N}$, Abelian groups $A$, and infinite groups $\Gamma$.
Here ...

**27**

votes

**3**answers

963 views

### When is $S_n \times S_m$ a subgroup of $S_p$?

I asked the following question on math.stackexchange several months ago:
Let $n,m,p>1$ be such that $S_n \times S_m \hookrightarrow S_p$. Does it imply that $p \geq n+m$?
Derek Holt gave a ...

**6**

votes

**1**answer

352 views

### Paths in groups

Given a finite group $G$, write $K(G)$ for the complete digraph on the elements of $G$. Label the edge from $g$ to $h$ by element $g^{-1}h$.
Question: For what groups does there exist a Hamiltonian ...

**1**

vote

**2**answers

358 views

### on the extensions of $ A_5$ by $A_5$ [closed]

Let $G$ be a finite group such that $G$ has a normal subgroup $H$ and $H$ is isomorphic to the alternating group $A_5$. Also we know that $G/H \cong A_5$.
Can we say that $G \cong A_5\times A_5$?
...

**0**

votes

**1**answer

116 views

### Why are all involutions conjugate in the special linear group of degree 2?

It appears to be standard that the set of non-identity involutions in $SL(2, 2^n) = PSL(2, 2^n)$ forms a single conjugacy class. What is the best reference for this?
I note that
...

**6**

votes

**1**answer

219 views

### Fast construction of straight line programs?

Given a group $G$ and a set of generators $A$, we can ask ourselves (and do ask ourselves all the time) to bound the diameter of $G$ with respect to $A$. The diameter, let us recall, is defined to be ...

**7**

votes

**3**answers

630 views

### Is group theory useful in any way to optimization?

For what I have seen, optimization uses a lot of linear algebra and convex analysis, but I have not seen any group theory being used, so I was curious about it.
Is group theory useful in any way to ...

**1**

vote

**0**answers

47 views

### Some resources about minimum-length generator sequences

In the group theory I want to know what are the best results known for problem of finding minimum-length generator sequences. This problam have different titles in articles that cause difficality in ...

**2**

votes

**2**answers

138 views

### $PSL_2(\mathbb{Z}/p^n)$ isomorphic to automorphism group of depth-$n$, $(p+1)$-regular tree?

A comment on another question (linked below) states
"The group $PSL_2((\mathbb{Z}/p^n))$ is the automorphisms group of the $(p+1)$ regular tree of depth $n$, where at level $m$ of the tree you have ...

**3**

votes

**1**answer

139 views

### Aschbacher's description of Sylow 2-subgroups

I'm looking for a few more examples of using Aschbacher (1980)'s “fundamental SL2 subgroups” description of Sylow 2-subgroups of finite groups of Lie type in odd characteristic. I do not yet ...

**4**

votes

**0**answers

101 views

### Regularity of polynomial growth of groups

Let $G$ be a finitely generated group of polynomial growth. This means that the size $B_n$ of the ball of radius $n$ satsifies:
$$
A n^d \leq B_n \leq Bn^d
$$
for some constants $A$, $B$.
My question ...

**23**

votes

**1**answer

731 views

### How strong is this conjecture? $(Z/nZ)^*$ is generated by “small” elements

Conjecture: There are constants $c,k$ such that every $(Z/nZ)^*$ is generated by its elements smaller than $k (\log n)^c$.
Where $(Z/nZ)^*$ is the multiplicative group of integers mod $n$. My ...

**0**

votes

**1**answer

128 views

### A question on direct limits of finite $p$-groups

Where can we find a well developed material on direct limits of finite $p$-groups?
For instance, is there a characterization of such groups, which have a finite rank (that is every subgroup can be ...

**1**

vote

**1**answer

63 views

### A characterization of almost relatively free, finite $p$-groups

Let $G$ be a finite minimally $d$-generated $p$-group.
If $G$ is relatively free, that is $G$ is a quotient of the free group $F$ on $d$ generators by a fully invariant subgroup of $F$, then the ...

**2**

votes

**0**answers

43 views

### A question on $p$-central $p$-groups

Let $p$ be a fixed prime. A group $G$ is termed $p$-central if every element of order $p$ in $G$ lies in the center.
Having a finite $p$-group $G$ of rank $k$ (the least integer, such that every ...

**0**

votes

**1**answer

192 views

### Examples of groups such that order isomorphism of the subgroups of $G\times G$ and $H\times H$ does not imply isomorphism of $G$ and $H$

Let $G$ and $H$ be groups, $\operatorname{Sub}(G\times G)$ be the set of all subgroups of $G\times G$ and $\operatorname{Sub}(H\times H)$ be the set of all subgroups of $H\times H$. Assume there ...

**4**

votes

**2**answers

301 views

### a question on rank of fundamental group

Assume $G$ be the fundamental group of a closed orientable hyperbolic 3-manifold. Let
$G_{1} = \langle a_{1},...,a_{k} \rangle$ be a free subgroup of $G$, and let $G_{2}=\langle a_{k+1} \rangle$ be a ...

**3**

votes

**2**answers

203 views

### On the groups of order $p(p^2+1)$

Let $G$ be a group of order $p(p^2+1)$, where $p$ is an odd prime number and $p>3$. Easily we can see that $G$ is solvable and so $G$ has a Hall subgroup $L$ of order $p^2+1$. Also we know that ...

**2**

votes

**0**answers

69 views

### “A locally dual polar space for the Monster”

I am currently looking at Ronan and Stroth's 1984 paper Minimal Parabolic Geometries for the Sporadic Groups. When considering the $3$-minimal parabolic system of $F_{1}$, they cite a preprint by ...

**10**

votes

**1**answer

309 views

### Finitely presented group in which every element is conjugate to its square

Does there exist a nontrivial finitely presented group in which every element is conjugate to its square? Is this an open problem?
Motivation: Jahren proved in [Geom Dedicata (2010)] that if $M$ is a ...

**4**

votes

**1**answer

440 views

### Infinite groups containing maximal subgroups that are abelian

If G is a finite group which contains a maximal subgroup M which is abelian, then it is an exercise to show that G is solvable and that the third term in the derived series equals 1.
What happens for ...

**1**

vote

**0**answers

113 views

### Questions about some finite p-groups of coclass 2

I have two questions about a specific type of finite $p$-groups that i've seen in an interesting work on automorphisms of finite p-groups.
Let $G$ a finite $p$-group of order $p^{n}$ such that:
- ...

**4**

votes

**0**answers

92 views

### When does finite presentability of the associated graded Lie algebra of a group imply the group is finitely presented?

Let $G$ be a finitely generated group; let $L(G)$ denote the graded Lie algebra (over $\mathbb{Q}$) associated to the lower central series of $G$. I would like to know conditions for when the finite ...

**9**

votes

**2**answers

312 views

### Can the difference of non-conjugate pseudoreflections lie in the commutator subgroup?

Let $G$ be a finite group acting on a complex vector space $V$ by pseudoreflections (i.e. every element of $G$ is a product of elements which fix hyperplanes in $V$). I would like to understand the ...

**8**

votes

**1**answer

251 views

### Reference for the fact that $SL_n(O_K)$ surjects onto $SL_n(O_K/I)$ for any ideal I

Let $\mathcal{O}_K$ be the ring of integers in an algebraic number field $K$ and let $I \subset \mathcal{O}_K$ be a nonzero proper ideal. It is not hard to see that the map ...

**12**

votes

**3**answers

508 views

### Is {6,3,7} an 'ultrahyperbolic' Coxeter group?

These pictures, drawn by Roice Nelson, are attempts to visualize a geometry having as symmetries the {6,3,7} Coxeter group, by which I mean the one coming from the Coxeter diagram
...

**8**

votes

**1**answer

229 views

### Question about doubly transitive groups with an n-cycle

Let $G$ be a doubly transitive subgroup of $S_n$ which contains an $n$-cycle, and let $G_{12}$ be the subgroup of $G$ consisting of all elements $g\in G$ for which $g(1)=1$ and $g(2)=2$. Then ...

**0**

votes

**2**answers

181 views

### Projective characters with corresponding factor set

The following is just a follow up to my previous question. I have a finite group $H$ with 14 ordinary characters. The Schur multiplier $M(H)\cong 2^2$. Hence the group $H$ will have 3 sets of ...

**4**

votes

**0**answers

139 views

### Is there a notion of “tame” representations of $GL_n(Z)$?

This is a followup to this question about the (left) noetherianity of the group ring of $GL_n(\mathbf{Z})$:
Does GL_n(Z) have a noetherian group ring?
Given that $\mathbf{Z}[GL_n(\mathbf{Z})]$ is ...

**14**

votes

**1**answer

502 views

### Does GL_n(Z) have a noetherian group ring?

Has the (left, right, 2-sided) noetherian property of the integral group ring of arithmetic groups like $GL_n(Z)$ been considered in the literature?
Motivation: a recent trend has been to study ...

**11**

votes

**0**answers

250 views

### Generating random finite groups

I would like a method to efficiently generate a random finite group of a given order $n$.
If there are $g(n)$ non-isomorphic groups of order $n$,
ideally each group would occur with probability ...

**48**

votes

**3**answers

2k views

### How do I verify the Coq proof of Feit-Thompson?

I probably don't have the appropriate background to even ask this question. I know next to nothing about formal or computer-aided proof, and very little even about group theory. And this question is ...

**6**

votes

**2**answers

316 views

### Sylow 3-subgroups of symmetric group

Is there any routine technique to find a set of permutations which generate a Sylow $3$-subgroup of the symmetric group $S_{n}$?

**3**

votes

**2**answers

126 views

### All Integers from the Smallest Digit Stream with a Window Filter

Let's represent integers with D digits where each digit has B values
(i.e., the base is B and we effectively work only with integers between
1 and B^D). Is it possible to choose a single ...

**4**

votes

**2**answers

540 views

### Decomposing representations of finite groups

Let $G$ be a finite group, $p$ a prime number. We denote by $\mathbb{F}_p$ the field of cardinality $p$. Let $V$ be an infinite dimensional representation of $G$ over $\mathbb{F}_p$.
Must there be ...

**7**

votes

**1**answer

390 views

### Is there a precise notion of “almost all” such that almost all finite groups are Galois groups of extensions of the rationals?

I vainly tried to define a notion of "almost solvable group" such that every "almost solvable group" is the Galois group of a finite extension of the rationals, but I can't figure out the right way to ...

**4**

votes

**1**answer

165 views

### Maximum length of chains of subgroup in GL(n,q)

Let G=GL(n,q) be a general linear group n-dimensional over a field with q element (q power of a prime). I am looking for an estimate of maximum length of chains of subgroup in G.
Thanks.

**2**

votes

**0**answers

86 views

### Coprime automorphisms of finitely generated pro-$p$ groups

Let $P$ be a finitely generated pro-$p$ group and let $G$ be a semidirect product $P \rtimes A$, where $A$ is a finite group of order coprime to $p$ that acts faithfully on $P$. Then one can show ...

**2**

votes

**1**answer

324 views

### Groups like symmetric group

For sufficiently large n consider this question
Let $G$ be a finite group with the following properties:
$|G|=n!$
$H,K$ are subgroups of $G$ such that $H\cap K=1$ and $H\cong S_{3}$ and $K\cong ...

**5**

votes

**2**answers

627 views

### An application of Maschke's theorem

I've been teaching some elementary representation theory to undergraduates, and want to provide applications of Maschke's theorem to complex group algebras to present in class. In particular, I'd like ...

**2**

votes

**0**answers

80 views

### Free profinite completions

Let $m,n \in \mathbb{N}$. Which residually finite groups $G$ generated by $m$ elements, have the free profinite group on $n$ generators as their profinite completion?

**3**

votes

**0**answers

93 views

### Automorphisms of profinite groups

Let $d,n \in \mathbb{N}$, and $p$ a prime number. Let $F$ be a free pro-$p$ group on $d$ generators. Is there an automorphism of $F$ of order $n$?

**1**

vote

**1**answer

113 views

### generality of the lattice of normal subgroups

Let $(X,\le)$ a (finite) modular lattice. Is there a (finite) group $G$ such that the lattice of all normal subgroups of $G$ is isomorphic to $(X,\le)$?

**5**

votes

**1**answer

185 views

### Is any finitely generated nilpotent pro-$p$ group necessarily the pro-$p$ completion of some finitely generated nilpotent group?

While thinking about this question, I was led to the following question:
My question: Let $G$ be a topologically finitely generated pro-$p$ nilpotent group. Does there exist a finitely generated ...

**2**

votes

**3**answers

140 views

### Modular group modulo $N$

Let $N\geq2$ be a positive integer. Is the canonical homomorphism $\pi$ from $SL_2(\mathbb{Z})$ to $SL_2(\mathbb{Z}/N\mathbb{Z})$ surjective?
What if we ask the same question for $SL_n$?

**5**

votes

**0**answers

74 views

### Explicit descriptions of self-replicating pro-$p$ groups

A group $G$ is called self-replicating, if there exists a finite index subgroup $H$, such that $H\cong G\times\dots\times G$. Maybe the most famous example of a self-replicating group is a subgroup ...

**4**

votes

**1**answer

276 views

### Which finite groups can be characterized by their subgroup orders?

Given a finite group $G$, we denote by $\pi_s(G)$ the set of orders of its subgroups. Which finite groups $G$ can be characterized by the set $\pi_s(G)$, i.e. $\pi_s(H)=\pi_s(G)$ implies $H\cong G$? ...

**1**

vote

**1**answer

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

**5**

votes

**1**answer

205 views

### A nilpotent quotient of free groups

Let $F$ denote the free group on $n$ generators $g_1,\ldots, g_n$. Consider its quotient $Q$ by the universal relation $[x,[x,y]]$ (a "Serre relation" familiar from Lie theory). This group is ...

**4**

votes

**3**answers

203 views

### Results about the existence of solutions in groups

Let $G$ be a group. Consider an arbitrary equation given by $w(\vec{g})=e$, where $w: G^n \to G$ takes an $n$-tuple $(g_1,...,g_n)$ to some expression involving products of the $g_i$, their inverses ...