Minimal degrees for faithful permutation representations of groups of order where p is an odd prime

E. A. O’Brien,Sunil Kumar Prajapati,Ayush Udeep

DOI: https://doi.org/10.1007/s10801-024-01331-0

2024-06-24

Journal of Algebraic Combinatorics

Abstract:We determine the minimal degree of a faithful permutation representation for each group of order where p is an odd prime. We also record how to obtain such a representation.

mathematics

What problem does this paper attempt to address?

Minimal Faithful Quasi-Permutation Representation Degree of p-Groups with Cyclic Center

Sunil Kumar Prajapati,Ayush Udeep

2023-06-05

Abstract:For a finite group G, we denote by $\mu(G)$, and c(G), the minimal degree of faithful permutation representation of G, and the minimal degree of faithful representation of G by quasi-permutation matrices over the complex field C, respectively. In this article, we study $\mu(G)$, and c(G) for various classes of finite non-abelian p-groups with cyclic center. We prove a result for normally monomial p-groups with cyclic center which generalizes a result of Behravesh for finite p-groups of nilpotency class 2 with cyclic center [5, Theorem 4.12]. We also compute minimal degrees for some classes of metabelian p-groups.

Group Theory,Representation Theory
On the relation of character codegrees and the minimal faithful quasi-permutation representation degree of $p$-groups

Sunil Kumar Prajapati,Ayush Udeep

2023-06-09

Abstract:For a finite group $G$, we denote by $c(G)$, the minimal degree of faithful representation of $G$ by quasi-permutation matrices over the complex field $\mathbb{C}$. For an irreducible character $\chi$ of $G$, the codegree of $\chi$ is defined as $\cod(\chi) = |G/ \ker(\chi)|/ \chi(1)$. In this article, we establish equality between $c(G)$ and a $\mathbb{Q}_{\geq 0}$-sum of codegrees of some irreducible characters of a non-abelian $p$-group $G$ of odd order. We also study the relation between $c(G)$ and irreducible character codegrees for various classes of non-abelian $p$-groups, such as, $p$-groups with cyclic center, maximal class $p$-groups, GVZ $p$-groups, and others.

Group Theory,Representation Theory
Exceptional groups of order $p^6$ for primes $p\geq 5$

E.A. O'Brien,Sunil Kumar Prajapati,Ayush Udeep

2024-10-23

Abstract:The minimal faithful permutation degree $\mu(G)$ of a finite group $G$ is the least integer $n$ such that $G$ is isomorphic to a subgroup of the symmetric group $S_n$. If $G$ has a normal subgroup $N$ such that $\mu(G/N) > \mu(G)$, then $G$ is exceptional. We prove that the proportion of exceptional groups of order $p^6$ for primes $p \geq 5$ is asymptotically 0. We identify $(11p+107)/2$ such groups and conjecture that there are no others.

Group Theory
Element order versus minimal degree in permutation groups: an old lemma with new applications

László Babai,Ákos Seress

DOI: https://doi.org/10.48550/arXiv.1401.0489

2014-01-03

Abstract:In this note we present a simplified and slightly generalized version of a lemma the authors published in 1987. The lemma as stated here asserts that if the order of a permutation of $n$ elements is greater than $n^{\alpha}$ then some non-identity power of the permutation has support size less than $n/{\alpha}$. The original version made an unnecessary additional assumption on the cycle structure of the permutation; the proof of the present cleaner version follows the original proof verbatim. Application areas include parallel and sequential algorithms for permutation groups, the diameter of Cayley graphs of permutation groups, and the automorphisms of structures with regularity constraints such as Latin squares, Steiner 2-designs, and strongly regular graphs. This note also serves as a modest tribute to the junior author whose untimely passing is deeply mourned.

Combinatorics
Minimal operations over permutation groups

Paolo Marimon,Michael Pinsker

2024-10-29

Abstract:We classify the possible types of minimal operations above an arbitrary permutation group. Above the trivial group, a theorem of Rosenberg yields that there are five types of minimal operations. We show that above any non-trivial permutation group there are at most four such types. Indeed, except above Boolean groups acting freely on a set, there are only three. In particular, this is the case for oligomorphic permutation groups, for which we improve a result of Bodirsky and Chen by showing one of the types in their classification does not exist. Building on these results, we answer three questions of Bodirsky that were previously open.

