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

**3**

votes

**0**answers

108 views

### Short exact sequences for amalgamated free products and HNN Extensions

I asked this question on math stackexchange (see here) but didn't get any answer so I thought I would post it here too:
If $A$ and $B$ are groups we have the following short exact sequence:
$$ 0 \to ...

**4**

votes

**1**answer

104 views

### Genericity of irreducible automorphisms of free groups

I have seen in the literature that Irreducible outer automorphisms of a free group $F_n$ are "generic".
I would like to ask that if for example : it is true that for any generating set $X$ of ...

**10**

votes

**0**answers

153 views

### Are all sneaky groups products of Frobenius and 2-Frobenius groups?

I've been stuck thinking about this for a while.
Def. Let $G$ be a finite solvable group whose order is divisible by only three primes: $p,q,$ and $r$. Suppose that $G$ has cyclic subgroups of ...

**43**

votes

**1**answer

839 views

### Are there $n$ groups of order $n$ for some $n>1$?

Denote $N(n)$ : number of groups of order $n$
Does $N(n)=n$ hold for some $n>1$ ?
I checked the OEIS-sequence https://oeis.org/A000001 as well as the squarefree numbers in the range ...

**12**

votes

**0**answers

176 views

### How does a permutation $P$ affect the singular value $\sigma_{\text{max}}(Q^\top P^\top Q)$ for orthogonal $Q$?

