The finite-groups tag has no wiki summary.

**3**

votes

**6**answers

336 views

### classification of $p$-groups

I have two questions regarding to $p$-groups.
A $p$-group $G$ is said to be extraspecial of $G'=Z(G)$ has order $p$. Hence extraspecial groups are examples of $p$-groups with cyclic center. Of ...

**0**

votes

**0**answers

34 views

### Is there a better rank bound for fibered products?

Let $G$ be a profinite group of rank $d \geq 2015$, which is a fibered product of two groups of rank at most $2$. That is, there exist closed normal subgroups $N_1, N_2 \lhd_c G$ with $N_1 \cap N_2 = ...

**0**

votes

**0**answers

159 views

### I want to know if the below sentence is true and why? [on hold]

I want to know if the below sentence is true and why?
Let $G$ be an insoluble finite group then there exists $π\subset π(G)$ such that if $K=O_{\pi}(G)$ and $\bar{G}=G/K$ it follows that $M\leq ...

**-1**

votes

**1**answer

202 views

### A simple group that its order divide order of an alternating group

Let $G$ be a simple group such that
1) $|G|\mid|\mathrm{Alt}_{p}|$
2) $p\mid |
G|$, and $p>13$ is prime.
3) $G$ hasn't any elements of order $rp$ for every prime number $r$.
My question: ...

**-1**

votes

**0**answers

35 views

### Implementation of almost integer to cryptography [closed]

Can there be any implementation of almost integers to create intractable problems relevant to public key cryptography?

**3**

votes

**0**answers

78 views

### Localized at $p$ integral representations of finite elementary $p$-groups

Let $C_p$ be a cyclic group of prime order $p$.
Let $F=C_p^n=C_p\times\dots\times C_p$ ($n$ times).
I would like to to classify finite dimensional representations of $F$ over ${\mathbb{Z}}$.
However, ...

**1**

vote

**1**answer

88 views

### about subgroup of general linear group [closed]

Thanks for any comments
Let $G=GL_n(F)$ be general linear group over finite field $F$. Consider two isomorphic subgeoup $H_1,H_2$ of $G$ such that $H_i\cong GL_k(\bar{F})$, where $\bar{F}$ is an ...

**1**

vote

**1**answer

93 views

### Finite groups normalizing a torus

Let $G$ be a semi-simple linear algebraic group over the complex numbers, e.g. the special linear group. Can you find an example of a finite sub-group $H$ of $G$ which does not normalize any maximal ...

**2**

votes

**1**answer

93 views

### What is the corank of a proper char subgroup of a finite index subgroup of a free group?

Let $F$ be the free group of rank $\aleph_0$, let $L \leq F$ be a finite index subgroup, and let $M$ be a proper characteristic subgroup of $L$. Is it possible that there exists a finite subset $S ...

**1**

vote

**0**answers

52 views

### Orbits of a cyclic group on the powerset [closed]

Let $G$ be a finite cyclic group and denote by $\mathcal{P}(G)$ its powerset. Then $G$ acts on $\mathcal{P}(G)$ by acting on each element in a subset $S\in\mathcal{P}(G)$individually. Is there any ...

**3**

votes

**0**answers

152 views

### Generalization of the fundamental theorem of cyclic groups 2

This post is a sequel of Generalization of the fundamental theorem of cyclic groups
Let $G$ be a finite group then the fundamental theorem of cyclic groups can be formulated as follows:
Theorem: $G$ ...

**5**

votes

**1**answer

303 views

### Generalization of the fundamental theorem of cyclic groups

Let $G$ be a finite group then the fundamental theorem of cyclic groups can be formulated as follows:
Theorem: $G$ is cyclic iff it admits no two different subgroups with the same order.
proof: see ...

**4**

votes

**1**answer

155 views

### Finite solvable groups are generated by a nilpotent subgroup + K elements?

Is there a constant $K \in \mathbb{N}$ such that for every finite solvable group $G$, there exists a nilpotent subgroup $N \leq G$, and a subset $S \subseteq G$ with $|S| \leq K$, and $\langle ...

**1**

vote

**1**answer

83 views

### Does every connected vertex transitive graph on $n$ vertices (except for $C_n$) have minimum feedback vertex set of size $\Omega(n)$?