Rings and Algebras,Group Theory,Logic
Permutation groups and derangements of odd prime order

Timothy C. Burness,Michael Giudici

DOI: https://doi.org/10.48550/arXiv.1602.07617

2017-04-20

Abstract:Let $G$ be a transitive permutation group of degree $n$. We say that $G$ is $2'$-elusive if $n$ is divisible by an odd prime, but $G$ does not contain a derangement of odd prime order. In this paper we study the structure of quasiprimitive and biquasiprimitive $2'$-elusive permutation groups, extending earlier work of Giudici and Xu on elusive groups. As an application, we use our results to investigate automorphisms of finite arc-transitive graphs of prime valency.

Group Theory,Combinatorics
Representation dimension of some finite groups

Gurleen Kaur,Amit Kulshrestha,Anupam Singh

2023-08-03

Abstract:For a finite group $G$, the representation dimension is the smallest integer realizable as the degree of a complex faithful representation of $G$. In this article, we compute representation dimension for some $p$-groups, their direct products, and groups with certain conditions on nonlinear irreducible characters. We also make similar computations for the smallest integer realizable as the degree of an irreducible complex faithful representation of $G$, if one exists. In the appendix, we present GAP codes to compute these numbers.

Group Theory,Representation Theory
Expressing even permutations as commutators

Minh Hieu Tran

DOI: https://doi.org/10.1080/00927872.2024.2418021

2024-10-30

Communications in Algebra

Abstract:We prove that an element of the symmetric group of degree n>3 can be represented as the commutator of two permutations whose supports intersect at exactly p≤n points if and only if it is the product of p cycles of length 3. As an accompanying result, and also as a step of the main result's proof, we give a lower bound for p to express an even permutation as the product of p cycles of length 3, in terms of its decomposition into disjoint cycles.

mathematics
Various Representation Dimensions associated with a Finite Group

Anupam Singh,Ayush Udeep

2024-06-19

Abstract:To a finite group $G$, one can associate several notions of dimensions (or degrees). In this survey, we attempt to bring together some of the notions of dimensions or degrees defined using representations of the group in General Linear Groups and permutation groups. These are embedding degree, minimal faithful irreducible character degree, minimal faithful permutation representation degree, minimal faithful quasi-permutation representation degree and essential dimension. We briefly present the progress in understanding these notions and the related problems.

Representation Theory
On the minimal degree and base size of finite primitive groups

Fabio Mastrogiacomo

2024-11-06

Abstract:Let $G$ be a finite permutation group acting on $\Omega$. A base for $G$ is a subset $B \subseteq \Omega$ such that the pointwise stabilizer $G_{(B)}$ is the identity. The base size of $G$, denoted by $b(G)$, is the cardinality of the smallest possible base. The minimal degree of $G$, denoted by $\mu(G)$, is the smallest cardinality of the support of a non trivial element of $G$. In this paper, we establish a new upper bound for $b(G)$ when $G$ is primitive, and subsequently prove that if $G$ is a primitive group different from the Mathieu group of degree $24$, then $\mu(G)b(G)\leq n \log n$, where $n$ is the degree of $G$. This bound is best possible, up to a multiplicative constant.

Group Theory
Gluing endo-permutation modules

Serge Bouc

DOI: https://doi.org/10.48550/arXiv.0809.0493

2008-09-03

