# Questions tagged [finite-groups]

Questions on group theory which concern finite groups.

**55**

votes

**0**answers

3k views

### Normalizers in symmetric groups

Question: Let $G$ be a finite group. Is it true that there is a subgroup $U$ inside some symmetric group $S_n$, such that $N(U)/U$ is isomorphic to $G$? Here $N(U)$ is the normalizer of $U$ in $S_n$.
...

**44**

votes

**0**answers

767 views

### Class function counting solutions of equation in finite group: when is it a virtual character?

Let $w=w(x_1,\dots,x_n)$ be a word in a free group of rank $n$. Let $G$ be a finite group. Then we may define a class function $f=f_w$ of $G$ by
$$ f_w(g) = |\{ (x_1,\dots, x_n)\in G^n\mid w(x_1,\dots,...

**32**

votes

**0**answers

563 views

### Are there infinite versions of sporadic groups?

The classification of finite simple groups states roughly that every non-abelian finite simple group is either alternating, a group of Lie type, or a sporadic group.
For each of the groups of Lie ...

**30**

votes

**0**answers

770 views

### Is there a Mathieu groupoid M_31?

I have read something which said that the large amount of common structure between the simple groups $SL(3,3)$ and $M_{11}$ indicated to Conway the possibility that the Mathieu groupoid $M_{13}$ might ...

**26**

votes

**0**answers

899 views

### Next steps on formal proof of classification of finite simple groups

While people are steaming ahead on finessing the proof of the classification of finite simple groups (CFSG), we have a formal proof in Coq of one of the first major components: the Feit-Thompson odd-...

**25**

votes

**0**answers

513 views

### Mathieu group $M_{23}$ as an algebraic group via additive polynomials

An elegant description of the Mathieu group $M_{23}$ is the following: Let $C$ be the multiplicative subgroup of order $23$ in the field $F=\mathbb F_{2^{11}}$ with $2^{11}$ elements. Then $M_{23}$ is ...

**22**

votes

**0**answers

327 views

### Guess that group via product queries

Suppose someone (person B) knows a finite group $G$ of order $n$.
You (person A) know only the order $n$,
and that $1$ is the name of the identity element.
The group elements are named $1,2,\ldots,n$ ...

**21**

votes

**0**answers

899 views

### Given a lattice L with n elements, are there finite groups H < G such that L $\cong$ the lattice of subgroups between H and G?

If there is no restriction on $n$, this is a famous open problem. I'm wondering if any recent work has been done for small $n>6$. I believe the question is answered (positively) for $n=6$ by ...

**20**

votes

**0**answers

505 views

### Density of first-order definable sets in a directed union of finite groups

This is a generalization of the following question by John Wiltshire-Gordon.
Consider an inductive family of finite groups:
$$
G_0 \hookrightarrow G_1 \hookrightarrow \ldots \hookrightarrow G_i \...

**18**

votes

**0**answers

484 views

### Is every $p$-group the $\mathbb{F}_p$-points of a unipotent group

Let $\Gamma$ be a finite group of order $p^n$. Is there necessarily a unipotent algebraic group $G$ of dimension $n$, defined over $\mathbb{F}_p$, with $\Gamma \cong G(\mathbb{F}_p)$?
I have no real ...

**18**

votes

**0**answers

439 views

### Applications of the surjectivity of Brauer's decomposition map over arbitrary fields?

Recently I've been going over some of Serre's reformulation of Brauer theory with a student, following the influential treatment in Part III of Serre's lectures (revised 1971 French edition) later ...

**17**

votes

**0**answers

1k views

### $G$ a group, with $p$ a prime number, and $|G|=2^p-1$, is it abelian?

During my research I came across this question, I proposed it in the chat, but nobody could find a counterexample, so I allow myself to ask you :
$G$ a group, with $p$ a prime number, and $|G|=2^p-1$...

**17**

votes

**0**answers

667 views

### McKay conjecture for finite groups in the simplest case G=GL(2,F_p) ( puzzle: Borel knows about cuspidals)

The McKay conjecture and related (Alperin, Issacs-Navarro) are one of the "main problems in the representation theory of finite groups" (G.Navarro pdf).
Statement of the McKay conjecture is quite ...

**17**

votes

**0**answers

718 views

### What's the big deal about $M_{13}$?

$M_{13}$ is the Mathieu groupoid defined by Conway in
Conway, J. H. $M_{13}$. Surveys in combinatorics, 1997 (London), 1–11,
London Math. Soc. Lecture Note Ser., 241, Cambridge Univ. Press, ...

**17**

votes

**0**answers

927 views

### What can be said about Schur indices, given only the character table?

Let $\chi$ be an irreducible (complex) character of a finite group, $G$. The Schur index $m_{K}(\chi)$ of $\chi$ over the field $K$ is the smallest positive integer $m$ such that $m\chi$ is afforded ...

**16**

votes

**0**answers

522 views

### Monstrous Langlands-McKay or what is bijection between conjugacy classes and irreducible representation for sporadic simple groups?

Context: The number of conjugacy classes equals to the number of irreducuble representations (over C) for any finite group. Moreover for the symmetric group and some other groups there is "good ...

**16**

votes

**0**answers

382 views

### Maximum automorphism group for a 3-connected cubic graph

The following arose as a side issue in a project on graph reconstruction.
Problem: Let $a(n)$ be the greatest order of the automorphism group of a 3-connected cubic graph with $n$ vertices. Find a ...

**15**

votes

**0**answers

366 views

### Is every normal subgroup of $SL_2(\mathbb{Z}/n)$ also normal inside $GL_2(\mathbb{Z}/n)$?

Is every normal subgroup of $SL_2(\mathbb{Z}/n)$ also normal inside $GL_2(\mathbb{Z}/n)$?
Of course, it suffices to ask the question when $n = p^m$ a prime power. In Classification of the Normal ...

**15**

votes

**0**answers

783 views

### How much has been written down about Deligne's geometric approach to the order formula for a finite group of Lie type?

This is a follow-up to a recent mathoverflow question
34387
about computing the orders of finite unitary groups and the comments made there.
Between 1955 (Chevalley's Tohoku paper) and 1968 (...

**14**

votes

**0**answers

614 views

### Algebra for the Baby

I am reading the following article.
Ryba, Alexander J.E., A natural invariant algebra for the Baby Monster group., J. Group Theory 10, No. 1, 55-69 (2007). ZBL1228.20012..
Author works with 4370-...

**14**

votes

**0**answers

299 views

### What is the mathematical name for the anomaly for an action of a group on a lattice conformal field theory?

Suppose $V$ is a (bosonic) chiral conformal field theory which is "holomorphic" in the sense that its category of vertex modules is trivial. (The definition of "chiral conformal field theory" might be ...

**13**

votes

**0**answers

319 views

### A hard Lefschetz theorem for nilCoxeter algebras

Let $W$ be a finite Coxeter group and $\mathcal{N}(W)$ its nilCoxeter
algebra (over the reals, say), as defined at
https://en.wikipedia.org/wiki/Nil-Coxeter_algebra. $\mathcal{N}(W)$ has
a natural ...

**13**

votes

**0**answers

720 views

### How many sporadic simple groups are there, really?

I attended a talk by John Conway recently where he explained to us that the usual number, 26, was wrong, that there are in fact 27 sporadic simple groups. His reason was that the Tits group, which is ...

**12**

votes

**0**answers

175 views

### Non-Boolean Eulerian interval of finite groups

An Eulerian subgroup lattice is Boolean (see here), so it is natural to wonder whether it is also true for an interval of finite groups. The smallest non-Boolean Eulerian lattice is the following:
It ...

**12**

votes

**0**answers

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

**11**

votes

**0**answers

253 views

### Is the norm element characteristic in modular group rings?

Let $G$ be a finite $p$- group and let $\varphi$ be an automorphism of $\mathbb{F}_pG$ as $\mathbb{F}_p$-algebras and let $n = \sum_{g\in G} g$ be the norm element. Does it follow that $\varphi(n)=n$?
...

**11**

votes

**0**answers

391 views

### Bijection between conjugacy classes and irreducible representation of Weyl group = Langlands correspondence over “field with one element”

Context: The number of conjugacy classes equals to the number of irreducuble representations (over C) for any finite group.
Moreover for the symmetric group there is well-known "natural bijection" ...

**11**

votes

**0**answers

148 views

### Quantitative form of Wielandt's theorem

The following theorem was proved in [Helmut Wielandt. Eine Verallgemeinerung der invarianten Untergruppen. Mathematische Zeitschrift 45 (1939): 209-244.] a long time ago:
Theorem: (Wielandt) There ...

**11**

votes

**0**answers

366 views

### Finite groups inside an infinite group with the same homology

Suppose we have a triple of groups $G,H,K$ verifying the follwing conditions
$G$ and $H$ are finite groups and $K$ an infinite group.
there exists two monomorphisms $G\rightarrow K\leftarrow H$ ...

**11**

votes

**0**answers

788 views

### Cyclic Sylow $p$-subgroup in finite simple groups

I came accross a beautiful and "simple" (no pun intended) theorem, mentioned here in slide 14 by Jack Schmidt.
All finite simple groups have a cyclic
Sylow $p$-subgroup for some $p$
I found ...

**10**

votes

**0**answers

208 views

### $K$-theory spectrum of the category of finite groups

(I asked some people this question in person and got the answer "no", but wanted to see if the Internet had more to say)$
\newcommand{\FinGrp}{\mathbf{FinGrp}}
$
Way back in my first group theory ...

**10**

votes

**0**answers

532 views

### Solving a set of equations in a finite symmetric group

A standard way to find solutions to a finite set of equations in a finite symmetric group
${\rm S}_n$ is to take the equations as relators of a finitely presented group, to use
the low index subgroups ...

**10**

votes

**0**answers

527 views

### $2$-group with two isomorphic normal subgroups of index $4$ with non-isomorphic quotients

Hypothesis: Let $P$ be a finite $2$-group with two isomorphic normal subgroups $M$ and $N$ such that $P/M\cong C_4$ (the cyclic group of order $4$) while $P/N\cong C_2^2$. By the lattice theorem, ...

**10**

votes

**0**answers

712 views

### Non split extension isomorphic (as a group) to a split extension

$\def\Z{\mathbb{Z}}$
Let $A$ be a finite abelian group and $G$ a finite group acting on $A$.
Then the extension $0 \to A \to E \to G \to 1$ is splits if and only if the corresponding $2$-cocycle is ...

**9**

votes

**0**answers

135 views

### When is the rank 2 free metabelian group of exponent $n$ center free?

Let $M_n$ be the rank 2 free metabelian group of exponent $n$. For which $n$ is $M_n$ center-free?
The abelianization $M_n^{ab}\cong C_n\times C_n$, so the commutator subgroup $M_n'$ is a cyclic $(\...

**9**

votes

**0**answers

193 views

### Detecting a module for the free group algebra on a finite quotient

Let $F_2$ be the free group on two generators $x,y$ and let $R$ be the group algebra $\mathbf{Q}[F_2]$. Let $a,b,c$ be integers. Then define a right $R$-module
$M = R / (ax + by + c) R$.
I am ...

**9**

votes

**0**answers

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

**8**

votes

**0**answers

97 views

### Permutation groups with diameter $O(n \log n)$

I suspect that many permutation puzzles can be solved in $O(n \log n)$ moves, which has led me to the following question/conjecture:
Suppose that
1. $P_i$ for $i<k=O(1)$ are permutations on an $n$ ...

**8**

votes

**0**answers

244 views

### What classifies involutive automorphisms on finite groups? What classifies involutions on finite based rings?

Groups
Let $G$ be a finite group. An involutive automorphism on $G$ is an automorphism $i\colon G \to G$ such that $i^2 = 1_G$.
Question 1. What classifies involutive automorphisms on a given (non-...

**8**

votes

**0**answers

61 views

### Is recognizing if a Latin square is isotopic to its transpose more efficient than computing its symmetry group?

Ihrig and Ihrig (2007) described a mathematical method for determining if a Latin square is isotopic to its transpose (where isotopic Latin squares vary by permuting the rows, columns and symbols). ...

**8**

votes

**0**answers

383 views

### A relation between intersection and product on boolean interval of finite groups

Let $[H,G]$ be a boolean interval of finite groups (i.e. the lattice of intermediate subgroups $H \subseteq K \subseteq G$, is boolean). For any element $K \in [H,G]$, let $K^c$ be its lattice ...

**8**

votes

**0**answers

401 views

### Approximating Lie groups by finite groups

How can one approximate compact Lie groups by finite groups?
My wish is something like this:
Let $G$ be a compact Lie group.
There is a sequence of nested finite subgroups $G_n$ so that $G_n\to G$...

**8**

votes

**0**answers

269 views

### A strong sum-product “for translates” in finite fields

In the course of some recent research, I've sketched out a proof of the following result. My basis question is: is the result interesting?
Proposition There exists an absolute constant $c$ such ...

**8**

votes

**0**answers

333 views

### Connection between two theorems on character values?

In a recent arXiv preprint here, Dipendra Prasad has revisited a 1976 theorem of Kostant (Theorem 2 in the paper On Macdonald's $\eta$-function formula, the Laplacian and generalized exponents, ...

**8**

votes

**0**answers

518 views

### Outer group automorphisms preserving conjugacy classes of pairs of commuting elements

The following problem appears in the study of braided autoequivalences of representation categories of Drinfeld doubles of finite groups.
Let $G$ be a finite group. An outer automorphism $\alpha$ of ...

**8**

votes

**0**answers

314 views

### Why would dim primitive irrep divide size of some conjugacy class ?

From Isaacs et.al. 2005
Conjecture C. Let χ be a primitive
irreducible character of an arbitrary
ﬁnite group G. Then χ(1) divides |
clG(g)| for some element g ∈ G.
Here, of course, we ...

**7**

votes

**0**answers

156 views

### Cyclic and prime factorizations of finite groups

A tuple $(A_1,\dots,A_n)$ of subsets of a finite group $G$ is called a factorization of $G$ if $G=A_1\cdots A_n$ and $|A_1|\cdots|A_n|=G$.
In Cryptology factorizations of groups are known as ...

**7**

votes

**0**answers

176 views

### Number of elementary abelian subgroups of extraspecial $2$-groups

Let $G$ be an extraspecial $2$-group, i.e. $Z(G)=G'=\Phi(G)$ has order $2$. Then $|G|=2^{2n+1}$ for some $n\geq 1$, $G\cong D_8^{*n}$ or $G\cong Q_8*D_8^{*(n-1)}$, and $G$ has one of the following ...

**7**

votes

**0**answers

214 views

### Integral representations of finite groups and lattice point geometry

This contains both a reference request, and a specific problem.
Let $K$ be a finite group, and let $\theta: K \to {\rm GL}(d,{\bf Z})$ be a (faithful) group representation over the integers. Consider ...

**7**

votes

**0**answers

113 views

### Small modules over finite group with large cohomology

Looking at this Example of group cohomology not annihilated by exponent of $G$? I stumbled upon one question I couldn't solve (probably because it's hard), so I post it here.
Using Lyndon resolvent, ...