Feedback vertex set is a set of vertices whose removal leaves an acyclic graph.
It is known that every vertex transitive graph on $n$ vertices has minimum vertex cover of size $\Omega(n)$. It is also ...

**5**

votes

**2**answers

225 views

### Extensions of $SL(2,\mathbb{F}_q)$

Let $n = q(q^2-1)$ (the order of $SL(2,\mathbb{F}_q)$ I think). How many groups of order $2n$ contain $SL(2,\mathbb{F}_q)$ as a (necessarily normal) subgroup? Is this number known exactly? Seems ...

**3**

votes

**0**answers

91 views

### scalar multiple of Young symmetrizer

The following is a lemma from Fulton and Harris' book -Representation theory,a first course (page 53):
Lemma: For all $x\in \mathbb{C}\mathfrak{S}_r$, $c_{\lambda}\cdot x\cdot c_{\lambda}= scalar ...

**0**

votes

**0**answers

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

**21**

votes

**0**answers

252 views

### Guess that group via product queries

Suppose someone (person B) knows a finite group $G$ of order $n$.
You (person A) know only the order $n$,
and that $1$ is the name of the identity element.
The group elements are named $1,2,\ldots,n$ ...

**9**

votes

**2**answers

221 views

### Embedding $\mathrm{PGL}(n,q^h)$ in $\mathrm{PGL}(nh,q)$

It is not very hard to see that for each prime power $q$ and natural numbers $n,h$, we have an embedding
$$\iota \colon \mathrm{GL}(n,q^h) \hookrightarrow \mathrm{GL}(nh, q),$$
obtained by choosing a ...

**2**

votes

**2**answers

89 views

### How does one calculate/estimate/guarantee the girth of a non-Abelian Cayley graph?

This question is in reference to this other question,
Can someone point out references (or explain!) which give techniques of being able to prove for any Cayley graph this property of having a girth ...

**1**

vote

**0**answers

110 views

### How generic are Cayley graphs of non-Abelian groups with logarithmic girth?

Given a non-Abelian group $G$ I want to choose a symmetric generating set $S \subset G$ such that $Cay(G,S)$ has girth logarithmic in the size of the set. I want to know,
For which $G$ can the ...

**2**

votes

**2**answers

246 views

### Is anything known about the eigenspectrum of the regular representation of the permutation group?

I am looking for information like upper bounds on how many times any eigenvalue can occur or something like how many eigenvalues can be there in some given range. Is anything like this known?
The ...

**2**

votes

**0**answers

86 views

### Does every group that satisfies the maximal permutizer condition then satisfy the permutizer condition?

The
permutizer of a subgroup $H$ of $G$ is defined to be the subgroup generated by all cyclic subgroups of $G$ that permute with $H$,
i.e. $\langle x \in G | \langle x \rangle H = H \langle x \rangle ...

**3**

votes

**1**answer

479 views

### learning Deligne-Lusztig theory

Can someone give me a roadmap for learning Deligne-Lusztig theory? (Except for the original article by Deligne and Lusztig)
Edit: You may assume knowledge of representation theory of finite groups ...

**1**

vote

**1**answer

140 views

### Generating finite groups using subgroups

For finite groups $L \leq K$ we define $d(L,K)$ to be the least $n \in \mathbb{N}$ for which there exist $a_1, \dots, a_n \in K$ such that $\langle L, a_1 \dots, a_n \rangle = K$.
Is there some $m ...

**1**

vote

**0**answers

60 views

### Why is the polynomial relating the invariants of a binary polyhedral group fixed by an overgroup?

Let $G$ be a finite subgroup of $\mathrm{SL}(2,\mathbb{C})$ and $N \triangleleft G$ a normal subgroup. Let $x, y, z$ be the fundamental invariants for the standard action of $N$ on $\mathbb{C}^2$, ...

**3**

votes

**2**answers

389 views

### Upper bound of |Aut(G)| for a p-group

If G is a p-group which is finitely generated with order p^n then what is the upper bound of |Aut(G)|.

**2**

votes

**0**answers

214 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

47 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

287 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

94 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

251 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

90 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

197 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

159 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

466 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

256 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

132 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

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

**27**

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

168 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

61 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

67 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

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

**1**

vote

**1**answer

173 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

105 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

250 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

125 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

166 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

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