Abstract:In this paper, I show that if $p$ is an odd prime, and if $P$ is a finite $p$-group, then there exists an exact sequence of abelian groups $$0\to T(P)\to D(P)\to\lproj{P}\to H^1\big(\apdeux(P),\Z\big)^{(P)},$$ where $D(P)$ is the Dade group of $P$ and $T(P)$ is the subgroup of endo-trivial modules. Here $\lproj{P}$ is the group of sequences of compatible elements in the Dade groups $D\big(N_P(Q)/Q\big)$ for non trivial subgroups $Q$ of $P$. The poset $\apdeux(P)$ is the set of elementary abelian subgroups of rank at least 2 of $P$, ordered by inclusion. The group $H^1\big(\apdeux(P),\Z\big)^{(P)}$ is the subgroup of $H^1\big(\apdeux(P),\Z\big)$ consisting of classes of $P$-invariant 1-cocycles. Here $\lproj{P}$ is the group of sequences of compatible elements in the Dade groups $D\big(N_P(Q)/Q\big)$ for non trivial subgroups $Q$ of $P$. The poset $\apdeux(P)$ is the set of elementary abelian subgroups of rank at least 2 of $P$, ordered by inclusion. The group $H^1\big(\apdeux(P),\Z\big)^{(P)}$ is the subgroup of $H^1\big(\apdeux(P),\Z\big)$ consisting of classes of $P$-invariant 1-cocycles. A key result to prove that the above sequence is exact is a characterization of elements of $2D(P)$ by sequences of integers, indexed by sections $(T,S)$ of $P$ such that $T/S\cong (\Z/p\Z)^2$, fulfilling certain conditions associated to subquotients of $P$ which are either elementary abelian of rank~3, or extraspecial of order $p^3$ and exponent $p$.

Group Theory
Quotients of permutation groups by nonabelian minimal normal subgroups

Derek Holt

2024-05-30

Abstract:We prove that a quotient G/N of a subgroup G of Sym(n) by a nonabelian minimal normal subgroup N of G embeds into Sym(m) for some $m<n$. Furthermore, if G is transitive then we can take m \le 2n/5.

Group Theory
On the minimal faithful degree of Rhodes semisimple semigroups

Stuart Margolis,Benjamin Steinberg

DOI: https://doi.org/10.13140/RG.2.2.36316.67202

2023-06-09

Abstract:In this paper we compute the minimum degree of a faithful representation by partial transformations of a finite semigroup admitting a faithful completely reducible matrix representation over the field of complex numbers. This includes all inverse semigroups, and hence our results generalize earlier results of Easdown and Schein on the minimal faithful degree of an inverse semigroup. It also includes well-studied monoids like full matrix monoids over finite fields and the monoid of binary relations (i.e., matrices over the Boolean semiring). Our answer reduces the computation to considerations of permutation representations of maximal subgroups that are faithful when restricted to distinguished normal subgroups. This is analogous to (and inspired by) recent results of the second author on the minimal number of irreducible constituents in a faithful completely reducible complex matrix representation of a finite semigroup that admits one. To illustrate what happens when a finite semigroup does not admit a faithful completely reducible representation, we compute the minimum faithful degree of the opposite monoid of the full transformation monoid.

Group Theory
When are permutation invariants Cohen-Macaulay?

H.E.A. Campbell,David L. Wehlau

2023-08-17

Abstract:Over a field of characteristic 0, every ring of invariants of any finite group is Cohen-Macaulay. This is not true for fields of positive characteristic. We consider permutation representations and their invariant rings over fields $\mathbb{F}_p$ of prime order. We give an efficient algorithm which for any given permutation representation, determines those primes $p$ for which the invariant ring over $\mathbb{F}_p$ is Cohen-Macaulay. Extensions to subgroups of reflection groups other than the symmetric group are indicated.

Commutative Algebra
On the conjecture of non-inner automorphisms of finite $p$-groups

Mandeep Singh,Mahak Sharma

2024-06-15

Abstract:Let $p$ be a prime number. A longstanding conjecture asserts that every finite non-abelian $p$-group has a non-inner automorphism of order $p$. In this paper, we prove that if $G$ is an odd order finite non-abelian monolithic $p$-group such that every maximal subgroup of $G$ is non-abelian and $[Z(M), g] \leq Z(G)$ for every maximal subgroup $M$ of $G$ and $g \in G \setminus M$. Then $G$ has a non-inner automorphism of order $p$ leaving the Frattini subgroup $\Phi(G)$ elementwise fixed.

Group Theory
Finite simple permutation groups acting with fixity 4

Barbara Baumeister,Paula Hähndel,Kay Magaard,Patrick Salfeld,Rebecca Waldecker

2023-12-14

Abstract:Motivated by the theory of Riemann surfaces and specifically the significance of Weierstrass points, we classify all finite simple groups that have a faithful transitive action with fixity 4, along with details about all possible such actions.

Group Theory
Groups of permutations preserving orientation (parity) of subsets of a fixed size

Alexei Vernitski

2024-02-09

