Questions on group theory which concern finite groups.

**5**

votes

**2**answers

771 views

### Special automorphisms of extraspecial groups

Let $G$ be an extraspecial group of order $p^{2r+1}$ (where $p$ is an odd prime), and let $V$ be a faithful representation of $G$. Consider the normal subgroup $H$ of $Aut(G)$ consisting of all ...

**0**

votes

**0**answers

84 views

### The groups with nilpotent Hall $p'$ subgroup

Theorem $1$(Burnside): A simple nonabelian finite group can not have a conjugacy classes with prime power elements.
Theorem $2$: A group of order $p^nq^m$ is solvable.
Theorem $1$ depends on ...

**7**

votes

**1**answer

581 views

### A dual version of a theorem of Øystein Ore in group theory

Let $(H \subset G)$ be an inclusion of finite groups.
This post is a dual version for the Generalization of a theorem of Øystein Ore in which it's proved:
Theorem: $\mathcal{L}(H\subset G)$ ...

**34**

votes

**1**answer

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

**22**

votes

**2**answers

444 views

### Uniform proof that a finite (irreducible real) reflection group is determined by its degrees?

Given a finite (irreducible real) group $G$ generated by reflections acting on euclidean $n$-space, it was shown by Chevalley in the 1950s that the algebra of invariants of $G$ in the associated ...

**8**

votes

**0**answers

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

**5**

votes

**1**answer

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

**14**

votes

**1**answer

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

**2**

votes

**3**answers

433 views

### The number of submodules of $\mathbb{Z}_q^n$

Observe $\mathbb{Z}_q^n = \mathbb{Z}_q \times \cdots \times\mathbb{Z}_q$ as a module over $\mathbb{Z}_q\equiv\mathbb{Z}/q\mathbb{Z}$, for general $q$.
I am interested in the following questions:
How ...

**8**

votes

**0**answers

158 views

### An abstract zero-sum problem

I would like to know whether the problem described below has appeared in the literature and/or whether similar questions have been studied. I would be very happy to find some references or, if none ...

**5**

votes

**1**answer

193 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

**1**answer

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

**1**

vote

**0**answers

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

**9**

votes

**0**answers

159 views

### Is an inclusion of finite groups with boolean lattice, linearly primitive?