Let $q_i$ for $i=1,\ldots,m$ be the columns of the matrix $Q\in\mathbb{R}^{n\times m}$, $n\geq 2m$, which are pairwise orthonormal ( i.e.
$q_i^\top q_j = \begin{cases} 1 & \text{if}\quad i=j \\ 0 ...

**7**

votes

**2**answers

525 views

### Can all the sporadic groups be expressed as permutation groups based on a single big cycle?

Working on M11, I came up with that it can be generated using the following permutations:
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
[[2, 0, 1, 7], [3, 4, 5, 6]]
[[4, 0, 6, 7], [2, 3, 1, 5]]
[[0, 7], [4, 6], ...

**5**

votes

**1**answer

155 views

### Strongly real elements of odd order in sporadic finite simple groups

Recall that an element of a finite group is said to be real if it is conjugate to its inverse, and strongly real if the conjugating element can be chosen to be an involution.
Question: Is it true ...

**16**

votes

**1**answer

396 views

### Okounkov-Vershik approach to representation theory of $S_n$

This is a rather soft question. I was wondering if someone could explain on a fundamental and intuitive level, what the Okounkov-Vershik approach to representation theory of $S_n$ is all about. It's ...

**3**

votes

**1**answer

114 views

### Wild automorphisms of profinite groups

Is there a profinite group $G$, a continuous automorphism $\alpha$ of
$G$ and a topologically finitely generated closed subgroup $H \leq G$
such that $\alpha(H) \lneq H$ ?
Note that if an ...

**1**

vote

**0**answers

49 views

### Fully residually free groups and completion

Let $G$ be a fully residually free group with a finitely generated profinite completion. Is $G$ necessarily finitely generated?

**6**

votes

**1**answer

217 views

### number of maximal subgroups of the symmetric group

What is the asymptotics of the number of the maximal subgroups of $S_n$ (as a function of $n$)? This must be written down somewhere...
EDIT I am actually more interested in the number of conjugacy ...

**1**

vote

**0**answers

104 views

### The normalizer problem for group rings

I recently studied about The Normalizer problem (NP) which states that given an integral group ring $\Bbb{Z}G$, $N_{\cal{U}}(G)=G\frak{z}$ where $\frak{z}$ denotes centre of $\cal{U}$ = ...

**6**

votes

**0**answers

187 views

### Cartesian square root of a measure preserving action

Let $G \curvearrowright (X,\nu)$ be probability measure preserving action of a countable discrete group. When does there exist a probability measure preserving action $G \curvearrowright (Y,\mu)$ such ...

**1**

vote

**1**answer

130 views

### Determining conjugacy class of a subgroup from the sizes of its intersections with the conjugacy classes

Let $C_1,C_2,\ldots,C_n$ be the conjugacy classes of a finite group $G$. It is possible that there are two non-conjugate subgroups $K \leq G$ and $H \leq G$ such that $|H \cap C_i|=|K \cap C_i|$ for ...

**4**

votes

**2**answers

137 views

### “Natural” action of a semidirect product of groups

Suppose we have a group $N$ acting on a set $X$, and a group $Q$ acting on $Y$. Moreover, we are given $\phi: Q \to \mathrm{Aut}(N)$.
My question is, is there a "natural" action on a set that can be ...

**5**

votes

**0**answers

165 views

### Wild automorphisms of a free group

Let $F_X$ be a free group on a countably infinite set $X$. Let $\alpha$ be an automorphism of $F_X$ and $H$ a closed subgroup of $F_X$ in the profinite topology.
Is it possible that $\alpha(H) ...

**6**

votes

**1**answer

266 views

### G-Correlation of Vectors

Let $\vec{a},\vec{b} \in \mathbb{R}^{n}$. Consider the function $f: S_n \to \mathbb{R}$ given by $f(\sigma):= \sum_{i=1}^{n} a_i b_{\sigma(i)}$. Let $G$ be a subgroup of $S_n$, given by $O(\log n)$ ...

**2**

votes

**0**answers

96 views

### Expository papers for Feit–Thompson Theorem [duplicate]

Feit–Thompson theorem states that every finite group of odd order is solvable.
Its proof is near 300 pages so it is definitely not an easy paper to read without a prior knowledge about the general ...

**8**

votes

**1**answer

189 views

### Is the word problem decidable for free finitely generated self-square groups?

A self-square group is a group with extra structure, which encodes the fact that the group is isomorphic to its own direct square.
To be exact, the group $G$ has a special element $1$, a unary ...

**1**

vote

**0**answers

79 views

### Profinite rank of Fuchsian groups

Let $G$ be a Fuchsian group whose profinite completion is finitely generated. Must $G$ be finitely generated?
A Fuchsian group is a discrete subgroup of $\mathrm{SL}_2(\mathbb{R})$ or ...

**3**

votes

**2**answers

314 views

### Subgroups of hyperbolic groups

Let $G$ be a finitely generated hyperbolic group, and let $H \leq G$ be a subgroup whose profinite completion is finitely generated. Must $H$ be finitely generated?
In view of Ian Agol's answer, I ...

**5**

votes

**1**answer

141 views

### Upper bound on level of a congruence subgroup of the modular group

Let $\Gamma = PSL(2,\mathbb{Z}) = \langle S,T \ | \ S^2=(ST)^3=1 \rangle$. Let $G$ be some mystery normal subgroup of $\Gamma$ that we happen to think may be congruence. Recall that a subgroup of ...

**12**

votes

**0**answers

232 views

### In what sense is the braid group $B_3$ the universal central extension of the modular group $\Gamma$?

First let's recall some definitions. Let $G$ be a perfect group, so that
$$H^2(G, A) \cong \text{Hom}(H_2(G), A)$$
for all abelian groups $A$ by universal coefficients. This means that when $A = ...

**2**

votes

**0**answers

109 views

### Centerless finite groups with exactly three prime divisors

Let $G$ be a centerless finitee group and $\pi(G)=\{p,q,r\}$ be the set of prime divisors of $|G|$. I have some questions about these groups.
Is there any classification of such groups?
In what ...

**2**

votes

**1**answer

114 views

### Is the Frattini subgroup of a free profinite group trivial?

Let $\widehat{F_2}$ be the free profinite group of rank 2. Is its Frattini subgroup $\Phi(\widehat{F_2})$ trivial?
I know that the Frattini subgroup of a pro-$p$ group is open. On the other hand, the ...

**7**

votes

**1**answer

201 views

### Frucht's type theorem for Riemann surface

Frucht's theorem is a theorem in algebraic graph theory conjectured by Dénes Kőnig in 1936 and proved by Robert Frucht in 1939. It states that every finite group is the group of symmetries of a finite ...

**3**

votes

**0**answers

119 views

### Is there any probabilistic characterization for generalized solvable groups?

References: This question is inspired by a conjecture of Alon Amit that is solved by Miklós Abért, Nikolay Nikolov and Dan Segal in the following papers:
(1) On the probability of satisfying a ...

**5**

votes

**1**answer

223 views

### abelian and nonabelian parts of Aut($\widehat{F_2}$)

Let $F$ be the free profinite group on two generators. Let $\text{IA}(F) := \ker\left(\text{Aut}(F)\rightarrow GL_2(\widehat{\mathbb{Z}})\right)$, the group of "IA automorphisms" of $F$. (I'm also ...

**1**

vote

**2**answers

146 views

### Abelian group of finite rank

Let given torsion free abelian group $A$ of finite rank. Let for prime number $p$, given that $\cap_i p^iA =\{0\}$. Is it true that for any $p$- torsion abelian group $B$, $\text{Hom}_{\mathbb{Z}}(A, ...

**15**

votes

**2**answers

410 views

### Minimal maximal subgroup of the symmetric group

The question is pretty much in the title: What is the maximal subgroup of $S_d$ of maximal index (so minimal size)? A slight variant (I am not sure if it leads to a different answer) is: what if we ...

**3**

votes

**1**answer

174 views

### An inequality for Fuchsian groups?

Let $G$ be a finitely generated Fuchsian group.
(i.e. a discrete subgroup of $\mathrm{PSL}_2(\mathbb{R})$).
Is it true that $d(G) < 2\beta_{2}^1(G) + 1$ ?
Here, $\beta_{2}^1(G)$ stands ...

**5**

votes

**2**answers

265 views

### Conjugate transpose and discreteness, for Kleinian groups

Let $G=\langle g_1,\dots g_n\rangle<\mathrm{PSL}_2(\mathbb{C})$ be discrete,
i.e. a finitely generated Kleinian group.
Let $H=\langle g^{\dagger}g\mid g\in G\rangle$,
(the group generated by the ...

**0**

votes

**0**answers

176 views

### Basic question about power series and complete group algebras

This is a pretty basic question, but I suspect it might be too exotic for math.stackexchange.
Let $\mathbb{Z}_p$ be the $p$-adic integers. For free pro-$p$ group $F_r$ of rank $r$, we can consider ...

**3**

votes

**2**answers

161 views

### Automorphism group of a free product

Suppose that $G$ and $H$ are groups (not isomorphic) and $G\ast H$ the free product. Let $Aut(G)$, $Aut(H)$ be the automorphism groups of $G$ and $H$. What is $Aut(G\ast H)$ ?

**2**

votes

**0**answers

106 views

### Is a finitely generated residually free group “almost LERF”?

Let $G$ be a finitely generated residually free group.
(i.e. for each $1 \neq g \in G$ there exists a homomorphism $\tau \colon G \to F$ such that $F$ is a free group, and $\tau(g) \neq 1$.)
...

**4**

votes

**1**answer

75 views

### Example of a doubly degenerate surface group not coming from a pseudo-Anosov mapping torus

Doubly degenerate surface groups are discrete subgroups of $PSL(2,\mathbb{C})$ whose limit set is all of $S^2$, the boundary of $\mathbb{H}^3$. A standard example of such a group is given as follows:
...

**3**

votes

**0**answers

79 views

### Freeness of a matrix semigroup

Motivated by some questions in the dimension theory of self-affine sets, a colleague and I are interested in the freeness (or otherwise) of the subsemigroup of $SL_\pm(2,\mathbb{R})$ generated by the ...

**2**

votes

**0**answers

68 views

### Rank gradient in free products amalgamating a finite subgroup

Let $A,B$ be finitely generated groups with a common finite subgroup $C$. Suppose that $[A : C] > 2, [B : C] > 1$.
Must $A *_C B$ have positive rank gradient?
See Which 3-manifolds have ...

**8**

votes

**2**answers

341 views

### Characterization of finite groups using sum of the orders of their elements

Notation: If $G$ is a finite group, $o(g)$ denotes the order of the element $g\in G$.
Motivation: Some finite groups could be uniquely determined by the size of the group. For example given a prime ...

**1**

vote

**0**answers

88 views

### Higher connectedness of Rips complexes

For $G$ a countable discrete group, if it is finitely generated resp. finitely presented, we know that there is $R_0$ resp. $R_1$ such that for every $R\geq R_i$ the Rips complex ...

**4**

votes

**1**answer

140 views

### Which 3-manifolds have positive rank gradient?

For which $3$-manifolds $M$ is the fundamental group $\pi_1(M)$
finitely generated and has positive rank gradient?
Recall that the rank gradient of a finitely generated group $G$ is defined to ...

**4**

votes

**2**answers

183 views

### a question about a group which has a factor isomorphic to a permutation group

Thanks for any help or comments.
Suppose $G$ is a finite group and $t$ is an involution in $G$. Suppose also that
$\frac{C_G(t)}{\langle t\rangle}\cong \mathbb{S}_{n-2}$ and $C_G(t)$ contains some ...

**1**

vote

**1**answer

117 views

### Engulfing Kleinian groups?

Let $G$ be a Kleinian group, and let $H \lneq G$ be a finitely
generated subgroup. Must there be a proper finite index subgroup $U$ of $G$ containing $H$ ?
I know that this is true for Fuchsian ...

**3**

votes

**0**answers

83 views

### The exact values of Dehn functions

Let $G$ be a finitely presented group having Dehn function of type $n^d$ for some natural number $d$. Is it possible to say that $G$ has a presentation the corresponding Dehn function in which is a ...

**5**

votes

**0**answers

142 views

### List of finitely presented groups with undecidable word problem

Is there any reasonably updated list of (representative) examples of finitely presented groups with undecidable word problem?
By "representative" I mean "avoiding obvious redundancy", i.e. examples ...

**20**

votes

**1**answer

600 views

### Which philosophy for reductive groups?

I am just beginning to look further into trace formulas and automorphic forms in a quite general setting. For long I have noticed that the natural assumption on the groupe $G$ we work on is to be ...

**5**

votes

**0**answers

96 views

### Second homology of mapping class group via universal coefficient theorem

Let $S_g$ be the closed, orientable surface of genus $g\ge 2$ and $Mod(S_{g,1})$ the mapping class group of homeomorphisms fixing a base point $x_0\in S_g$ modulo isotopies fixing $x_0$.
It is known ...

**0**

votes

**0**answers

86 views

### When can the restriction map be zero or onto?

Let $G$ be a finite $p$ group of order $p^n$ and $N$ be a subgroup of $G$ of index $p$. Let $res:H^2(G,A) \rightarrow H^2(N,A)$ be the restriction map on cohomology, where $A$ is a trivial $G$ module. ...

**3**

votes

**1**answer

101 views

### Finding a semigroup that maximizes the trace of a sum of matrices

Let $H$ be a finite semigroup containing $n$ elements from a compact group $G$. I am trying to solve
$$\max_{h_i,\ h_j\ \in\ H} \operatorname{tr} \sum_{i,\ j\ \leq\ n} \rho(h_i^{-1} h_j)(A_j ...

**6**

votes

**0**answers

169 views

### What's the name of the cohomology class associated to a projective representation?

Suppose $\rho : G \to PGL_n(k)$ is a projective representation of a group $G$ over a field $k$. It's classical that the obstruction to lifting this to a linear representation $G \to GL_n(k)$ is a ...