# Tagged Questions

Questions on group theory which concern finite groups.

387 views

### Factorization of a finite group by two subsets

I want to write a GAP program for checking the following question. Let $G$ be a given finite group with order $n$. Is it true that for every factorization $n=ab$ there exist subsets $A$ and $B$ ...
156 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 ...
338 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 ...
388 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, ...
485 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 ...
340 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 ...
325 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 ...
1k views

### learning Deligne-Lusztig theory

Can someone give me a roadmap for learning Deligne-Lusztig theory? (Except for the original article by Deligne and Lusztig) Edit: You may assume knowledge of representation theory of finite groups (...
602 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 ...
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 ...
491 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 ...
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 ...
1k views

### How to compute all irreducible representations of a finite group ? (how GAP is doing this?)

Let us "take" a finite group G. Here "take" I mean any type of group-theoretic description you prefer: e.g. as an explicit subset of GL (or other group) or Cayley table, whatever. Question: How ...
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 ...
264 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 ...
515 views

### Which finite groups are not the automorphism group of some rooted finite tree?

The question is as given in the title: Which finite groups are not the automorphism group of some rooted finite tree? A rephrasing could be: Is any finite group representable as the automorphism ...
1k views

### Applications of fusion systems

What are the applications of theory of fusion systems to finite group theory or representation theory of finite groups? More concretely, is there any important result in finite group theory or ...
715 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 ...
742 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?
241 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 ...
532 views

### Spherical building of an exceptional group of Lie type

I've read that one of Tits' original motivations for studying buildings was that he wanted to give a unified description of algebraic groups that would allow the definition of exceptional groups such ...
606 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 p-...
327 views

### Obstruction to extension of non-abelian groups - finite example?

Let $G$ be a non-abelian group, let $\Pi$ be a group, and let $\eta: \Pi\rightarrow Out(G)$ be a homomorphism, where $Out(G)$ is the group of automorphisms of G modulo the normal subgroup of inner ...
406 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 ...
701 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 ...
124 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 ...
616 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 ...
2k views

182 views

422 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 ...
977 views

### Aut(G) = $C_3$, G = ?

Is there a group G such that Aut(G) = $C_3$? What if we replace 3 with a prime number p?
386 views

### Sums of degrees of irreducible complex characters

The sum of the degrees of the irreducible complex characters (not the square sum which is the group order) is relevant to determine the dimension of a maximal torus of the Lie algebra associated to ...
1k views

### What about the classification of big finite simple groups?

How hard is it to classify all big finite simple groups, i.e., all finite simple groups larger than some sufficiently large constant? Alternatively - how hard is it to classify all finite simple ...
496 views

### Character table entries and sums of roots of unity

It is well-known that the entries of the character table of a finite group are sums of roots of unity. Question: Is the converse true? Explicitly, given $z\in \mathbb{Z}[\mu_\infty]$, can I find a ...
423 views

### Finite groups with centerless quotients

Is there a description of finite groups whose all quotients have trivial center? Is it true that only direct products of non-abelian simple groups have this property?
1k views

### What does the typical non-solvable group look like?

According to a result of Higman and Sims (which I learned about in this paper of Poonen's) the typical p-group is 3-step nilpotent of a particular form. In particular the typical group is a 3-step ...
750 views

1k views

### Which finite groups are generated by n involutions?

One of the interesting problems in abstract polytope theory is to determine, for a given finite group, when that group is the automorphism group of a regular abstract polytope. This is equivalent to ...
264 views

### Which finite p-groups occur as commutators of finite p-groups?

Let $p$ be a prime number. For which finite $p$-groups $H$ is there a finite $p$-group $G$ such that $[G,G] \cong H$?
A classical result states that all the irreducible representations of a finite group over $\mathbb{C}$ are characters if and only if $G$ is abelian. I would like to know what happens if we consider a ...
Dear All, I thought the following question might be well-known, but couldn't find anywhere, so decided to ask here: Let $A$ and $B$ be two generating sets for $S_n$, consisting of transpositions. ...