Abstract:We study permutations on $n$ elements preserving orientation (parity) of every subset of size $k$. We describe all groups of these permutations. Unexpectedly, these groups (except some special cases) are either trivial or cyclic or dihedral. We produce these results while defining semigroups generalizing semigroups of order-preserving mappings and semigroups of orientation-preserving mappings.

Combinatorics,Group Theory
Some new classes of permutation polynomials and their compositional inverses

Sartaj Ul Hasan,Ramandeep Kaur

2024-07-18

Abstract:We focus on the permutation polynomials of the form $L(X)+\Tr_{m}^{3m}(X)^{s}$ over $\F_{q^3}$, where $\F_q$ is the finite field with $q=p^m$ elements, $p$ is a prime number, $m$ is a positive integer, $\Tr_{m}^{3m}$ is the relative trace function from $\F_{p^{3m}}$ to $\F_{p^{m}}$, $L(X)$ is a linearized polynomial over $\F_{q^{3}}$, and $s>1$ is a positive integer. More precisely, we present six new classes of permutation polynomials over $\F_{q^3}$ of the aforementioned form: one class over finite fields of even characteristic, three classes over finite fields of odd characteristic, and the remaining two over finite fields of arbitrary characteristic. Furthermore, we show that these classes of permutation polynomials are inequivalent to the known ones of the same form. We also provide the explicit expressions for the compositional inverses of each of these classes of permutation polynomials.

Number Theory
Permutation polynomials over finite fields providing involutions

B. Kevinsam,P. Vanchinathan

DOI: https://doi.org/10.1007/s13226-024-00705-1

2024-10-18

Indian Journal of Pure and Applied Mathematics

Abstract:The problem of constructing a family of polynomials over a finite field all yielding permutations in a single conjugacy class, namely involutions with specified number of fixed points, is addressed. For an odd prime power q satisfying we construct totally permutation polynomials, all giving involutory permutations with exactly fixed points. Among them polynomials are trinomials, and the rest are 6-term polynomials.

mathematics
Orbits of permutation groups with no derangements

David Ellis,Scott Harper

2024-09-02

Abstract:Let $G$ be a nontrivial finite permutation group of degree $n$. If $G$ is transitive, then a theorem of Jordan states that $G$ has a derangement. Equivalently, a finite group is never the union of conjugates of a proper subgroup. If $G$ is intransitive, then $G$ may fail to have a derangement, and this can happen even if $G$ has only two orbits, both of which have size $(1/2+o(1))n$. However, we conjecture that if $G$ has two orbits of size exactly $n/2$ then $G$ does have a derangement, and we prove this conjecture when $G$ acts primitively on at least one of the orbits. Equivalently, we conjecture that a finite group is never the union of conjugates of two proper subgroups of the same order, and we prove this conjecture when at least one of the subgroups is maximal. The same conjecture was implicitly made by Feldman. We prove other cases of the conjecture, and we highlight connections our results have with intersecting families of permutations and roots of polynomials modulo primes. Along the way, we also prove a linear variant on Isbell's conjecture regarding derangements of prime-power order.

Group Theory,Combinatorics

Minimal degrees for faithful permutation representations of groups of order where p is an odd prime

Minimal Faithful Quasi-Permutation Representation Degree of p-Groups with Cyclic Center

On the relation of character codegrees and the minimal faithful quasi-permutation representation degree of $p$-groups

Exceptional groups of order $p^6$ for primes $p\geq 5$

Element order versus minimal degree in permutation groups: an old lemma with new applications

Minimal operations over permutation groups

Permutation groups and derangements of odd prime order

Representation dimension of some finite groups

Expressing even permutations as commutators

Various Representation Dimensions associated with a Finite Group

On the minimal degree and base size of finite primitive groups

Gluing endo-permutation modules

Quotients of permutation groups by nonabelian minimal normal subgroups

On the minimal faithful degree of Rhodes semisimple semigroups

When are permutation invariants Cohen-Macaulay?

On the conjecture of non-inner automorphisms of finite $p$-groups

Finite simple permutation groups acting with fixity 4

Groups of permutations preserving orientation (parity) of subsets of a fixed size

Some new classes of permutation polynomials and their compositional inverses

Permutation polynomials over finite fields providing involutions

Orbits of permutation groups with no derangements