Questions on group theory which concern finite groups.

**11**

votes

**4**answers

1k views

### Mystery of the Monstrous Moonshine

There's a very famous group, the largest sporadic simple finite group, sometimes called a monster whose size is quoted below. What's the explanation that the primes appearing in it,
...

**11**

votes

**2**answers

618 views

### (weak?) BN-Pair / Tits System for Sporadic Groups

The structure of finite simple groups of Lie type of arbitrary rank can be described well via BN-pairs. BN-pairs basically generalize the Bruhat decomposition of matrices into monomial $N$ and ...

**11**

votes

**1**answer

475 views

### complexity of counting homomorphisms

This is a question I have thought about and asked a number of people, but have never got an answer beyond "It should be true that..."
Given a finitely generated group $G$ (eg. a link group ...

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

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

**10**

votes

**2**answers

812 views

### Number of isomorphism types of finite groups

Are there some good asymptotic estimations for the number $F(n)$ of non-isomorphic finite groups of size smaller than $n$?

**10**

votes

**4**answers

2k views

### Algorithm to check is representation irreducible ? Algorithm to decompose the reducible one ?

Question 1 Given a representation of a finite group, what algorithm can be used to check is it irreducible or not ?
(Main case - complex numbers, comments on other cases are also welcome. "Given" ...

**10**

votes

**3**answers

1k views

### Sylow subgroups of projective general linear groups

What is known about the Sylow 2-subgroups of $\rm{PGL}_n(\mathbb{F}_q)$, where $q$ is any prime power? For example, according to Theorem 7.9 in Isaacs's Character Theory, these Sylow 2-subgroups ...

**10**

votes

**4**answers

336 views

### The cohomology group $H^{1}(GL_{2}(\mathbb{F}_{p}), M_{2}(\mathbb{F}_{p}))$

Let $M_{2}(\mathbb{F}_{p})$ be the vector space of 2$\times$2 matrices over the finite field $\mathbb{F}_{p}$ where $p$ is a prime number, and let $GL_{2}(\mathbb{F}_{p})$ be the group of invertible ...

**10**

votes

**4**answers

773 views

### Can we bound degrees of complex irreps in terms of the average conjugacy class size?

This question arises when looking at a certain constant associated to (a certain Banach algebra built out of) a given compact group, and specializing to the case of finite groups, in order to try and ...

**10**

votes

**2**answers

291 views

### existence of a finite group which is the union of self normalizing subgroups

Can a finite group G be the union of self normalizing subgroups such that the intersection between any two of these subgroups is equal to the unit of the group G? I don't think so but I can't prove ...

**10**

votes

**3**answers

650 views

### Is the Gelfand-Graev character isomorphic to a cohomology group for some sheaf on a Deligne-Lusztig variety?

Deligne-Lusztig theory
is awesome. You take a maximal torus $T$, you take a character $\theta$, construct a variety $X_T$$^*$, take etale cohomology, get a virtual character $R_T^\theta$, maybe it's ...

**10**

votes

**1**answer

484 views

### Does every automorphism of G come from an inner automorphism of S_G?

I feel sort of silly asking this question. Unless I'm very much mistaken the paper I'm reading assumes the following statement:
Let $G$ be a finite group. We may embed it via the Cayley embedding ...

**10**

votes

**2**answers

317 views

### Which finite nonabelian groups have all their quaternionic representations of degree one?

A finite group $G$ has a finite set of irreducible representations over the complex numbers. All of these representations are linear (that is, are maps in 1x1 complex matrices) if and only if $G$ is ...

**10**

votes

**3**answers

979 views

### Can we always find such an irreducible polynomial of degree n where degree(p(x)-x^n)<= n/2?

Consider unitary polynomials of degree $n$ over $GF(2)$. That is, polynomials of the form $p(x) = \sum_{i=0}^n a_i x^i$ where $a_i\in GF(2)$ and $a_n=1$.
Can we always find such an irreducible ...

**10**

votes

**3**answers

861 views

### (A very limited instance of) Lagrange's Theorem's converse and A_5

Suppose $G$ is a finite simple group and $|G|$ is a multiple of $60$. Does it follow that $G$ has a subgroup isomorphic to $A_{5}$? If so, can this be proven without using the Classification?

**10**

votes

**3**answers

492 views

### A Perturbation problem for U(n)

Let G be a finite subgroup of U(n), the unitary group acts on $\mathbb{C}^n$. If there is a unit vector $x$ in $\mathbb{C}^n$ such that g(x) is almost orthogonal to x, for all $g\in G$ except the ...

**10**

votes

**2**answers

598 views

### Embeddings of finite groups into GL(n,Q_p)

This question is inspired by some interesting comments on this recent question.
Fix an integer $n \geq 1$ and a finite subgroup $G$ of $\mathrm{GL}_n(\mathbf{C})$. It is known that there are ...

**10**

votes

**4**answers

831 views

### Groups which satisfy Mal'cev's theorem (locally residually finite)

Recall that a group $G$ is residualy finite if for every non-zero element $g\in G$ there exists a homomorphism $\sigma:G\rightarrow H$ such that $H$ is finite and $\sigma(g)\neq 0$. Mal'cev's theorem ...

**10**

votes

**4**answers

832 views

### Efficient presentations for finite groups

A finitely presented group which has more generators than relations has an infinite abelianization and so is an infinite group. Therefore, for a finite group, all presentations must have at least as ...

**10**

votes

**2**answers

502 views

### Finite subgroups of $PGL(3,K)$

It is well-known that finite subgroups of $PGL_2(\mathbb{C})$ are cyclic groups, dihedral groups, A4, S4 and A5 and each of these groups occurs exactly once (up to conjugacy). These facts are ...

**10**

votes

**4**answers

898 views

### Diameter of universal cover

Let $M$ be Riemannian manifold and $\tilde M$ be its universal cover (with induced metric).
What is the upper bound for $k=\mathop{diam}\tilde M/\mathop{diam} M$ in terms of $m=|\pi_1(M)|$ (or ...

**10**

votes

**2**answers

573 views

### A group action of the Heisenberg group with special symmetries

Suppose we look at the Heisenberg group $H_{d}$ as a matrix group of upper triangular matrices over the ring $\mathbb{Z}/d\mathbb{Z}$. You can even choose $d$ to be prime if you want. A natural ...

**10**

votes

**2**answers

277 views

### 3-cocycle representatives for the dihedral group $D_{2n}$?

I am looking for a reference for a complete list of 3-cocycle representatives for $H^3(D_{2n},\mathbb{C}^\times)$, where
$$
D_{2n}=\langle a, b\mid a^2=b^2=(ab)^n=e\rangle
$$
is the dihedral group of ...

**10**

votes

**0**answers

269 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

356 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, ...

**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$.
...

**9**

votes

**2**answers

334 views

### Certain signed sum over $S_n$

The following question appeared in my research:
Let $G_1,G_2,G_3$ all be subgroups of $S_n$, and consider the sum
$$
\sum_{g_i \in G_i, g_1g_2g_3 = id} \epsilon(g_1)
$$
that is, we only consider ...

**9**

votes

**1**answer

307 views

### A question about representations of finite groups

Let $G$ be a finite group and let $V$ be an irreducible complex representation of $G$.
Does there exist an element $g \in G$ which acts on $V$ with distinct eigenvalues?
If true, can you provide a ...

**9**

votes

**6**answers

586 views

### Which finite nonabelian groups have long chains of subgroups as intervals in their subgroup lattice?

Given N, what is a finite non-abelian (and preferably non-solvable) group G in whose subgroup lattice Sub[G] there is an interval that is a chain of length at least N?
Since N can be arbitrarily ...

**9**

votes

**4**answers

1k views

### Textbook source for finite group properties deducible from character table?

Various questions have been posted on MO (some answered, some not) involving the character table of a finite group $G$ over a splitting field such as $\mathbb{C}$ of characteristic 0. My basic ...

**9**

votes

**5**answers

1k views

### Leech lattice decomposition

Hello,
I am investigating the Leech lattice. Lately I have discovered following. Some lattices decompose into distinct set of orthonormal frames. For example E8 lattice which contains 240 unitary ...

**9**

votes

**2**answers

470 views

### Can any finite lattice be realized as an intermediate subgroups lattice?

Let $G$ be a finite group and $H$ a subgroup.
Let $\mathcal{L}(H \subset G )$ be the lattice of all the intermediate subgroups between $H$ and $G$.
Question: Can any finite lattice be realized as ...

**9**

votes

**2**answers

627 views

### A question on the set of element orders of a finite group

Let $G$ be a finite group of order $n$ and denote by $\pi_e(G)$ the set of element orders of $G$. What can be said about $G$ if $\pi_e(G)$ forms a sublattice of the lattice of divisors of $n$?

**9**

votes

**2**answers

1k views

### Easier reference for material like Diaconis's “Group representations in probability and statistics”

I'm teaching a class on the representation theory of finite groups at the advanced undergrad level. One of the things I'd like to talk about, or possibly have a student do any independent project on ...

**9**

votes

**2**answers

441 views

### A conjecture on solvablity of finite groups

Suppose $G$ is a finite group and $A$ an abelian subgroup. Suppose for some natural number $n\geq 2$, elements of $\gamma_n(G)$ have the form $[a, x]$ where $a\in A$ and $x\in G$. Then $G$ is ...

**9**

votes

**2**answers

234 views

### Embedding $\mathrm{PGL}(n,q^h)$ in $\mathrm{PGL}(nh,q)$

It is not very hard to see that for each prime power $q$ and natural numbers $n,h$, we have an embedding
$$\iota \colon \mathrm{GL}(n,q^h) \hookrightarrow \mathrm{GL}(nh, q),$$
obtained by choosing a ...

**9**

votes

**4**answers

699 views

### The powers of non-empty subset of a group that generate a subgroup

If G is a group and A and B to non-empty subsets of G, then by AB we mean the set consist of all product ab where a is in A and b is in B.(Standard definition) Similarly we can define X^m where X is a ...

**9**

votes

**1**answer

718 views

### Finite simple groups and conjugacy classes with 2p elements

Let $p$ be an odd prime number. Can a finite simple group have a conjugacy class with $2p$ elements?

**9**

votes

**2**answers

223 views

### Linear occurrences of finite simple groups

Let $S$ be a finite simple group. All representations below are over the complex numbers.
Let
$d_0(S)$ be the smallest dimension of a faithful representation of $S$,
$d_1(S)$ be the smallest ...

**9**

votes

**3**answers

534 views

### Classification of automorphism groups of groups of order $p^4$

For the purpose of classifying another algebraic structure which is parametrised by the choice of a group and of an automorphism I need the classification up to isomorphism of automorphism groups of ...

**9**

votes

**2**answers

368 views

### Extension of the Weyl dimension formula

Let $G$ be a compact semisimple group and let $\Gamma$ be a finite subgroup of $G$. I am interested, for $(\pi,V)\in \widehat G$ (irred rep of $G$), in a formula for $\mathrm{dim} V^\Gamma$, the ...

**9**

votes

**2**answers

583 views

### Decomposition of induced representations / Refinement of Mackey's criterion

There are already some questions with almost the same title, but they are more restrictive.
Let $G$ be a finite group, $H$ a subgroup, $V$ an irreducible representation of $H$,
and $W=Ind_H^G V$ the ...

**9**

votes

**2**answers

551 views

### Regular elements in the torus of a group of Lie type

Let $G$ be a simple linear algebraic group, and $F$ a Frobenius map, i.e. some power of $F$ is the standard Frobenius map which raises matrix entries to the $q$-th power. Then $G^F$ is a group of Lie ...

**9**

votes

**1**answer

121 views

### Representations of $\text{SL}(n,\mathbb{F}_p)$ and $\text{Sp}(2n,\mathbb{F}_p)$ whose dimensions are $p^k$

I should preface this by saying that I am not a representation theorist, so I apologize if this can easily be found in standard sources (but sadly I cannot seem to extract it from any of the books I ...

**9**

votes

**2**answers

977 views

### Generalization of a theorem of Øystein Ore in group theory

Theorem (Øystein Ore, 1938): A finite group $G$ is cyclic iff its lattice of subgroups $\mathcal{L}(G)$ is distributive.
Proof: see below.
Let $(H \subset G)$ be an inclusion of finite groups and ...

**9**

votes

**1**answer

541 views

### An extension of the converse to Hall's theorem.

This is an extension of this MSE question, in which I asked whether there was a counterexample to the following statement,
Conjecture. If a finite group $G$ contains a $\lbrace p,q \rbrace$-Hall ...

**9**

votes

**2**answers

1k views

### Orders of automorphism groups of p-groups

There is a theorem that says that if $p$ is a prime and $G$ is a $p$-group with $|G| = p^{n}$, $|Aut(G)|$ divides $\Pi_{k=0}^{n-1} (p^{n}-p^{k})$.
This theorem is sharp, since $\Pi_{k=0}^{n-1} ...

**9**

votes

**1**answer

342 views

### Do subgroups have “two sided bases”?

Let $H\leq G$ be an inclusion of finite groups. Define a map $E\colon \mathbb{C}[G]\to \mathbb{C}[H]$ to be the $\mathbb{C}$-linear extension of
$$
E(g)=\begin{cases}
g &\text{if } g\in H\\\
0 ...

**9**

votes

**1**answer

297 views

### A Realization Problem for Character Tables

Given an $n\times n$ table of complex numbers, are there known sufficient conditions for the table to be the character table of a finite group? Representation theory gives plenty of necessary ...