Questions on group theory which concern finite groups.

learn more… | top users | synonyms

4
votes
1answer
141 views

Exceptional isomorphisms between finite simple Chevalley groups

Steinberg's "Lectures on Chevalley Groups" https://math.depaul.edu/cdrupies/research/papers/chevalleygroups.pdf contain ``a complete list of isomorphisms" among the various finite simple Chevalley ...
4
votes
1answer
117 views

Sum of Young symmetrisers of a given shape

Preliminaries and notation: Let $n\in \mathbb{Z}_{>0}$ and $\lambda=(\lambda_1,\lambda_2,\dots,\lambda_s)\vdash n$ be a partition. Given a Young diagram of shape $\lambda$, we can associate it ...
0
votes
0answers
45 views

Characteristics of Polynomially Bounded Subgroup of Symmetric Group [closed]

I am looking for literature regarding polynomially bounded (in $n$) subgroup of symmetric group acting on $n$ objects. To be precise, I would like to know, necessary and sufficient condition or ...
4
votes
2answers
229 views

Is $(G\rtimes H,H)$ a Gelfand pair iff $G$ is abelian?

Let $G$ be a finite group and $K \subset G$ a subgroup. Then $(G,K)$ is a Gelfand pair if the double coset Hecke algebra $\mathbb{C}(K \backslash G / K)$ is commutative. Let $H$ be a subgroup of $...
3
votes
2answers
131 views

Do the irreducible modules of this finite group preserve a tensor product structure?

I am interested in a particular group $G$, where $$ (A_4\times C_\ell) \lhd G \lhd S_4 \times D_\ell$$ Here, $C_\ell$ is cyclic, $D_\ell$ is dihedral of order $2\ell$, and the two inclusions both have ...
1
vote
0answers
107 views

On self-dual group-subgroup subfactors

Let $(N \subset M)$ be a finite index inclusion of ${\rm II}_1$ factors, and $N \subset M \subset M_1$ the basic construction. The subfactor $(N \subset M)$ is called self-dual if it is isomorphic to ...
6
votes
1answer
454 views

Non-vanishing of the Tate-Shafarevich kernel in group cohomology

Let $G$ be a finite group. Let $M$ be a finite $G$-module (a finite abelian group with an action of $G$). We consider a special kind of $G$-modules; in particular, our $M$ is a finite dimensional ...
5
votes
1answer
155 views

Subgroup ranks of the symmetric group

It's well known that every subgroup $G$ of $S_n$ has a generating set of size at most $n-1$ and that this generating set can be found algorithmically (by Jerrum's filter) I have heard many times a ...
4
votes
0answers
53 views

Is there an interval of finite groups, at index n, with strictly more elements than the subgroup lattice of any group, of order n?

Let $G$ be a finite group and $\mathcal{L}(G)$ its subgroup lattice. Let $s(n):= max\{|\mathcal{L}(G)| \text{ for } |G|=n \}$. There is an OEIS page for the sequence $s(n)$: A018216 1, 2, 2, 5, 2, ...
3
votes
0answers
68 views

Can a finite group have its third cohomology determined by a quotient group?

