The finite-groups tag has no wiki summary.

**1**

vote

**2**answers

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

**0**

votes

**0**answers

12 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 $G\to H$?
This is well-known to be true for $G$ abelian, for example ...

**-1**

votes

**0**answers

67 views

### Represention of the element of a group: A Confusion [on hold]

I am reading a paper "FAST ALGORITHMS FOR CALCULATION OF GIBBS DERIVATIVES ON FINITE GROUPS" by R. S. Stankovic (Approx. Theory & its AppL 7:2, June 1991). In Section 2, following is written about ...

**7**

votes

**2**answers

445 views

### Good effective versions of theorems of Artin and Brauer

The theorem of Artin and Brauer of the title are the famous theorem in the theory of representation of finite groups.
For example, Artin's theorem is the statement that for every character $\chi$ of ...

**4**

votes

**0**answers

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

**13**

votes

**1**answer

303 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

90 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

82 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)$ ...

**2**

votes

**0**answers

246 views

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

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

**-1**

votes

**0**answers

48 views

### Quotient of Euclidean space under the action of a permutation group

Suppose that $G$ is a permutation group acting on the Euclidean space $\mathbb{R}^n$. I am interested in the geometric properties of the quotient space $\mathbb{R}/G$. Since $G$ is finite and the ...

**1**

vote

**1**answer

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

**8**

votes

**2**answers

855 views

### Generalization of a theorem of Øystein Ore in group theory

Theorem (Øystein Ore, 1938): A finite group $G$ is cyclic iff its lattice of subgroups $\mathcal{L}(G)$ is distributive.
Proof: see below.
Let $(H \subset G)$ be an inclusion of finite groups and ...

**2**

votes

**1**answer

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

**18**

votes

**3**answers

943 views

### Groups of order $n$ with a character whose degree is at least $0.8\sqrt{n}$ (say)

[edited in response to some corrections by Geoff Robinson and F. Ladisch]
Throughout, all my groups are finite, and all my representations are over the complex numbers.
If $G$ is a group and $\chi$ ...

**8**

votes

**2**answers

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

**6**

votes

**2**answers

230 views

### Restricting the Steinberg representation of $SL_{2n}$ over a finite field to the symplectic group

Let $\text{St}_n(\mathbb{F}_q)$ be the Steinberg module (over $\mathbb{C}$) for $\text{SL}_n(\mathbb{F}_q)$.
What is the irreducible decomposition of the restriction of $\text{St}_{2n}(\mathbb{F}_q)$ ...

**3**

votes

**2**answers

300 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$:
...

**2**

votes

**0**answers

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

**0**

votes

**1**answer

130 views

### Two questions on the Schur multiplier of groups of order $p^4$

I tried to find a reference for the computation of the Schur multiplier of groups of order $p^4$.
The case in which $p=2$ is well known, see e.g. Table 1 at ...

**4**

votes

**1**answer

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

**11**

votes

**3**answers

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

**3**

votes

**4**answers

974 views

### General bound for the number of subgroups of a finite group

I am interested in the following:
Let $G$ be a finite group of order $n$. Is there an explicit function $f$ such that
$|s(G)| \leq f(n)$ for all $G$ and for all natural numbers $n$, where $s(G)$ ...

**3**

votes

**1**answer

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

**19**

votes

**1**answer

531 views

### Geodesics in finite groups

It seems that I can generalize a result from compact, connected Lie groups to finite groups, but in order to do so, I need to have some kind of geodesics on finite groups.
Below is a proposition for ...

**0**

votes

**1**answer

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

**5**

votes

**1**answer

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

**0**

votes

**0**answers

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

**10**

votes

**4**answers

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

**2**

votes

**1**answer

382 views

### Inseparable Galois Cohomology

First let me give a general form of my question, and then I'll give some motivation and a more specific version of it. Let $K/k$ be a Galois extension of fields with Galois group $G$, and let $X$ be ...

**5**

votes

**0**answers

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

**6**

votes

**1**answer

271 views

### Decomposition of $\mathrm{End}(V)$ as $S_n\times S_n$-module

Let $V$ be a finite-dimensional, complex vector space and set $\newcommand{\Gl}{\mathrm{Gl}}G:=\Gl(V)\times\Gl(V)$. Let $E:=\mathrm{End}(V)$ and consider its coordinate ring $\mathbb C[E]$, the space ...

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

**3**

votes

**1**answer

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

**-2**

votes

**1**answer

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

**6**

votes

**1**answer

86 views

### Covering a set with images of a transversal

Let $G$ be a permutation group on a finite set $\Omega$ with orbits $\Omega_1,\ldots,\Omega_k$.
By a transversal we mean a set $\lbrace\omega_1,\ldots,\omega_k\rbrace$ with $\omega_j\in\Omega_j$ for ...

**1**

vote

**1**answer

97 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?

**7**

votes

**2**answers

218 views

### Is the free abstract group residually of rank d > 2?

Let $d \geq 2$ be an integer, and let $\mathcal{F}_d$ be the family of finite groups such that $G \in \mathcal{F}_d$ if and only if every subgroup of $G$ can be generated by at most $d$ elements.
Is ...

**2**

votes

**1**answer

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

**11**

votes

**0**answers

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

**8**

votes

**2**answers

233 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

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

**1**

vote

**1**answer

67 views

### Finite quasigroup not coming from a scrambled finite group

Given any finite group with multiplication $m(-,-)$ and three permutations $p,q,r$ on the underlying set of the group, we can obtain a quasigroup with binary operation $g*h:= p(m(q(g),r(h)))$. What is ...

**9**

votes

**2**answers

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

**3**

votes

**0**answers

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

**3**

votes

**3**answers

244 views

### Mclaughlin Graph

how can i construct a strongly regular graph with parameter $(275,112,30,56)$(Mclaughlin Graph), (105,32,4,12)?
I need adjacency matrix of them?
I know they are unique.

**2**

votes

**0**answers

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

**8**

votes

**1**answer

225 views

### Condition for a certain subset being a subgroup

For any finite group $G$ and $n$ a divisor of $|G|$, consider the following subset of elements of "co-order" dividing $n$:
$$G(n) = \{ g \in G \mid g^{|G|/n} = 1 \}$$
By a classical theorem of ...

**-5**

votes

**1**answer

143 views

### Is this statement true? [closed]

Let $G$ be a finite group such that $p\mid |G|$ and $p^2\nmid |G|$, where $p\geq3$ is a prime number. Is it true that $G$ is a direct product of simple groups? why?

**20**

votes

**1**answer

347 views

### Uniform proof that a finite (irreducible real) reflection group is determined by its degrees?

Given a finite (irreducible real) group $G$ generated by reflections acting on euclidean $n$-space, it was shown by Chevalley in the 1950s that the algebra of invariants of $G$ in the associated ...

**2**

votes

**1**answer

186 views

### $nse$ for which simple group was determined?

Let $G$ be a finite group and $\omega(G)$ be the set of element orders of $G$. Let $k\in\omega(G)$ and $m_k$ be the number of elements of order $k$ in $G$. Set $nse(G):= \{m_k : k \in\omega(G)\}$. ...