The finite-groups tag has no usage guidance.

**0**

votes

**0**answers

51 views

### Davenport constant of class group

Denote $\mathsf{C(\Delta)}$ where $\mathsf{\Delta=b^2-4ac<0}$ with $\mathsf{gcd(a,b,c)=1}$ be class group of all equivalence classes of integral quadratic forms with discriminant $\mathsf{\Delta}$. ...

**0**

votes

**0**answers

128 views

### A finite group with O_{p}(G)=1

Let $G$ be a finite group of order $p(p^2-1)/2$, where $p$ is prime number. If $O_{p}(G)=1$, then what is the number of Sylow $p$-subgroups G?

**3**

votes

**0**answers

79 views

### Generalized identities of (soluble) groups

Let $G$ be a group. Let us say that $G$ satisfies a generalized identity of degree $n$ if there exist $a_1,a_2,\dots a_n \in G$ such that
$$x^{a_1}x^{a_2}\dots x^{a_n}=1,$$
for all $x\in G$.
...

**6**

votes

**0**answers

94 views

### Rings that are $K_0$ of finite groups

Is there a simple characterisation of all rings which appear as $K_0$ of finite groups? By $K_0$ of a finite group $G$ I mean $K_0(\mathbb C[G])$ which in the same as a ring of virtual characters of ...

**26**

votes

**2**answers

1k views

### How much of the ATLAS of finite groups is independently checked and/or computer verified?

In a recent talk Serre made some comments about proofs that rely on the classification of finite simple groups (CFSG) and on the ATLAS of Finite Groups. Namely, he said that a proof that relied on the ...

**6**

votes

**1**answer

228 views

### A constant associated to the character table of a finite group

Following on from some of myprevious MO questions on finite group theory...
$\newcommand{\Irr}{\operatorname{Irr}}\newcommand{\Conj}{\operatorname{Conj}}\newcommand{\AMZL}{{\rm AM}_{\rm Z}}$
Let $G$ ...

**2**

votes

**1**answer

176 views

### Finite sequences which happen to be the sequence of orders of elements of a simple group

Let $n\in \Bbb N$. Any finite group $G$ with $|G|=n$ has a solution for the Diophantine equation
$$\sum_{d|n}x_d\phi(d)=n~~~~~~~~~~~~~~~~~~~~~~~(1)$$
where $\phi$ is the Euler's totient function, $d$ ...

**0**

votes

**0**answers

46 views

### Equivalence classes of pairs linear transformations