Let $(H \subset G)$ be an inclusion of finite groups.
Definition: Let $W$ be a representation of $G$, and $X$ a subspace of $W$.
Let the fixed-point subspace $W^{H}:=\{w \in W \ \vert \ kw=w \ ...

**2**

votes

**1**answer

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

**18**

votes

**2**answers

970 views

### Examples of finite groups with “good” bijection(s) between conjugacy classes and irreducible representations?

For symmetric group conjugacy classes and irreducible representation both are parametrized by Young diagramms, so there is a kind of "good" bijection between the two sets. For general finite groups ...

**1**

vote

**0**answers

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

**5**

votes

**2**answers

212 views

### Representations of orthogonal groups over the field of two elements

I am looking for some references on modular representation theory of the orthogonal groups $O_{2n+1}(2)$, $O_{2n}^{+}(2)$, or $O_{2n}^{-}(2)$ over $\mathbb{F}_2$.

**5**

votes

**1**answer

171 views

### Invariant Laurent polynomials under cyclic group action

Start with the cyclic group $G:=\mathbb{Z}/p$ of prime order $p$ and and an integer lattice $P:=\mathbb{Z}^p$. Let $G$ act on $P$ by cyclic permutation of coordinates. There is an induced action on ...

**8**

votes

**2**answers

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

**2**

votes

**0**answers

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

**4**

votes

**2**answers

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

**0**

votes

**0**answers

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

**2**

votes

**2**answers

143 views

### Isotropic subspaces in a symplectic vectorspace over $GF(q)$

Let $V$ be a symplectic vectorspace of dimension $2n$, and $r\mid n$. Is this statement true?"There is an isotropic spread of $r$ dimensional subspaces in $V$". By an isotropis subspace I mean a ...

**3**

votes

**1**answer

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

**1**

vote

**0**answers

57 views

### Salvaging Howson's theorem for free profinite groups

This is an attempt to find a correct version of Do free profinite groups satisfy Howson's theorem?
Let $F$ be a free profinite group, and let $A,B \leq F$ be closed finitely generated subgroups ...

**4**

votes

**2**answers

307 views

### Why does iterated indexing avoid cycles of length 5?

Start with a permutation $s_0$ of the numbers
$(1,\ldots,n)$, e.g., for $n=10$,
$s_0=(8,2,1,6,9,7,10,5,4,3)$.
Form $s_1$ by using the numbers in $s_0$ as indices into $s_0$.
So $s_1$ is composed of ...

**4**

votes

**1**answer

134 views

### Does every group that satisfies the maximal permutizer condition then satisfy the permutizer condition?

The
permutizer of a subgroup $H$ of $G$ is defined to be the subgroup generated by all cyclic subgroups of $G$ that permute with $H$,
i.e. $\langle x \in G | \langle x \rangle H = H \langle x \rangle ...

**4**

votes

**1**answer

159 views

### Existence of some character degree in a solvable group

Let $p=2^n-1$ be a Mersenne prime. We know that $H=PSL(2,p^4)$ has an irreducible character of degree $ p^4$.
Is there any solvable group of order $H$ with an irreducible character of degree $ p^4$. ...

**5**

votes

**1**answer

71 views

### recovering information about a group from the spectrum of its Cayley graph

Suppose you have a finite group and you consider its Cayley graph with respect to some fixed generating set of nonidentity elements closed under inversion. Are there any results known to the effect ...

**5**

votes

**1**answer

118 views

### To calculate $Tor_1^G(\mathbb{Z},N_{ab})$ and $Tor_1^Q(\mathbb{Z},N_{ab})$

Let $G$ be a finite $p$-group and $N$ be a normal subgroup of $G$. I wish to calculate $Tor_1^G(\mathbb{Z},N_{ab})$ and $Tor_1^Q(\mathbb{Z},N_{ab})$, where $Q=G/N$. I could not found any lecture notes ...

**2**

votes

**1**answer

104 views

### positions of regular cubes in Euclidean space with all its vertices without distinction

Let $P$ be the standard regular cube, centered at the origin of $\mathbb{R}^3$ with all its vertices on the unit sphere.
If the vertices are labelled by $1,2,3,4,5,6,7,8$, then the collection of ...

**7**

votes

**3**answers

509 views

### Beyond Brauer's theorem

Brauer's classic theorem states that any character of a finite group can be expressed as a linear combination with integer coefficients of characters induced by linear characters of p-elementary ...

**6**

votes

**2**answers

261 views

### Faithful projective representations of symmetric groups

This is a reference request.
Do you know where I can find the dimensions of the faithful projective representations of $S_n$ and $A_n$ for $n\ge 5$?
Thank you in advance.

**17**

votes

**1**answer

626 views

### “Squeezing” a finite group between symmetric groups

For a finite group $G$, take $m$ as the largest integer such that $G$ has a subgroup $H\cong S_m$ and $n$ as the smallest integer such that $G$ is itself isomorphic to a subgroup of $S_n$. We then ...

**4**

votes

**1**answer

326 views

### Counting cyclic subgroups of order $p^{2}$: $p$ an odd prime vs. $p=2$

While playing with Frobenius' problem (about finite groups $G$ in which, for some positive integer $n \mid |G|$, there are exactly $n$ elements of order dividing $n$), I came up with the following ...

**12**

votes

**4**answers

898 views

### Number of squares in a finite group

This was asked at MSE but never answered.
Let $G$ be a finite group and denote by $sq(G)$ the number of squares in $G$ i.e. the number of elements in $G$ which possess a square root. For example, if
...

**3**

votes

**1**answer

152 views

### Intersection of maximal subgroups of PSL(2,q)

Let $G := PSL(2,2^r)$, and let $M$ be a maximal subgroup of $G$ isomorphic to $PSL(2,2^s)$. I need to compute $H := M \cap M^g$ for $g \in G-M$. It seems to me that $|H|$ must be $2^r, 2^r\pm 1$ or ...

**2**

votes

**1**answer

156 views

### Reference sought regarding the fact that all non-abelian finite simple groups are 2-generated

I've learned that all non-abelian finite simple groups are $2$-generated,
i.e. have a generating set of cardinality $2$.
Is there a reference to this statement which does not just point to the
...

**2**

votes

**2**answers

227 views

### The number of subgroups of ${\frak S}_n$

Because of my interest in this question, I listed the subgroups of ${\frak S}_n$ for $1\le n\le4$. I found that the number of subgroups are, respectively, $1,2,6,24$. It might be a coincidence, or it ...

**11**

votes

**3**answers

1k views

### Number of generators of a subgroup of a finite simple group

For a finite group $G$ we denote $d(G)$ the minimal size of a set of generators of $G$. We define $D(G) = \max( d(H) \mid H\leq G)$.
Let $S$ be a finite simple group. Are there `good' bounds on ...

**2**

votes

**0**answers

253 views

### An inequality for certain characters

First some definitions: Let $cd(G)$ be the set of degrees of irreducible complex characters of the group $G$. Let $X$ be the collection of finite groups with the properties: $\{1\}\in X$. If $G$ is a ...

**1**

vote

**0**answers

373 views

### What conditions guarantee that a group is in the following collection?

This is a follow-up of a sort to a question I asked earlier, but this turned out to be what was really interesting, and the main relation between the questions is that they share some definitions, ...

**11**

votes

**0**answers

281 views

### Elements of order 3 normalizing no non-identity 2-subgroups in Almost Simple Groups

This question is partly motivated by a situation which arises in modular representation theory. A finite group $G$ is said to be almost simple if $G$ has a unique minimal normal subgroup which is a ...

**3**

votes

**1**answer

102 views

### Character degrees of extensions of 2^B_2(q^2)

The outer automorphism group of the Suzuki simple group
${}^2B_2 (2^{2m+1})$, $m \geq 1$ is cyclic of order $2m+1$ and
is generated by a field automorphism $\varphi$ of order $2m+1$.
For any ...

**7**

votes

**1**answer

152 views

### Structure of Deligne-Lusztig representations $R_{T,\theta}$ for ministropic $T$ and cuspidal representations

Let $G$ be a reductive group over a finite field $k$, let $F$ be a Frobenius morphism on $G$.
I'll start with a somewhat vague question and make my question more specific further down:
How do ...

**11**

votes

**1**answer

282 views

### Elementary consequences of commuting limits and colimits over groups

This is a crosspost of this MSE question.
In this n-cat cafe post, it is proven that for finite groups $G,H$ of coprime order, $G$-colimits and $H$-limits commute. Later on the following theorem is ...

**9**

votes

**5**answers

2k views

### Finite groups with elements of order n

Consider a finite group where all elements have the same order $n$.
What could be said about such groups?
For $n=2$ it could be proved that such group is isomorphic to $(\mathbb{Z}/2\mathbb{Z})^k$.
...

**3**

votes

**0**answers

133 views

### Which Dihedral Groups are $\text{CI}$-Groups?

Let $D_{n}$ denotes the dihedral group of order $2n$. Firstly, for self-referencing of the question, I give some definitions which are standard.
Let $G$ be a finite group. A subset $S$ of group $G$ ...

**2**

votes

**0**answers

65 views

### maximal elementary abelian p-subgroups of finite groups of Lie type

Let $G$ be a simple algebraic group over an algebraically closed field k of characteristic $p$. Let $G(\mathbb{F}_{p^r})$ be the corresponding finite group of Lie type. Is it true that every maximal ...