The finite-groups tag has no wiki summary.

**10**

votes

**3**answers

489 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

774 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

467 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

391 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

879 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

525 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

318 views

### A subgroup intersects conjugacy class of every prime power order element

Let $G$ be a finite group and $H$ be a subgroup of $G$. Suppose that for any prime power order element $x$ of $G$, there exists some element $g$ in $G$ such that $x^g$ is contained in $H$. Does it ...

**10**

votes

**1**answer

460 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

313 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

**6**answers

565 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

948 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

609 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

414 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

**4**answers

646 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

679 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

479 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

325 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

482 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

**1**answer

117 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

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

327 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

292 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

342 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

**1**answer

212 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}$ ...

**9**

votes

**1**answer

505 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

**2**answers

229 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

**0**answers

266 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

423 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

**2**answers

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

**8**

votes

**1**answer

271 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

321 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

**2**answers

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

**8**

votes

**4**answers

917 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

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

995 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

**2**answers

784 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

**2**answers

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

**8**

votes

**1**answer

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

**8**

votes

**1**answer

375 views

### When Cayley graphs of the symmetric group wrt generating sets of transpositions are isomorphic?

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

**8**

votes

**1**answer

354 views

### Radical of $F_p[SL(2,p)]$

Let $G=SL(2,p)$. Does anyone know what is the radical of the group algebra $F_p[G]$?
Does there exists any book/paper where it is calculated?
By radical here I mean maximal ideal I of $F_p[G]$ such ...

**8**

votes

**1**answer

211 views

### Characterization of Frobenius complements

I have learned that Frobenius complements are characterized (among finite groups) by having a fixed point free complex representation.
That is, a finite group $G$ is a Frobenius complement if and only ...

**8**

votes

**2**answers

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

**8**

votes

**2**answers

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

**8**

votes

**1**answer

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

**8**

votes

**2**answers

357 views

### Parker-like loop of order 2187?

The Parker loop has order $2^{13}$, and reducing it modulo its 'center' yields -- not just a $12$-dimensional $\mathbb{Z} /(2)$-vector space, but one which can be naturally identified with the ...

**8**

votes

**1**answer

425 views

### Groups with an automorphism of order two fixing only two elements

It is well known that a finite group admitting an automorphism of order 2 that fixes only the identity is abelian and has odd order. Moreover, the automorphism is inversion.
Is anything known about ...

**8**

votes

**1**answer

291 views

### Reference for restriction of a simple module over a splitting field to a smaller field?

This is mainly a request for a straightforward reference (preferably at textbook level). The question comes up while responding to a question raised by non-specialists in finite group ...

**8**

votes

**1**answer

443 views

### Cohomology of orthogonal and symplectic groups

Hello,
in their book Cohomology of Finite Groups Adem and Milgram investigate the cohomology of the finite orthogonal and symplectic groups only in case $\mathbb{F}_2$.
Let $p$ be a prime dividing ...

**8**

votes

**2**answers

1k views

### Number of faithful representations of a finite group

Is it known how many faithful linear representations a finite group G has on a complex vector space of given dimension? What if G is abelian?
I would even be interested in this special case: the ...