The finite-groups tag has no usage guidance.

**2**

votes

**0**answers

233 views

### category theoretic approach to Sylow theorems and finite group theory?

Is there a category theoretic approach to Sylow theorems?
More generally, is there an exposition of finite group theory in terms of category theory which would include Sylow theorems and little facts ...

**2**

votes

**0**answers

55 views

### Is the size of maximum matching in vertex transitive 3-uniform hyper-graph on $n$ vertices always $\Omega(n)$?

What is the best known lower bound on the size of the maximum matching in a vertex transitive $3$-uniform hyper-graph?

**3**

votes

**3**answers

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

**0**

votes

**1**answer

98 views

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

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

255 views

### Is there a nonabelian finite simple group with Grothendieck ring of multiplicity one?

Let $G$ be a finite group. It admits finitely many irreducible complex representations $H_1, \dots, H_r$ which generate, for $\oplus$ and $\otimes$, the Grothendieck ring $\mathcal{G}(G)$ of $G$ (also ...

**0**

votes

**1**answer

121 views

### Unipotent orbit in adjoint group over finite field

[Editted: The assertion is wrong; see Jay's answer]
My apology if this question is too simple. I am reading Deligne-Lusztig "Reductive groups over finite fields" and at the beginning of Chap. 4, ...

**4**

votes

**1**answer

208 views

### Matrix Elements of Real Representations

I asked this question over at Math.StackExchange and despite having had a bounty on it I did not receive an answer.
Suppose that $G$ is a finite group and we have a unitary irreducible representation ...

**4**

votes

**1**answer

166 views

### Finite p-groups and their fibered products

Is every finite $p$-group an epimorphic image of a fibered product of two finite $p$-groups which can be generated by $2$ elements?

**13**

votes

**1**answer

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

**4**

votes

**2**answers

293 views

### Maximal abelian subgroup of general linear groups

Thanks for any help or comments.
Is it possible to recognize all maximal abelian subgroups of general linear group on finite field $F$ of order $q$, $GL_n(F)$.
By maximal abelian I mean if $A$ is ...

**3**

votes

**1**answer

139 views

### Subgroups of index 2 in a fibered product

Let $G$ be a finite group and let $M,N \lhd G$ be normal subgroups with a trivial intersection. Suppose that $G$ has a subgroup of index $2$. Must $G$ have a subgroup of index $2$ which contains ...

**2**

votes

**1**answer

144 views

### Invariant subspaces of an $F_2$-representation of the affine linear group of dimension 1

Let $p$ be an odd prime (large if it matters) and let $G= Aff(\mathbb{F}_{p^2}) \cong \mathbb{F}_{p^2} \rtimes \mathbb{F}_{p^2}^*$ be the affine linear group acting on $\mathbb{F}_{p^2}$ by $x\mapsto ...

**28**

votes

**2**answers

1k views

### How do you *state* the Classification of finite simple groups?

From the point of view of formal math, what would constitute an appropriate statement of the classification of finite simple groups? As I understand it, the classification enumerates 18 infinite ...

**4**

votes

**1**answer

172 views

### About the set of Sylow-$p$ subgroups of $G$

Let G be a finite group and S be the set of Sylow p-subgroups of G for a
prime p dividing the order of G. Assume that |S|>1.
Let U and V be two disjoint non-empty subsets of S such that,
...

**0**

votes

**0**answers

63 views

### Experimenting with the spider relator

The Monster group (actually the bimonster) has a presentation as Y555. Y555 is the quotient of a coxeter group (the coxeter diagram is a central node with three "spokes" coming out of it with length ...

**1**

vote

**0**answers

78 views

### finite p-group subgroup of infinite p-group

is there any finite p-group G that is subgroup or minimal/maximal subgroup of infinite p-group H?
if yes what is the limits? can this happen with different p's?
i'm more interested in being maximal ...

**3**

votes

**0**answers

162 views

### Deligne-Lusztig and Character sheaves

Consider: $G$ - a nice group ($GL_n$) over a finite field $F$. $X$ - the flag variety. Consider a nice $G$-equivariant $l$-adic sheaf $\mathcal{M}$ on $X \times X$, equipped with Weil structure.
Fix ...

**2**

votes

**1**answer

206 views

### permutation action on cohomology of Stiefel manifolds

Let $V_k(\mathbb{R}^n)$ be Stiefel manifolds.
In the paper The cohomology rings of real Stiefel manifolds with integer coefficients, Martin Čadek, Mamoru Mimura, and Jiří Vanžura, J. Math. Kyoto ...

**0**

votes

**1**answer

121 views

### A bijection between Lusztig series induced by inflation

Context:
Let $\pi: \widehat{G} \rightarrow G$ be a surjective morphism between connected reductive groups defined over $\mathbb{F}_q$ whose kernel is a central torus. Then $\pi : \widehat{G}^F ...

**3**

votes

**0**answers

256 views

### Galois correspondence subgroups/subsystems

In this paper (1998) by M. Izumi, R. Longo, S. Popa, there is the following result (page 49) on compact groups:
Lemma 3.16. Let $G$ be a compact group and $Rep(G)$ the category of finite ...

**1**

vote

**0**answers

137 views

### Does SL(3,q) have a subgroup of order $q^3.(q^3-1)$ [closed]

Let $q=p^n$ for $p>3$.I want to know whether the group $G_2(q)$ has a subgroup of order $q^3.(q^3-1)$. First I look the paper of Peter Kleidman. In this paper Kleidman determined all maximal ...

**2**

votes

**1**answer

170 views

### What is the growth of the rank of a power of a finite simple group?

Which asymptotic bounds (upper and lower) are known for $s_n$ - the minimal number of generators of $S^n$ where $S$ is a nonabelian finite simple group?

**10**

votes

**0**answers

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

**3**

votes

**0**answers

161 views

### Alternating quotients of (2,3,7;10)

It was shown that the only quotient of the group $G := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^{10} \rangle$ of the form PSL(2, q) is PSL(2, 41). That lead me to consider other families of simple ...

**3**

votes

**1**answer

111 views

### Covering finite groups by kernels

Let $G$ be a finite group. When does there exist a finite group $H$ such that every $h\in H$ is in the kernel of some epimorphism $H\to G$?
This is well-known to be true for $G$ abelian, for example ...

**3**

votes

**2**answers

254 views

### If d(“G/H”) < d(G) = 2, must H contain a primitive element?

Let $G$ be a finite group that can be generated by $2$ elements, and let $H \leq G$ be a (not necessarily normal) subgroup for which there exists some $g \in G$ such that $H \langle g\rangle = G$. ...

**14**

votes

**1**answer

379 views

### Number of solutions to equations in finite groups

Suppose $G$ is a finite group and that $E$ is an equation of the form $x_1 x_2 ... x_n = e$, where each $x_i$ is in the set of symbols $\{x, y, x^{-1}, y^{-1}\}$.
Is it always true that the number ...

**2**

votes

**1**answer

116 views

### Units in a finite semisimple group algebra

Let $G$ be a finite group and $k$ a finite field, with the characteristic of $k$ not dividing the order of $G$. Then $kG$ is a finite semisimple group algebra with the interesting property that an ...

**1**

vote

**0**answers

104 views

### Generalization of groups with non-connected prime graph

Suppose $G$ is a non-abelian finite group and $\pi(G)=\pi_1(G)\cup \pi_2(G)$ is a disjoint union of all primes dividing $|G|$. Suppose further that for every two elements $g_1,g_2\in G\setminus Z(G)$ ...

**4**

votes

**0**answers

99 views

### Improvements of the Reidemeister-Schreier index formula for particular classes of groups

I have a couple of questions regarding possible improvements of the Reidemeister-Schreier index formula: let $G$ be a $d$-generated group and let $H$ be a subgroup of $G$, then
$$d(H) \le (d-1) ...

**2**

votes

**0**answers

61 views

### explicit matrices for Weil ($p^2$ dimensional) representation of $Sp(4,\mathbb{F}_p)$, $p>3$

I am looking for more-or-less explicit matrices for the $p^2$ dimensional Weil representation of $Sp(4,\mathbb{F}_p)$, suitable for computer implementation. Ideally, I would like the images of the ...

**2**

votes

**1**answer

284 views

### Structure of symplectic group over finite fields

We are working over the finite field $\mathbb{F}_{q}$ of odd prime characteristic $p$ and of cardinality $q$ some power of $p$. We recall the symplectic group $Sp(4,\mathbb{F}_{q})$ as the group of ...

**2**

votes

**1**answer

312 views

### cohomology ring of symmetric group of order $3$

Let $S_3$ be the symmetric group of order $3$. What is the cohomology ring
$$
H^*(S_3;\mathbb{Z})?$$
My attempt: I want to use mathematical induction on $n$ for $S_n$.
For $n=1$, $S_1$ is trivial. ...

**4**

votes

**1**answer

122 views

### Can any finite distributive weighted lattice be realized by inclusion of groups?

By theorem 2.1 here, any finite distributive lattice $\mathcal{L}$ can be realized as an intermediate subgroups lattice.
A weighted lattice $(\mathcal{L},\tau)$ is a lattice $\mathcal{L}$ with a ...

**3**

votes

**1**answer

225 views

### Centralizers in the universal central extensions of the alternating groups?

For $n \ge 8$ the Schur multiplier $H_2(BA_n, \mathbb{Z})$ (where $A_n$ denotes the alternating group) stabilizes to $\mathbb{Z}_2$, and hence there is a universal central extension $\widetilde{A}_n$ ...

**9**

votes

**2**answers

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

**0**

votes

**1**answer

113 views

### The simple groups with an absolutely irreducible projective representations with small degrees

In the question "Simple Hurwitz Groups of order less than 10^7", it came up that all the Hurwitz groups with absolutely irreducible projective representations of degrees up to 7 over any field are ...

**3**

votes

**2**answers

378 views

### symmetric 2-cocycle / many projective representations

Let $G$ be a finite group, $k$ the field of complex numbers.
Are there (cohomologically nontrivial) group 2-cocycles $\sigma\in Z^2(G,k^\times)$ such that for all $g,h\in G$:
...

**5**

votes

**1**answer

360 views

### Simple Hurwitz Groups of order less than 10^7

I'm trying to calculate a table of all simple hurwitz groups of order less than 10^7. None of the tables I found went further than 10^6, so I decided to use the tables of all simple groups up to 10^7 ...

**5**

votes

**0**answers

177 views

### Derived subgroup of rational points versus rational points of derived subgroup

Let $\mathbf G$ be a connected algebraic group defined over a field $\mathbb F_p$. If $q=p^n$, then the groups $\mathbf G^\prime (\mathbb F_q)$ and $\mathbf G (\mathbb F_q)^\prime$ are not always ...

**-2**

votes

**1**answer

179 views

### Is there any Lefschetz-like principle for representations of finite groups?

Representation theory (at least the origin of this terminology) aims to exhibit a model (a represetative) in the group of matrices for an abstract group which is known by only its group law. So ...

**1**

vote

**1**answer

108 views

### p-groups and 2-generated abelian images

Let $p$ be a prime number. Is there a finite nonabelian $p$-group $G$ such that any finite epimorphic $2$-generated image of $G$ is abelian?

**5**

votes

**1**answer

478 views

### A dual version of a theorem of Øystein Ore in group theory

Let $(H \subset G)$ be an inclusion of finite groups.
This post is a dual version for the Generalization of a theorem of Øystein Ore in which it's proved:
Theorem: $\mathcal{L}(H\subset G)$ ...

**0**

votes

**0**answers

85 views

### Asymmetry of functions defined on the $n$-th roots of the unity

Let $\mathcal{A} = \{V : \mathbb{U}_n \rightarrow \mathbb{C}\}$ where $\mathbb{U}_n$ is the group of the complex $n$-th roots of the unity. This group naturally acts on $\mathcal{A}$: for any $a \in ...

**2**

votes

**1**answer

141 views

### Schur covering group for S4

It is well-known that the symmetric group S4 has two Schur covering groups, S4-tilde and S4-hat. There are explicit presentations for both groups, and we know that S4-hat is isomorphic to GL(2,3). ...

**9**

votes

**2**answers

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

**3**

votes

**1**answer

163 views

### the number of indecomposable modules of finite groups over finite fields of a fixed dimension

I am interested in determining the the number of indecomposable modules of finite groups over finite fields of a fixed dimension. Specifically, I have the following conjecture:
Conjecture. Suppose we ...

**11**

votes

**0**answers

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

**3**

votes

**0**answers

131 views

### Invariant Laurent polynomials under cyclic group action

Start with the cyclic group $G:=\mathbb{Z}/p$ of prime order $p$ and and an integer lattice $P:=\mathbb{Z}^p$. Let $G$ act on $P$ by cyclic permutation of coordinates. There is an induced action on ...

**2**

votes

**0**answers

122 views

### Special sets of involutions generating ${\rm S}_n$

For which positive integers $k$ and $r$ are there involutions $g_{n,i} \in {\rm S}_n$
$(n \in \mathbb{N}, \ i = 1, \dots, k)$ such that the following hold?:
for any $n$, the $g_{n,i}$ $(i = 1, ...