Consider the set of 4-tuples:
$$S_{(x, y), k} = \{ (a_i, b_i, a_j, b_j) : \|a_ixb_i - a_jyb_j\|_F^2 = k \}$$
for $a \in GL(m, \mathbb{R})$, $b \in GL(n, \mathbb{R})$, $x, y \in \mathbb{R}^{m \times ...

**8**

votes

**1**answer

316 views

### Three involutions on the set of 6-box Young diagrams

The set of $n$-box Young diagrams classifies both conjugacy classes in $S_n$ and equivalence classes of irreducible representations of $S_n$. There is an outer automorphism of $S_6$, of order 2. ...

**1**

vote

**0**answers

99 views

### Discrete group action on the sphere

Let $f$ be a continuous function on $S^3$ and let $\xi^{\perp}=\{x\in S^3:\,x\cdot\xi=0\}$
be a two-dimensional equator of $S^3$ orthogonal to the direction $\xi\in S^3$ (here $x\cdot\xi$ stands for a ...

**3**

votes

**1**answer

123 views

### Center of an irreducible representation over $\mathbb{Q}$

Let $G$ be a finite group, $\rho\colon G \rightarrow \mathrm{GL}_n(\mathbb{Q})$ its irreducible representation, and $D$ the division algebra of $G$-endomorphisms of $\mathbb{Q}^n$. The division ...

**0**

votes

**0**answers

47 views

### What is the size of the automorphism group of an abstract polytope with Schläfli symbol $\{p,q\}$?

Let $\Gamma_{p,q}$ be the automorphism group of the aforementioned abstract polytope. What is the size of this group?

**3**

votes

**1**answer

85 views

### Classification of finite abelian hypergroups and table algebras

Update: Originally, I formulated this question for finite abelian hypergroups, but in a discussion with Geoff Robinson below I realized that the abelian hypergroups defined below are equivalent to ...

**-2**

votes

**1**answer

70 views

### On Sylow subgroup of a finite group [closed]

Let $p\mid n$, then by $n_p$ we mean the $p$-part of $n$, i.e. $n_p = p^k$ if $p^k\mid n$ but $p^{k+1}\nmid n$. Let $G$ be a finite group, $M\leq G$ and $P\in Syl_p(G)$. Is It true that $|M\cap ...

**0**

votes

**1**answer

214 views

### Classification of finite group schemes over a field

What is known about the classification of finite group schemes over a field? By a finite group scheme I mean $Spec A$ where $A$ is a finite-dimensional algebra over a field.
Is there a full ...

**1**

vote

**1**answer

71 views

### Isotropic subspaces in a symplectic vectorspace over $GF(q)$

Let $V$ be a symplectic vectorspace of dimension $2n$, and $r\mid n$. Is this statement true?"There is an isotropic spread of $r$ dimensional subspaces in $V$". By an isotropis subspace I mean a ...

**6**

votes

**2**answers

329 views

### How simple does a $\mathbb{Q}$-simple group remain after base change to $\mathbb{Q}_{\ell}$?

Of course the general answer to the question in the title is: not very simple.
I could not think of a better title, so let me explain my question in more detail.
I have a number field $E/\mathbb{Q}$, ...

**2**

votes

**4**answers

160 views

### Are the orders of the generators of a group and the product of pairs of thereof enough for this group to be isomorphic to a Coxeter group?

Let's say we have $n$ generators $x_1, x_2, \cdots, x_n$ along with the following facts concerning their orders:
\begin{eqnarray*}
ord(x_i) &=& 2 \text{ for } i = 1, 2, \cdots, n \\
ord(x_i ...

**0**

votes

**0**answers

72 views

### When is a group generated by three involutions two of which commute a Coxeter group?

Let's say the group is generated by three involutions $a$, $b$, and $c$ such that $ord(ab)= 2$, $ord(bc)=3$, and $ord(ac)=m$. Under which conditions is it isomorphic to the rank 3 Coxeter group $(2, ...

**1**

vote

**1**answer

82 views

### embedding of finite groups into product

Our situation is following. Assume that we have free product $\star_{i<n} G_i$ each $G_i$ finite group and assume that we have normal subgroup $K$ such that composition of canonical embedding and ...

**2**

votes

**1**answer

186 views

### Finite quotients of an infinite product of finite groups

Let $G$ be a finite group.
Consider the direct product $\Gamma=\prod_{i=1}^{\infty}G$ of (countably) infinitely many copies of $G$. For every finite set of numbers $\{i_1,\ldots,i_n\}$ we have the ...

**4**

votes

**0**answers

104 views

### Non averaging sequences in finite groups

Let us say that a non averaging sequence in a group $G$ is a sequence $x_1, \dots, x_n$ such that
$$x_i^2 \neq x_j x_k$$
for any indices $i, j, k$ such that two at least are distinct. My question is: ...

**2**

votes

**1**answer

108 views

### What is a good program for matrix groups computations?

I need a computer program, to help me with some very basic group computations.
Specifically, I want to know if some group generated by a few small matrices over a finite field is solvable.
Is there a ...

**0**

votes

**0**answers

50 views

### Commutator subgroup of rotational symmetries of the hypercube

I would like to know which is the commutator subgroup of the group of rotational isometries of the $n$-dimensional cube. The group i am talking about is the subgroup of $\{ \pm 1 \} \wr S_n$ ...

**1**

vote

**0**answers

102 views

### Classification of Automorphism set of a Regular graph

Let $A$ be the adjacency matrix of an $r$-regular graph $G$ with $n$ vertices (Not complete or cycle graph) . Also, let $Aut(G)$ be the set of all its automorphisms (i.e. set of permutation ...

**3**

votes

**1**answer

135 views

### Index of agemo subgroups in $p$-groups

Having a finite $p$-group $G$ ($p$ odd). we denote by $\Omega_1(G)$ the subgroup generated by all the elements of $G$ of order dividing $p$.
Is there an example of such a group $G$, such that ...

**5**

votes

**2**answers

348 views

### What is the permutation group generated by those three given morphisms of the affine space $\mathbb{F}_q^3$?

Let $\mathbb{A}^3 = \mathbb{F}_q^3$. Consider the following three functions $\mathbb{A}^3\to\mathbb{A}^3$:
\begin{eqnarray*}
h: (x, y, z) &\mapsto& (x, y, xy - z) \\
u: (x, y, z) ...

**1**

vote

**1**answer

170 views

### Generalization of a theorem of Steinberg

Steinberg has a beautiful theorem counting $F$-stable maximal tori in a reductive group. Here's the version of the result that you can find as Theorem 3.4.1 of Carter's Finite groups of Lie type:
...

**8**

votes

**1**answer

498 views

### Which finite groups have no irreducible representations other than characters?

A classical result states that all the irreducible representations of a finite group over $\mathbb{C}$ are characters if and only if $G$ is abelian. I would like to know what happens if we consider a ...

**5**

votes

**1**answer

275 views

### In general, are 'Young symmetrisers' given by Littlewood-Richardson 'Orthogonal projection Operators'?

Consider $V^{\otimes n}$ where $V$ is vector space and the representation of GL(V) acting in the usual way. Now if I consider tensor products or plethysms of irreducible spaces, this is not in general ...

**1**

vote

**1**answer

115 views

### Involutive automorphisms of a finite abelian p-group

First, let $A$ be a finitely generated free abelian group, and $s$ an automorphism of order $2$ of $A$. Set $G=\{1,s\}$. Then we know that $A$ is a sum of indecomposable $G$-lattices $A_i$, where ...

**3**

votes

**1**answer

664 views

### Special automorphisms of extraspecial groups

Let $G$ be an extraspecial group of order $p^{2r+1}$ (where $p$ is an odd prime), and let $V$ be a faithful representation of $G$. Consider the normal subgroup $H$ of $Aut(G)$ consisting of all ...

**6**

votes

**4**answers

428 views

### SO$(4)$ (& SO$(n)$) characterization?

I believe it is the case that
any finite subgroup of SO$(3)$
(the $3 \times 3$ orthogonal matrices of determinant $1$)
is either a cyclic group $C_n$,
or a dihedral group $D_n$, or one of the groups ...

**13**

votes

**2**answers

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

**2**

votes

**1**answer

118 views

### Counting elements with certain word length in abelian groups

Given a (finite) abelian group $G = \langle S \mid R \rangle$, has the problem of counting the number of elements which can be expressed as a word (in $S$) of length $\leq k$ been studied? If so, ...

**3**

votes

**1**answer

142 views

### Is there a way to find an efficient set of relations for presenting the subgroup generated by two matrices in $SL(2, q)$?

Given two elements $a, b \in SL(2, \mathbb{F}_q)$, is there a way to find an efficient presentation $$\langle x, y \mid \text{relations}\rangle$$ of the subgroup $\langle a, b \rangle$?
My intention ...

**6**

votes

**1**answer

219 views

### Is every nonabelian finite simple group a quotient of a triangle group $(a,b,c)$ with $a,b,c$ coprime?

Here by triangle group $(a,b,c)$ I mean the group with presentation
$$\langle x,y \;|\; x^a = y^b = (xy)^c = 1\rangle$$
In other words, for every finite simple nonabelian group $G$, do there exist ...

**2**

votes

**2**answers

124 views

### What are the 2-generated subgroups of the special linear group $SL(2, q)$ over a finite field?

What is the subgroup structure of the subgroups $\langle a, b\rangle$ where $a, b \in SL(2, q)$?

**4**

votes

**1**answer

474 views

### Is there a structure theorem or group law for finite groups generated by two elements?

Say that $a, b \in G$ are two elements of a finite group $G$. Is there a structure theorem for the structure of $\langle a,b\rangle$? Is there a way to derive group laws for the group operation in the ...

**3**

votes

**3**answers

333 views

### A problem with pointwise stabilizer subgroups of fixed-point subspaces II

Definitions: Let $W$ be a representation of a group $G$, $K$ a subgroup of $G$, and $X$ a subspace of $W$.
Let the fixed-point subspace $W^{K}:=\{w \in W \ \vert \ kw=w \ , \forall k \in K \}$.
Let ...

**5**

votes

**1**answer

935 views

### Does the quaternion group Q_8 have a presentation of this form?

In The number of conjugacy classes and the order of the group, a key step in the proof of the congruence saying that $G$ being a $p$-group means that $|G| \equiv c(G) \mod{(p^{2}-1)(p-1)}$ is the ...

**3**

votes

**3**answers

543 views

### Finite groups with trivial Frattini subgroup

Let $G$ be a finite group with trivial Frattini subgroup (i.e. the intersection of all maximal subgroups of $G$ is trivial) such that $G$ has more than two maximal subgroups and at least one of its ...

**3**

votes

**1**answer

165 views

### A representation of a finite group where every nonzero vector has a trivial stabilizer [duplicate]

What are the finite groups which admit a non-zero representation in char 0 where every non-zero vector has stabilizer equal to $\left<1\right>$? Cyclic groups of prime order is one obvious ...

**0**

votes

**1**answer

210 views

### Are such averages known with representations of $S_n$?

Like is there a sense in which one can quantify that for two group elements (in different conjugacy classes) their characters are "close" for some fixed irreducible representation? (feel free to ...

**4**

votes

**0**answers

181 views

### A class 3 group of order 243

Let G be a group of order $243=3^5$. We denote by $(G_i)$ its lower central series and assume that $G$ has class $3$ and that $|G:G_2|=|G_3|=9$. We assume moreover that the cubing map factors as a ...

**48**

votes

**1**answer

3k views

### Why can't a nonabelian group be 75% abelian?

This question asks for intuition, not a proof.
An earlier question,
Measures of non-abelian-ness
was thoroughly answered by Arturo Magidin.
A paper by Gustafson1
proves that, for a nonabelian group,
...

**6**

votes

**2**answers

622 views

### Looking for deterministic criteria to generate the symmetric group?

So let $S_N$ be the symmetric group of degree $N$. We think of it as a permutation group via its
natural action on the set $T=\{1,2,\ldots,N\}$.
Say that $H\leq S_N$ is a subgroup which acts ...

**19**

votes

**2**answers

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

**19**

votes

**4**answers

1k views

### Non-split extensions of $GL_n(F_q)$ by $F_q^n$ ?

A very naive question :
I just learned that there is a non-split extension of $GL_3(F_2)$ by $F_2^3$ (with standard action). It can be realized as the subgroup of the automorphism group $G_2$ of ...

**0**

votes

**0**answers

25 views

### Is there a non-solvable integral fusion category of square-free dimension?

A finite group of square-free order is solvable (see here).
You can find the definition for a solvable fusion category in this paper.
Question: Is there a non-solvable integral fusion category of ...