# Questions tagged [permutation-groups]

For groups represented as permutations. Group transitivity, rank 3 groups, orbits and suborbits, stablizers, permutation characters, primitivity are all on-topic.

181 questions
Filter by
Sorted by
Tagged with
1 vote
7 views

### What is known about $p$-local subgroups of Frobenius groups with (elementary abelian) kernel $F$ and cyclic complement $H$?

I'd like to ask the following question. What is known about $p$-local subgroups of Frobenius groups $G\cong F\rtimes H$ with (elementary abelian (if need be)) kernel $F$ and cyclic complement $H$? I ...
54 views

### How can I generate all unique row/column permutations of a given incidence (binary) matrix using group theory and matrix multiplication?

Given a binary matrix, we need to generate all distinct matrices that are isomorphic to this input matrix under row and column permutations. I think this problem might involve some group theory rather ...
103 views

### If $n=2m$, what is the order of the permutation $\sigma(k)=2k , \quad \sigma(m+k)=2k-1$

Let $n=2m$. What is the order of the following permutation $\sigma$? $$1\leq k\leq m \Rightarrow \sigma(k)=2k , \quad \sigma(m+k)=2k-1$$
123 views

### Centralizer of each element of a subgroup contained in the normalizer of the subgroup

Let $G \leq \operatorname{Sym}(\Omega)$ be a permutational group. A base for $G$ is a sequence of elements of $\Omega$ whose pointwise stabilizer is the identity. A base is called irredundant if no ...
171 views

### Asymptotic number of permutation representations of a given group

Let $G$ be a finitely generated group. I am trying to count the number of permutation representations on $n$ elements, i.e. homomorphisms from $G$ to the symmetric group $S_n$. Equivalently this is ...
189 views

### Irreducible deleted permutation module for a finite group

Let $G$ be a subgroup of the symmetric group $S_n = \operatorname{Sym}(X)$. Let $k$ be a field, and let $V$ be the permutation module corresponding to $X$. Then $V$ is not irreducible, it has a $1$-...
1 vote
24 views

### Adjacent vertices of a permutohedron which is the orbit of a point $x$ with repeated coordinates

Question: Let $x=(x_1, ..., x_n) \in \mathbb{R}^n$, and let $P$ be the convex hull of the points formed by permuting the coordinates of $x$. Given a vertex $y$ of $P$, what is a general rule for ...
194 views

### Is a point stabilizer in the Mathieu group $M_{20}$ half-transitive?

The background: We recall/define the following: $\Omega_n=\{1,\dots,n\}$. $M_n$ is the Mathieu group of degree $n$. We follow the Wikipedia article "Mathieu group" and define these groups ...
202 views

368 views

101 views

### Extensions of oligomorphic groups

Recall that a permutation group $G\le\mathfrak{S}(\mathbb N)$ is oligomorphic if, for any positive integer $k$, the induced $G$-action on $k$-tuples of distinct elements of $\mathbb N$ has only ...
297 views

274 views

### How many steps on $S_n$ are required to span $V\wedge V$, $V = K^n$?

Let $A$ be a set of generators of $G=S_n$; assume $e\in A$, $A=A^{-1}$. Let $V = K^n$, $K$ a field. Consider the natural action of $G$ on $V$ (namely, $g(e_i) = e_{g(i)}$) and on $W = V\wedge V$ (...
240 views

### How many steps are required for double transitivity?

Let $A$ be a set of generators of $S_n$, or of a doubly transitive subgroup of $S_n$. Assume $e\in A$, $A=A^{-1}$. What is the least $k$ such that $A^k$ is doubly transitive as a set? That is, what is ...
201 views

### Permutation groups generated by finitely many point stabilisers

Assume that $G\leq\operatorname{Sym}(X)$ is a permutation group generated by all its point stabilisers, i.e. $G=\langle G_x \mid x\in X\rangle$. There is no cardinality restriction on $X$. Furthermore,...
448 views

### Wreath product $S_k\wr S_n$ inside $S_{kn}$

I want to understand wreath products a little better. Currently, my intuition about them is as follows. Take $nk$ disks, pile them in order forming $n$ piles of $k$ disks (one pile contains disks {1,...
161 views

### Non-commutative projective lines

There have been many approaches to the notion of projective line: combinatorial approaches (e.g. as certain permutation groups, such as $\mathrm{PGL}_2(k)$ in its natural action on $\mathbb{P}^1(k)$, ...
592 views

### If $S_\mathbb N$ is partitioned into finitely many pieces, must one piece contain a "skew copy" of every countable group?

Suppose $G$ and $H$ are groups. $C \subseteq H$ is called a skew copy of $G$ in $H$ if $C = hK$ for some $h \in H$ and some subgroup $K$ of $H$ with $K \cong G$. Question 1: Suppose the infinite ...
320 views

### Irreducible factors of primitive permutation group representation

Consider a primitive permutation group $\Gamma\subseteq\mathrm{Sym}(N)$ on the $n$-element set $N=\{1,...,n\}$, that is, $\Gamma$ does not preserve any non-trivial partition of $N$. Consider the ...
2k views

### Are there infinitely many insipid numbers?

A number $n$ is called insipid if the groups having a core-free maximal subgroup of index $n$ are exactly $A_n$ and $S_n$. There is an OEIS enter for these numbers: A102842. There are exactly $486$ ...
359 views

### Is $(\mathbb{R},+)$ isomorphic to a subgroup of $S_\omega$?

Is $(\mathbb{R},+)$ isomorphic to a subgroup of $S_\omega$, the group of permutations of the set of non-negative integers $\omega$?
357 views

### Connections between linear representations and permutation representations

A finite group $\Gamma$ might be represented by a linear transformation $$\rho : \Gamma\to\mathrm{GL}(\Bbb R^d),$$ or by permutations $$\phi :\Gamma\to\mathrm{Sym}(n).$$ Of course, latter ones can ...
152 views

### Multiplication in $Z(\mathbb{C}S_n)$ [duplicate]

I am trying to multiply two generators of center $Z(\mathbb{C}[S_n])$ of ring algebra of symmetric group of $n$ elements. We know that these generators are given by sums of conjugacy classes in $S_n,$ ...
Consider (e.g.) the full permutation group $G=S_6$. A valid set of generators and equations for $G$ is $r^6=m^2=(rm)^5=1$. I say this system has width $3$ (because there are $3$ equations), length $10$...