The tag has no wiki summary.

learn more… | top users | synonyms

12
votes
0answers
536 views

What can be said about Schur indices, given only the character table?

Let $\chi$ be an irreducible (complex) character of a finite group, $G$. The Schur index $m_{K}(\chi)$ of $\chi$ over the field $K$ is the smallest positive integer $m$ such that $m\chi$ is afforded ...
11
votes
3answers
579 views

Non-commutator in simple group?

Hi, For a group $G$, we say that $x\in G$ is a commutator if there exists $a,b \in G$ such that $x=a^{1}b^{-1}ab$, and we say that $x$ is a non-commutator if there is no $a,b \in G$ such that ...
11
votes
3answers
902 views

Estimate for the order of the outer automorphism group of a finite simple group

It is known (given CFSG) that all non-abelian finite simple groups have small outer automorphism groups. However, it's quite tedious to list all the possibilities. Does anyone know a reference for a ...
11
votes
4answers
720 views

Realizable Order Sequences for Finite Groups

My post is motivated at least in part by this MO question. Has there been any work done on realizable order sequences for finite groups? By an "order sequence" I mean a non-decreasing list of the ...
11
votes
3answers
562 views

Dimensions and number of complex irreducible representations for SL3(Z/pZ)

This is my first post here :) I have the following two related questions. While looking in Conway's ATLAS (the 1985 one) for $SL_3(Z/pZ)$, where he does the cases $p=2,3,5,7$, I saw that the ...
11
votes
2answers
552 views

Is this a well-known bound for the derived length of a finite group?

Let $cd(G)$ be the set of degrees of the irreducible complex characters of the finite group $G$. It is conjectured that if $G$ is solvable then $dl(G)\leq |cd(G)|$ and it is a result by Gluck that ...
11
votes
1answer
356 views

Group theory conjecture on hurwitz groups

Conjecture: Let $p$ be a prime. Then the group $G := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^9, (([a,b]^4)b)^{2p} \rangle$ has a composition series of the form ${\rm PSL}(2,8) - {\rm Z}_p - ...
11
votes
2answers
803 views

The maximum order of finite subgroups in $GL(n,Q)$

For several years people have tried to characterize finite groups of maximal order in $\mathrm{GL}(n,\mathbb{Q})$ (or $\mathrm{GL}(n,\mathbb{Z})$) and their orders. It appear in many articles a ...
11
votes
3answers
1k views

Is there a purely group-theoretic reformulation of an equivalence of subgroups?

There is an equivalence relation between inclusion of finite groups coming from the world of subfactors: Definition: $(H_{1} \subset G_{1}) \sim(H_{2} \subset G_{2})$ if $(R^{G_{1}} \subset ...
11
votes
1answer
364 views

Is every finite group a proper quotient of a finite primitive group?

Let $G$ be a finite group. Is there necessarily a finite primitive permutation group $P$ and a normal subgroup $N>1$ of $P$ such that $P/N \cong G$? If not, what restrictions are there on ...
11
votes
3answers
2k views

How many conjugacy classes of subgroups does GL(2,p) have?

How many conjugacy classes of subgroups does GL(2,p) have? For instance the dihedral group of order 2*n has τ(n) cyclic normal subgroups and σ(n) "dihedral" subgroups (as in, containing a ...
11
votes
1answer
1k views

Extension of induced reps over Z: is it a sum of induced reps?

Let $G$ be a finite group. If $L$ is a finite free $\mathbf{Z}$-module with an action of $G$, say $L$ is induced if it's isomorphic as a $G$-module to $Ind_H^G(\mathbf{Z})$ with $H$ a subgroup of $G$ ...
11
votes
1answer
481 views

Find finite groups $G\cong Aut(G)$

I become interested in this problem because $G\cong Aut(G)$ suggests a special symmetry in $G$. From $G/Z(G)\cong Inn(G)$ we know complete group is the anewer for the simplest case, though this class ...
11
votes
3answers
856 views

How to find more (finite almost simple) groups with a given Sylow subgroup

I'm looking for some examples of actions on Sylow p-groups, and often those actions appear in the case of finite almost simple groups. Given a finite almost simple group, I understand in principle ...
11
votes
1answer
401 views

On the order of finite simple groups

About the order of finite simple groups there exists a very interesting result which stated as follows: Let $G$ be an non-solvable simple group of order $g$. If $p\mid g$, where $p>g^{1\over 3}$ ...
11
votes
1answer
224 views

Crossed modules and degree-3 group cohomology

It is well known (see e.g. K. Brown, "Cohomology of groups") that a degree-3 cohomology class of a group G with coefficients in a module A can be thought of as an equivalence class of crossed modules, ...
11
votes
1answer
258 views

Finite groups with few double cosets with respect to abelian subgroup

The following question is motivated by the study of certain tensor categories, namely integral near-group categories. Let $G$ be a finite group and $H\subset G$ be a subgroup. Is it possible to give ...
11
votes
1answer
855 views

Groups with all normal subgroups characteristic

Today in my research, I had to use fairly explicitly the rather tautological property of finite cyclic groups that every normal subgroup is characteristic, i.e. fixed by all automorphisms. This got me ...
11
votes
3answers
765 views

“Antipodal” maps on regular graphs?

This question is related to Realizing the diameter of a finite regular graph Let $X=(V,E)$ be a finite, connected, regular graph of diameter $D$. Assume that, for every vertex $x\in V$, there exists ...
11
votes
1answer
688 views

Non-isomorphic two-transitive permutation groups with isomorphic point stabilizers

The permutation groups $A = PSL(2,7)$ with its natural action on the projective line $\mathbb{P}^1(\mathbb{F}_7)$ and $B = A\Gamma L(1,8)$ with its natural action on the affine line $\mathbb{F}_8$ ...
11
votes
2answers
549 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
1answer
242 views

Group cochains invariant under the action of the symmetric group

Let $G$ be a finite group and $A$ an abelian group. Recall the cochain groups $$ C^k = \{f: G^k \to A\} $$ and the coboundary map $$ \delta : C^k \to C^{k+1} $$ $$ (\delta f)(g_1, \ldots, g_{k+1}) ...
11
votes
0answers
243 views

Generating random finite groups

I would like a method to efficiently generate a random finite group of a given order $n$. If there are $g(n)$ non-isomorphic groups of order $n$, ideally each group would occur with probability ...
10
votes
3answers
904 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
4answers
720 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
3answers
1k views

Cosets and conjugacy classes

I'm interested in the following situation: $G$ is a finite group; $C$ is a conjugacy class in $G$; $H$ is the centralizer of an element $h$ of $C$. I want information on $|C\cap Hg|$ as $g$ varies ...
10
votes
3answers
577 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
448 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
253 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
938 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
855 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
557 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
3answers
809 views

Number of generators of a subgroup of a finite simple group

For a finite group $G$ we denote $d(G)$ the minimal size of a set of generators of $G$. We define $D(G) = \max( d(H) \mid H\leq G)$. Let $S$ be a finite simple group. Are there `good' bounds on ...
10
votes
4answers
686 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
486 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
746 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
432 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
344 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
870 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
514 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
4answers
433 views

Iterated semi-direct products

Let $G$ be a finite group. Suppose that we can write $G= A \rtimes B$ and also $A = C \rtimes D$. Further suppose that C is normal in $G$ (not just in $A$). Then can we write $G = C \rtimes E$ where ...
10
votes
4answers
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, ...
10
votes
1answer
446 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
229 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
6answers
552 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
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
597 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
403 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
1answer
651 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
443 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 ...