The finite-groups tag has no wiki summary.

**10**

votes

**3**answers

622 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

470 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

291 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

969 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

859 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

**2**answers

581 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

777 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

**3**answers

490 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

**4**answers

786 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

479 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

**2**answers

462 views

### Convenient reference for subgroups of a finite semidirect product?

Given a finite group $G= H \ltimes N$ (with no particular constraints on $H, N$), it's probably been known for a long time how to describe efficiently the possible subgroups of $G$. A graduate ...

**10**

votes

**4**answers

885 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

550 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

**1**answer

249 views

### Variety of nilpotent Lie algebras or $p$-groups

Here's a couple of analogous questions, one in terms of finite-dimensional complex Lie algebras and one in terms of finite $p$-groups; I'd be interested in an answer to either:
1) Let $\mathcal{L}$ ...

**10**

votes

**1**answer

336 views

### Origin of group theory problem (bound on number of Sylow subgroups)

This problem (prove that the number of Sylow subgroups of a finite group $G$ is bounded by $\frac{2}{3}|G|$) posted on MSE proved rather difficult to solve. The OP has been silent about where the ...

**10**

votes

**1**answer

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

**10**

votes

**0**answers

235 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

342 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

**2**answers

331 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

**6**answers

574 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

992 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

460 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

617 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

433 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

222 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

668 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

696 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

**3**answers

499 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

345 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

527 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

523 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

118 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

**1**answer

529 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

335 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

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

**9**

votes

**1**answer

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

**9**

votes

**2**answers

244 views

### Vertex-primitive graphs with two vertices having almost the same neighbourhood

Hypothesis: Let $\Gamma$ be a vertex-primitive graph with two vertices $u$ and $v$ such that $$|N(u) \cap N(v)|=|N(v)|-1$$
Question: Is it true that $\Gamma$ must either be a complete graph or have ...

**9**

votes

**1**answer

517 views

### Periodic Automorphism Towers

In Scott's classic textbook on Group Theory, he asks:
Suppose that $G$ is a finite group. Is the sequence of isomorphism types
of the groups $Aut^{(n)}(G)$ for $n \in \mathbb{N}$ eventually periodic?
...

**9**

votes

**0**answers

295 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

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

**8**

votes

**1**answer

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

**8**

votes

**2**answers

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

**8**

votes

**3**answers

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

**8**

votes

**4**answers

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

**8**

votes

**2**answers

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

**8**

votes

**1**answer

1k views

### Incompressible surfaces in an open subset of R^3

Let $U$ be a connected open subset of $\mathbb R^3$. Furthermore, we have:
$\mathbb R^3\setminus U$ has exactly two connected components (thus by Alexander duality, $H_2(U;\mathbb Z)=\mathbb Z$).
...

**8**

votes

**2**answers

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

**8**

votes

**1**answer

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