The finite-groups tag has no wiki summary.

**9**

votes

**2**answers

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

**3**

votes

**0**answers

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

**9**

votes

**2**answers

507 views

### Regular elements in the torus of a group of Lie type

Let $G$ be a simple linear algebraic group, and $F$ a Frobenius map, i.e. some power of $F$ is the standard Frobenius map which raises matrix entries to the $q$-th power. Then $G^F$ is a group of Lie ...

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

**1**

vote

**1**answer

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

**1**

vote

**1**answer

87 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

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

**5**

votes

**2**answers

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

**21**

votes

**1**answer

867 views

### Monstrous Moonshine for Thompson group $Th$?

I. As a background, in Traces of Singular Moduli (p.2), Zagier defines the modular form of weight 3/2,
$$g(\tau) = \frac{\eta^2(\tau)}{\eta(2\tau)}\frac{E_4(4\tau)}{\eta^6(4\tau)}=\vartheta_4(\tau)\, ...

**3**

votes

**1**answer

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

**3**

votes

**0**answers

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

**9**

votes

**2**answers

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

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

**2**

votes

**2**answers

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

**9**

votes

**2**answers

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

**1**

vote

**0**answers

109 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

243 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

85 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

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

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

**1**

vote

**1**answer

139 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

59 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

**0**answers

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

**25**

votes

**1**answer

759 views

### Properties to have matrices that commute in $\mathrm{GL}_n(\mathbb C)$

Let $G$ be a finite subgroup of $\mathrm{GL}_n(\mathbb C)$, $A,B \in G$ whose eigenvalues are thus in the unit circle.
Assume that the eigenvalues of $A$ are included in a circle arc of ...

**3**

votes

**2**answers

388 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

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

**7**

votes

**1**answer

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

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

**13**

votes

**5**answers

524 views

### Results about the order of a group forcing a particular property.

Given a group of order $n$ where $n$ is either a specific number, or a number of a particular form, e.g. square-free, when does $n$ completely determine a particular group property among all groups of ...

**15**

votes

**5**answers

2k views

### Has any attempt been made to classify finite groupoids?

I recently stumbled upon the Mathieu groupoid and I found them fascinating.
It appears as a subset of $S_{13}$ which is not closed under multiplication, but it turns out to be a groupoid with 13 ...

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

**4**

votes

**0**answers

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

**5**

votes

**1**answer

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

**34**

votes

**20**answers

6k views

### Fun applications of representations of finite groups

Are there some fun applications of the theory of representations of finite groups? I would like to have some examples that could be explained to a student who knows what is a finite group but does not ...

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

**6**

votes

**1**answer

211 views

### Finite field analogue of representations in same packet have equal central character

In Kevin Buzzard's recent question, a warm up question was: if two automorphic representations are nearly equivalent, then are the central characters of their local components equal?
Working my way ...

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

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

**4**

votes

**2**answers

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

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

**3**

votes

**1**answer

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

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