Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [finite-groups]

Questions on group theory which concern finite groups.

0
votes
0answers
27 views

Connected transitive group action and wreath product

It is well known and not hard to prove that the wreath product of two finite transitive group actions is again transitive. Apparently a stronger statement is true: suppose that $G$ and $H$ act ...
3
votes
1answer
139 views

What's concrete model for Coxeter complexes?

We know for every Coxeter system $(W,S)$ there is a Coxeter complex associated by its cosets of parabolic subgroups. In Wachs's note Poset Topology p.12-13 she mentioned for the Coxeter complex of ...
2
votes
0answers
129 views

What are the points about representation of groups? [on hold]

For a fixed (let say finite-, or Lie-, to respect the historical motivations) group, why does the study of all its linear representations over a fixed field, leads to some knowledge about its ...
3
votes
0answers
60 views

Weyl theorem - possible corollary - alternative characterization of projective representation of $Z_N\times Z_N$

For an integer $N$, let $\omega=e^{2i\pi/N}$ and $A$, $B$ be the clock and shift operators: $A=\left(\begin{matrix} 1 & 0 & \cdots & 0 \\ 0 & \omega & \cdots & 0 \\ \vdots &...
2
votes
2answers
233 views

Is the size of a conjugacy class in a finite classical group a polynomial?

Suppose $G$ is a classical matrix group over a finite field of order $q$. If $C$ is a conjugacy class in $G$ , is $|C|$ a polynomial in $q$? This question is supported by the fact that whenever I ...
1
vote
1answer
285 views

Variation on Sylow Theorems [closed]

Does a finite group on $2^t$ elements (with $t$ a positive integer) necessarily have a subgroup of index two? It seems close to the Sylow Theorems but not quite. Maybe there is a simple ...
3
votes
1answer
133 views

Group cohomology of $S_3$ in terms of its Sylow subgroups

I am trying to understand $H^*(S_3, M)$ in terms of it's Sylow $p$ subgroups. From III.10.2 and III.10.3 in Brown we know that \begin{equation}H^n(G,M) = \bigoplus_p H^n(H,M)^G\end{equation} where $p$...
3
votes
1answer
106 views

Regular semisimple elements in $SL(n,q)$

Consider $G=GL(n,q)$. A regular semisimple element of this group, is a matrix, whose characterestic polynomial is square-free and same as minimal polynomial. Results show that the number of such ...
2
votes
0answers
76 views

A theory of (or reference for) symmetric point arrangements

I wonder where I can find something written on symmetric point arrangements (see definition below). I am interested in general references, preferably books that introduce (or papers that use) some ...
2
votes
0answers
66 views

Unitary matrices $p$-root of identity such that the Fourier transform matrices are $p$-root of identity

Take a prime number $p$ and $\omega=e^{2i\pi/p}$. Assume we have p complex matrices (in finite dimension $n$) $A_0, \dotsc, A_{p-1}$ such that $\forall i, A_i^p=I$. Define the $p$ fourrier transform ...
3
votes
0answers
47 views

Expressing $\sum_{g\in [G/H]}ge_Hg^{-1}\in Z(\mathbb{C}[G])$ in terms of primitive central idempotents?

Suppose $G$ is a finite group, and $H$ a subgroup. For an irreducible character $\chi$ of $G$, there is a central idempotent in the group algebra $\mathbb{C}[G]$: $$ e_\chi=\frac{\chi(1)}{|G|}\sum_{g\...
8
votes
1answer
157 views

Unitary representations of finite groups over finite fields

I would like to learn the basic theory of unitary representations of finite groups over finite fields. Here, the unitary group $\operatorname{GU}(n,\mathbb{F}_{q^2})$ consists of all invertible ...
3
votes
0answers
27 views

Bounds for the number of edges in an Alperin diagram

If $A$ is an algebra over a field $k$ and $M$ is a finite-dimensional $A$-module, then Alperin showed in a paper [Diagrams for modules, JPAA, 1980] how to associate a diagram to $M$ with the vertices ...
7
votes
1answer
132 views

Classification of the Extraspecial 2-groups $H_n$

I have a sequence of groups $H_n$ which I know to be extraspecial 2-groups of order $2^{2n+1}$. I also know the number of order 4 elements I have in $H_n$ for every $n$. Precisely, the number of order ...
5
votes
2answers
278 views

Is the Perron-Frobenius dimension of a G-Set given by its cardinality?

Given a ring $R$ with finite additive basis $\{e_i\}_{i=1}^{n}$, such that $e_i e_j=\sum c_{ijk}e_k$ with $c_{ijk}\in \mathbb{N}$, we define the Perron-Frobenius dimension $FPDim(e_i)$ of a basis ...
6
votes
1answer
215 views

Is a finite group given by its character table if its Sylow subgroups are so?

As pointed out by Mikko Korhonen in this answer, Özdem Çelik proved (in 1976 here) that a finite group whose Sylow subgroups are cyclic (called a Z-group) is determined by its character table. ...
4
votes
1answer
183 views

Finite groups with the same character table *including* class types, and square-free order

There are non-isomorphic finite groups with the same (complex) character table, as $D_4$ and $Q_8$. $$\scriptsize\begin{array}{c|c} \text{class}&1&2A&2B&2C&4 \newline \text{...
2
votes
0answers
59 views

List of Small Non-Abelian Symmetrically Presented Groups

Let $F_n$ be the free group generated by $x_1,\ldots,x_n$ and let $S_n$ be the symmetric group on $\{1,\cdots,n\}$. Let $w=x_{i_1}^{\pm1}\cdots x_{i_s}^{\pm1}$ be a word and for each $\sigma \in S_n$, ...
7
votes
1answer
282 views

Open problems concerning all the finite groups

What are the open problems concerning all the finite groups? The references will be appreciated. Here are two examples: Aschbacher-Guralnick conjecture (AG1984 p.447): the number of conjugacy ...
4
votes
0answers
117 views

Is there a “promise” at the heart of mixing times for random walks on Cayley-graphs?

I'm interested in some questions about the computational complexity of bounding the mixing time of random walks on Cayley-graphs of finite groups like that of the Rubik's Cube Group $G$. Determining ...
0
votes
0answers
53 views

Relations of minimal number of generators

What is the command in GAP to find the all relations of minimal generators of a finite $p$-group $G$?
2
votes
0answers
104 views

On covers of groups by cosets

Suppose that ${\cal A}=\{a_sG_s\}_{s=1}^k$ is a cover of a group $G$ by (finitely many) left cosets with $a_tG_t$ irredundant (where $1\le t\le k$). Then the index $[G:G_t]$ is known to be finite. In ...
1
vote
0answers
62 views

Unit-product sets in finite decomposable sets in groups

A non-empty subset $D$ of a group is called decomposable if each element $x\in D$ can be written as the product $x=yz$ for some $y,z\in D$. Problem. Let $D$ be a finite decomposable subset of a ...
4
votes
1answer
108 views

Diameter for permutations of bounded support

Let $S\subset \textrm{Sym}(n)$ be a set of permutations each of which is of bounded support, that is, each $\sigma\in S$ moves $O(1)$ elements of $\{1,2,\dotsc,n\}$. Let $\Gamma$ be the graph whose ...
4
votes
1answer
63 views

Example of primitive permutation group with a regular suborbit and a non-faithful suborbit

I would like some examples of groups $G$ satisfying all of the following criteria: $G<Sym(n)$, the symmetric group on $n$ letters, and $G$ is primitive. $G$ has a regular suborbit, i.e. if $M$ is ...
4
votes
1answer
176 views

Is $PSL(2,13)$ a chief factor of the automorphism group of a $\{2,3\}$-group?

Does there exists a group $H$ of order $2^7\cdot 3^4$, such that $\mathrm{PSL}(2, 13)$ is a chief factor of $\mathrm{Aut}(H)$?
21
votes
2answers
571 views

Does the symmetric group $S_{10}$ factor as a knit product of symmetric subgroups $S_6$ and $S_7$?

By knit product (alias: Zappa-Szép product), I mean a product $AB$ of subgroups for which $A\cap B=1$. In particular, note that neither subgroup is required to be normal, thus making this a ...
4
votes
2answers
172 views

Which dimensions exist for irreducible quaternionic-type real representations of finite groups?

I'm writing a software package to decompose group representations, and am struggling to find good examples of quaternionic-type representations of dimension > 4. Reading MathOverflow, I found that ...
0
votes
0answers
58 views

Isomorphism of finite groups and cycle graphs

Let $G$ and $H$ be finite groups and suppose they do have the same cycle graph. Is it possible to argue that this implies $G$ and $H$ are isomorphic? If yes, why? If not, is there an explicit ...
5
votes
0answers
155 views

Breuer-Guralnick-Kantor conjecture and infinite 3/2-generated groups

A group $G$ is called $\frac{3}{2}$-generated if every non-trivial element is contained in a generating pair, i.e. $$\forall g \in G \setminus \{e \}, \ \exists g' \in G \text{ such that } \langle g,g'...
7
votes
1answer
153 views

Cycle types of permutations from affine group

Let $V$ be a vector space of dimension $n$ over the field $F=\mathrm{GF}(2)$. We identify $V$ with the set of columns of length $n$ over $F$. Let $G = \mathrm{AGL}(V)$ be a group of affine ...
2
votes
0answers
127 views

Growth functions of finite group - computation, typical behaviour, surveys?

Looking on the growth function for Rubik's group and symmetric group, one sees rather different behaviour: Rubik's growth in LOG scale (see MO322877): S_n n=9 growth and nice fit by normal ...
3
votes
0answers
177 views

Frobenius formula

I know two formulas by the name of Frobenius. The first one computes the number $$\mathcal{N}(G;C_1,\dotsc,C_k):=|\{(c_1,\dotsc,c_k)\in C_1 \times \cdots \times C_k\:|\:c_1\cdots c_k=1\}|,$$ where $...
8
votes
1answer
238 views

What is the minimum $k$ such that $A^k \equiv I$ mod p for invertible matrices?

Let $F$ be a finite field of order $p$, where $p$ is prime. For any $n\times n$ matrix $A$ that is invertible over $F$, then there would appear to exist integers $k$ such that $A^{k} = I$. My question ...
1
vote
0answers
45 views

On equality of two quotients of a congruence subgroup

Related question: Non-torsion part of the abelianisation of congruence subgroups Let $A = \mathbb{F}_q[T]$ be the ring of polynomials with coefficients in a finite field, with $N$ a nonconstant ...
10
votes
2answers
786 views

A cancellation property for permutations?

Let $S_n$ be the group of $n$-permutations. Denote the number of inversions of $\sigma\in S_n$ by $\ell(\sigma)$. QUESTION. Assume $n>2$. Does this cancellation property hold true? $$\sum_{\...
8
votes
2answers
327 views

For nonabelian finite simple $G$, does $Aut(G)$ have a unique subgroup isomorphic to $G$?

If $G$ is a nonabelian finite simple group, $Aut(G)$ certainly contains a subgroup isomorphic to $G$, namely $Inn(G)$. Must this be the only subgroup of $Aut(G)$ isomorphic to $G$? I can prove this ...
0
votes
0answers
54 views

The degree prime-power graph of $Suz$

Let $G$ be a finite group. Let $\mathrm{cd}(G)$ be the set of irreducible complex character degrees of $G$ and $\rho(G)$ the set of primes dividing degrees in $\mathrm{cd}(G)$. The authors define a ...
0
votes
0answers
134 views

Normal subgroups of $p$-groups

I was reading Professor Yukov Berkovich' paper "On Subgroups of Finite $p$-groups" when I stumled upon the following theorem: Let $G$ be a nonabelian $p$-group with cyclic Frattini subgroup, $|\Phi(...
3
votes
1answer
149 views

How to construct groups and large dimension representations? How about faithful ones?

Below I am referring to complex representations. We know that if $G$ is a finite group with $m=(G:Z(G))$, then every irreducible representation has size at most $\sqrt{m}$. One cannot hope for this ...
0
votes
0answers
93 views

Calculate the character degrees of a finite group $G$

Let $G$ be a finite group and $K$ be a group of order $8$. Suppose that $G/K\cong M_{12}$ where $M_{12}$ is one of the Mathieu groups. QUESTION: How to calculate the all complex character degrees ...
13
votes
1answer
2k views

Number of positions of Rubik's cube grows with multiplier 13 with the distance - what are explanations and groups with similar growth pattern?

Rubik's cube and its generalizations attracts certain attention of mathematical community. It is somehow "noteworthy" that it has been proved that diameter of the Rubik's cube group is 20, i.e. ...
9
votes
2answers
319 views

Is the cohomology ring $H^*(BG,\mathbb{Z})$ generated by Euler classes?

I am interested in the classifying space $BG$ of a finite group $G$. A real representation $V$ of $G$ of dimension $r$ defines a real vector bundle over $BG$ of rank $r$. If the determinant of this ...
3
votes
1answer
88 views

Splitting of regular semisimple conjugacy classes in $SL_{n}(q)$

I have the following question: Consider the following two finite groups: $GL_{n}(q)$ and $SL_{n}(q)$. What I am trying to understand is the regular semisimple conjugacy classes of $SL_{n}(q)$. Now, ...
1
vote
0answers
105 views

A question on UCS p-groups(2)

This is a follow up to this question Let $G_{1}$ and $G_{2}$ be two finite UCS p-groups with the following conditions: 1- $\vert G_{1}\vert=\vert G_{2}\vert=p^{2n}$; 2- $\Phi(G_{1})\cong\Phi(G_{2})\...
7
votes
0answers
113 views

Relationship between the p-radical subgroups and the parabolics in a BN-pair generality

A theorem of Quillen says that if $G$ is a finite Chevalley group over characteristic $p$, then the poset $\mathcal{A}_p(G)$ of nontrivial elementary abelian subgroups of $G$ is homotopy equivalent (I ...
2
votes
0answers
26 views

Decomposition into irreducible of a representation of the wreath product $S_d \wr S_n$ (4)

I have to decompose some representations of $S_d \wr S_n$. I understand better and better how it works, I still have a case I don't know how to deal with. For simplicity I take $d=2$ and $n=4$. $S^{(...
5
votes
2answers
145 views

Obtaining quiver and relations for finite p-groups

Given a finite field $K$ with $p$ elements and a finite $p$-group $G$, is there a way to obtain the quiver and relations of $KG$ with GAP (and its package QPA)? Since $KG$ is local, the quiver should ...
6
votes
1answer
252 views

first group cohomology for the standard representation of $S_n$ over $\mathbb{F}_2$

Let $g \geq 2$ be an integer and consider the symmetric group $S_n$ where $n = 2g+1$ or $n = 2g+2$ as a subgroup of the symplectic group $\mathrm{Sp}_{2g}(\mathbb{F}_2)$ via the standard ...
3
votes
1answer
120 views

Reversible polynomial circuit = polynomial reversible circuit?

I asked this in cstheory.SE a week ago. Since there are no answers or comments, and since this is perhaps more about permutations than computation, I hope it is ok to cross-post here as well. My ...