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

learn more… | top users | synonyms (1)

3
votes
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
2answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
2answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
2answers
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
2answers
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
1answer
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
2answers
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
0answers
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
2answers
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
0answers
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
1answer
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
0answers
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
0answers
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
2answers
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
0answers
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
1answer
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
2answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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 ...