The tag has no wiki summary.

learn more… | top users | synonyms

10
votes
3answers
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
1answer
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
2answers
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
3answers
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
3answers
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
2answers
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
4answers
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
3answers
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
4answers
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
2answers
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
2answers
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
4answers
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
2answers
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
2answers
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
6answers
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
4answers
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
5answers
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
2answers
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
2answers
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
2answers
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
2answers
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
4answers
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
1answer
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
3answers
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
2answers
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
2answers
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
2answers
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
0answers
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
0answers
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
1answer
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
2answers
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
3answers
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
4answers
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
2answers
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
1answer
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
2answers
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
1answer
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 ...