Does there exist a finite group $G$ satisfying either of the following? $G$ admits a non-trivial, proper, central subgroup $A$ such that every (normalized) 3-cocycle of $G$ is cohomologous to a (...
7
votes
1answer
234 views

Is it known whether every symmetric pair of finite groups of Lie type is a Gelfand pair?

A pair of groups $(G,H)$ is called a symmetric pair if $H$ is the group of fixed points of an involutive automorphism of $G$, for example $(GL(2n,\mathbb{F}_q),Sp(2n,\mathbb{F_q}))$ is a symmetric ...
1
vote
2answers
229 views

A good upper-bound for the cardinal of an interval of finite groups

This post is a relative version of General bound for the number of subgroups of a finite group Let $[H,G]$ be a interval of finite groups with $|G:H| = n$. Question: What is a good upper-bound of $|[...
30
votes
3answers
2k views

Is there a nice explanation for this curious fact about cyclic subgroups?

Here's something that I noticed that quite surprised me. Let $G$ be a finite abelian group. Consider the following expression. $$ \nu(G) = \sum_{\substack{H \leq G \\ H \text{ is cyclic}}} |H| $$ It ...
2
votes
0answers
113 views

Nonvanishing of the dual Euler totient on boolean intervals of finite groups

The rank $n$ boolean lattice $B_n$, is the subset lattice of $\{1,2, \dotsm n \}$. Let $[H,G]$ be a boolean interval of finite groups. Its Euler totient is defined by $$\varphi(H,G):=\sum_{K \in ...
4
votes
1answer
90 views

Primary invariants

This question is related to the earlier question which is in the given link: Primary invariants of a finite group Let $G$ be a finite group and $V$ a complex representation of degree $n$, and let $...
2
votes
0answers
97 views

Chief factors and local formation

Every thing below is concerned with finite groups. My question is about this paper A class of groups is a collection $\mathcal{X}$ of groups with the property that if $G \in \mathcal{X}$ and if $H \...
9
votes
0answers
296 views

Finite groups inside an infinite group with the same homology

Suppose we have a triple of groups $G,H,K$ verifying the follwing conditions $G$ and $H$ are finite groups and $K$ an infinite group. there exists two monomorphisms $G\rightarrow K\leftarrow H$ ...
2
votes
0answers
82 views

Computing characters of $\alpha$-projective representations

Given a finite group $G$, a finite cyclic group $A$ (viewed as a subgroup of $\mathbb{C}^{\times}$, i.e. generated by a $|A|$-th root of unity), and a 2-cocycle $\alpha\in Z^{2}(G,A)$. Recall that an $...
1
vote
1answer
86 views

Primary invariants of a finite group

For a finite group $G$ and complex representation V of degree $n$, I would like to know the precise definition of Primary invariants. Does any set of n algebraically independent homogeneous invariants ...
6
votes
1answer
110 views

Quotient of Coxeter complex in terms of double cosets?

In Victor Reiner's Quotients of Coxeter Complexes and $P$-Partitions, we have the below definition for the quotient complex of a Coxeter complex by a finite subgroup of the Coxeter group. I think ...
10
votes
1answer
170 views

Finite groups with lots of conjugacy classes, but only small abelian normal subgroups?

Denote the commuting probability (the probability that two randomly chosen elements commute) of a finite group $G$ by $\operatorname{cp}(G)$. By a result of Gustafson [2], $\operatorname{cp}(G)=\...
5
votes
1answer
311 views

Known results in the Cohomology of finite groups

I am learning to compute cohomology of finite groups and came across this survey article http://www.ams.org/notices/199707/adem.pdf "Recent Developments in the cohomology of finite groups" by ...
3
votes
0answers
147 views

For $P$ $\mathbb{Z}G$-projective, $\mathbb{Q}\otimes P$ is $\mathbb{Q}G$-free

I'm looking for a proof of a theorem of Swan [1, Theorem 3]: If $G$ is a finite group and $P$ a finitely generated projective $\mathbb{Z}G$-module, then $\mathbb{Q}\otimes_\mathbb{Z}P$ is a free $...
1
vote
1answer
160 views

Rank of a locally free $\mathbb Z[G]$-module

This is a basic question. Let $G$ be a finite group, $M$ a finitely generated $\mathbb Z[G]$-module so that the $\mathbb Z_p[G]$-module $M_p$ is free for all prime numbers $p$, i.e. is locally free. ...
0
votes
1answer
60 views

Radical and Centric not Essential P-group

I'm looking that in the Fusion System categories, the p-subgroups that are essential, are centric (by definition) and radical (by implication of the definition), but I want to know if there is an ...
5
votes
3answers
316 views

Character Values for Alternating Groups of degree $\geq 7$

Is it true that in each row and column of the character table of alternating groups with degree $\geq 7$ there are at most two complex values? Any reference will be highly appreciated.
5
votes
1answer
211 views

Group cohomology of the cyclic group

It is well known how to compute cohomology of a finite cyclic group $C_m=\langle \sigma \rangle$, just using the periodic resolution, $\require{AMScd}$ \begin{CD} \cdots @>N>> \mathbb ...
6
votes
2answers
478 views

A question about (unicity of certain cycles in a Cayley graph of a) symmetric group

Let $S=\{(1,2),(1,2,3,\ldots,n),(1,2,3,\ldots,n)^{-1}=(1,n\ldots,2)\}$ be a subset of the symmetric group $S_n$. We know that $(1,2,\ldots,n)(1,2)=(2,3,\ldots,n)$, and thus $$[(1,2,\ldots,n)(1,2)]^{n-...
2
votes
2answers
75 views

p-groups as finite union of disjoint normal abelian subgroups

I was interested in knowing if groups with following property have been studied( like what can be said about structure of the group) : "$G$ can be written as disjoint union of a given number of ...
4
votes
1answer
68 views

Exterior Powers of finite abelian group

Let $A$ be a finite $\mathbb{Z}$-module (i.e., a finite abelian group). My question is: for what $n\in \mathbb{Z}^{n\geq 2}$ the map \begin{align} \alpha_{n}:\bigwedge^nA&\to A^{\otimes n}\\ a_1\...
4
votes
1answer
221 views

Finite group action on quasi-projective varieties

Let $X$ be a smooth, quasi-projective variety, $G$ be a finite group which acts freely and properly on $X$. Denote by $\alpha:X \to X/G$ the quotient. Is $\alpha$ generically etale? Also, as I am ...
3
votes
1answer
170 views

Is there a characterization of CI-groups of order less than 100?

We know some benefit criterion in articles such as: C‎. ‎H‎. ‎Li‎, ‎On isomorphisms of finite Cayley graphs-a survey‎, ‎Discrete Math.‎, ‎256 (2002) 301-334‎. C‎. ‎H‎. ‎Li‎, ‎Z‎. ‎P‎. ‎Lu‎, ‎P‎. ‎P‎....
2
votes
1answer
187 views

Is there a formula for the number of elements in $S_n$ having length $k$ with respect to the generators taken to be the transpositions?

Define the length of a permutation as the minimum number of adjacent transpositions needed to describe it. We know that there is only one element of length $0$ in $S_n$ and $n-1$ elements of length $1$...
3
votes
0answers
93 views

A finite supersolvable group with generators of prescribed order

Let $G=\langle a,b\rangle$ be a finite supersolvable group. Is there any special information about the structure of $G$ when $o(a)=2$ and $ o(b)=2^k > 2$?
5
votes
6answers
470 views

Transitive permutation groups which all of their proper subgroups are intransitive

Let $G$ be a transitive permutation group on a finite set $\Omega$. It is clear that if $G$ is regular, then every proper subgroup of $G$ is intransitive. Is there any other class of groups with this ...
0
votes
0answers
37 views

Gramian of a permutation group orbit

let $W\in R^{d\times k},d>k$. Suppose that the associated gramian has the following structure: $$ W^TW=(P_{1}t,\cdots,P_{k}t) $$ with the set $\{P_{i},i=1,\cdots,k\}$ forming a group of ...
1
vote
0answers
71 views

An optimal lower bound related to generators in a boolean interval of finite groups

Let $[H,G]$ be a rank $n$ boolean interval of finite groups (i.e. $[H,G] \simeq B_n$ as lattice). Let the set $E = \{ g \in G \ | \ \langle H,g \rangle = G \}$ Remark: If $g \in E$ then $Hg \...
4
votes
0answers
130 views

Lifting automorphisms of quotient groups

I am concerning here a natural question: Problem: Let $G$ be a finite group, and let $N$ be a characteristic subgroup of $G$. When can an automorphism $\varphi\in\mathrm{Aut}(G/N)$ be lifted to an ...
3
votes
2answers
122 views

Finite solvable groups with abelian Fitting subgroup

Let $G$ be any finite solvable group with Fitting subgroup $F(G)$. Which conditions on $F(G)$ makes $G$ to be supersolvable? (It is well-known that any finite solvable group with cyclic Fitting ...
15
votes
5answers
479 views

Cayley graphs of $A_n.$

Consider the Cayley graphs of $A_n,$ with respect to the generating set of all $3$-cycles. Their properties must be quite well-known, but sadly not to me. For example: what is its diameter? Is it an ...
6
votes
2answers
186 views

Finding an “optimal” quotient in a free group

Consider the abelian free group $G = \mathbf{Z}^n$ of rank $n$ and a finite subset $A \subset G \setminus \{0\}$. Since $G$ is residually finite, there is a subgroup $H \subset G$ such that $A \cap H =...
7
votes
3answers
237 views

Signs in Chevalley's commutator formula

I am trying to understand presentations of twisted groups of Lie type (specifically $^2D_5$) over finite fields using Steinberg's presentations (for instance from Gorenstein, Lyons and Solomon, Number ...
2
votes
1answer
103 views

Intransitive finite irreducible linear groups whose orbits are all large

I am interested in intransitive irreducible linear subgroups $G\subseteq\mathrm{GL}_n(\mathbb{F}_p)$ acting on $V-\{0\}=\mathbb{F}_p^n-\{0\}$ in the natural way, such that all of the orbits are very ...
9
votes
0answers
159 views

Detecting a module for the free group algebra on a finite quotient

Let $F_2$ be the free group on two generators $x,y$ and let $R$ be the group algebra $\mathbf{Q}[F_2]$. Let $a,b,c$ be integers. Then define a right $R$-module $M = R / (ax + by + c) R$. I am ...
9
votes
0answers
184 views

Weyl Groups as Galois groups

I am looking for explicit examples (for all positive integers $n \ge 5$) of degree $2n$ even polynomials $f(x)=h(x^2)$ over the field $\mathbb{Q}$ of rational numbers such that the Galois groups of $...
11
votes
1answer
265 views

Cohomology of central extensions of groups

Let G be a central extension of a finite group H by $Z/2$. I need an explicit description of the differentials $d_2$ and $d_3$ in the Lyndon-Hochschild-Serre spectral sequence which converges to the ...
6
votes
1answer
200 views

Are there familiar expressions for (finite) joins of finite groups?

Milnor construction of the classifying space of a topological group $G$ is given in terms of infinite joins of $G$. Schwarz then proved that the $k+1$ iterated self join of a group $G$ classifies $G$-...
4
votes
1answer
118 views

A decomposition of $w_0$ which is similar to the reduced decomposition

Some basic definitions about reduced decomposition: In the symmetric group $S_n$, let $s_i$ denote the adjacent transposition $(i,i+1),i\in \{1,2,\cdots,n-1\}.$ Since $S_n$ is generated by adjacent ...
5
votes
1answer
169 views

A question on the commutativity degree of the monoid of subsets of a finite group

The commutativity degree $d(G)$ of a finite group $G$ is defined as the ratio $$\frac{|\{(x,y)\in G^2 | xy=yx\}|}{|G|^2}.$$It is well known that $d(G)\leq5/8$ for any finite non-abelian group $G$. If $...
7
votes
1answer
244 views

Does the Fano plane “embed” in the complex projective plane?

$PSL(2,7)$ acts on the projective plane over $\mathbb{F}_2$ (the Fano plane) through its identification with $GL(3,2)$. It also acts on the projective plane over $\mathbb{C}$ through either of its ...