The finite-groups tag has no wiki summary.

**13**

votes

**4**answers

2k views

### determinant of the table of characters

I am certain that the answer to this question exists somewhere. It might be a classical exercise.
Let $G$ be a finite group. Its table of characters is a square matrix, whose rows are indexed by the ...

**13**

votes

**3**answers

916 views

### Restriction from $GL_n$ to $S_n$

Let $V$ be the irreducible representation of $GL_n$ with highest $\lambda$, and $|\lambda|=n$. It is well known that the representation of $S_n$ on the $(1,1,\ldots,1)$ weight space is the Specht ...

**13**

votes

**1**answer

426 views

### Why is Klein's representation of $PSL_2(\mathbb{F}_7)$ hard to obtain?

In his famous article [1] Klein constructs a representation of $G=PSL_2(\mathbb{F}_7)$ in $\mathbb{C}^3$ (of which the first invariant polynomial of three variables gives rise to the famous Klein's ...

**13**

votes

**1**answer

415 views

### Does O'Nan-Scott depend on CFSG?

My question is in the title. Some context: there are two versions of the O'Nan-Scott theorem. The first, weaker version, is due to O'Nan and Scott (independently) and gives the structure of the ...

**13**

votes

**2**answers

570 views

### The prime divisors of a simple group

Let $G$ be a finite simple group such that $\pi (G)=\pi (A_{n})$, where $n\geq 23$ ($\pi (G)$ is the set of prime divisors of the order of $G$). Is it true that $G$ is isomorphic to an alternating ...

**13**

votes

**1**answer

470 views

### Enumeration of $0-1$ matrices with determinant $1$

Has the number $f(n)$ of $n \times n$, $0{-}1$ matrices whose determinant is $+1$
been enumerated?
E.g., for $n{=}2$, there are $f(2)=3$ such matrices:
$$
\left(
\begin{array}{cc}
1 & 0 \\
0 ...

**13**

votes

**0**answers

569 views

### How much has been written down about Deligne's geometric approach to the order formula for a finite group of Lie type?

This is a follow-up to a recent mathoverflow question
34387
about computing the orders of finite unitary groups and the comments made there.
Between 1955 (Chevalley's Tohoku paper) and 1968 ...

**12**

votes

**4**answers

1k views

### Finite subgroups of $PGL_2(K)$ in characteristic $p$

Let $K$ be a field of characteristic $p$. What are the finite subgroups of $PGL_2(K)$ whose orders are divisible by $p$? And if $G$ and $H$ are two such subgroups that are isomorphic, can one say when ...

**12**

votes

**4**answers

1k views

### Finite groups in which every character has real values: grading the representations

Let $G$ be a finite group. Then the irreducible complex representations of $G$ come in three sorts: real, complex and symplectic=quaternionic. The type of an irreducible character $\chi$ can be read ...

**12**

votes

**5**answers

1k views

### What is the Hilbert class field of a cyclotomic field?

In the answers to Qiaochu's post on defining representations of finite groups over the algebraic integers, it came out that which fields a representation of a finite group is defined over might depend ...

**12**

votes

**3**answers

2k views

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

How many conjugacy classes of subgroups does $\mathrm{GL}(2,p)$ have?
For instance the dihedral group of order $2n$ has $\tau(n)$ cyclic normal subgroups and $\sigma(n)$ "dihedral" subgroups (as ...

**12**

votes

**2**answers

667 views

### Wedderburn's theorem for $\mathbb{Q}G$

Let $G$ be a finite group and let $\mathbb{Q}G=M_{n_1}(D_1)\times\cdots\times M_{n_k}(D_k)$ be the decomposition of $\mathbb{Q}G$ as a product of rings of matrices over divisions rings. Let $Z_i$ be ...

**12**

votes

**1**answer

257 views

### Largest subset of $GL_n(p)$ in which pairwise subtraction is also in $GL_n(p)$

Suppose $X\subset \mathrm{GL}_n(p)$ is a set of invertible matrices such that for every $A,B\in X$ then also $A-B\in \mathrm{GL}_n(p)\cup \{0\}$. (If anyone knows a name for such sets I would be ...

**12**

votes

**1**answer

719 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$ (This kind of group describes its own symmetry).
From $G/Z(G)\cong Inn(G)$ we know complete group is the ...

**12**

votes

**1**answer

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

**12**

votes

**2**answers

637 views

### Is the following map from Z(G) x H^3(G, C*) --> H^2(G, C*) ever nontrivial?

Suppose that G is a finite group, then we have the following map f which takes an element z in the center of G and a 3-cohomology class w and returns a 2-cohomology class f(z,w) (for concreteness ...

**12**

votes

**0**answers

610 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

**3**answers

647 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

**3**answers

1k 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

**4**answers

748 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

**3**answers

635 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

**5**answers

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

**11**

votes

**2**answers

566 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

**2**answers

835 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

**1**answer

405 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

**3**answers

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

**3**answers

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

**11**

votes

**1**answer

387 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

**1**answer

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

**4**answers

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

**11**

votes

**3**answers

882 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

**1**answer

448 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

**1**answer

268 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

**1**answer

898 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

**1**answer

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

**11**

votes

**3**answers

805 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

**1**answer

304 views

### What are smallest finite images of triangle groups?

Given integers $a, b, c$ all at least 2, I would like to identify the smallest group with an element $x$ of order $a$, element $y$ of order $b$ such that the product $yx$ has order $c$. For example, ...

**11**

votes

**1**answer

711 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

**4**answers

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

**11**

votes

**2**answers

595 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

**1**answer

267 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

**0**answers

214 views

### Elements of order 3 normalizing no non-identity 2-subgroups in Almost Simple Groups

This question is partly motivated by a situation which arises in modular representation theory. A finite group $G$ is said to be almost simple if $G$ has a unique minimal normal subgroup which is a ...

**11**

votes

**0**answers

301 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

**2**answers

736 views

### Number of isomorphism types of finite groups

Are there some good asymptotic estimations for the number $F(n)$ of non-isomorphic finite groups of size smaller than $n$?

**10**

votes

**4**answers

2k views

### Algorithm to check is representation irreducible ? Algorithm to decompose the reducible one ?

Question 1 Given a representation of a finite group, what algorithm can be used to check is it irreducible or not ?
(Main case - complex numbers, comments on other cases are also welcome. "Given" ...

**10**

votes

**3**answers

1k 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

**4**answers

2k views

### Reference for this theorem in representation theory?

Let $G$ be a finite group and $\chi$ be an irreducible character of
$G$ (characteristic zero algebraically closed base field). If $H$ is
the kernel of $\chi$ then the irreducible representations of ...

**10**

votes

**4**answers

328 views

### The cohomology group $H^{1}(GL_{2}(\mathbb{F}_{p}), M_{2}(\mathbb{F}_{p}))$

Let $M_{2}(\mathbb{F}_{p})$ be the vector space of 2$\times$2 matrices over the finite field $\mathbb{F}_{p}$ where $p$ is a prime number, and let $GL_{2}(\mathbb{F}_{p})$ be the group of invertible ...

**10**

votes

**4**answers

757 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

**2**answers

282 views

### existence of a finite group which is the union of self normalizing subgroups

Can a finite group G be the union of self normalizing subgroups such that the intersection between any two of these subgroups is equal to the unit of the group G? I don't think so but I can't prove ...