Orbit coherence in permutation groups.

DOI10.1515/JGT-2013-0029MaRDI QIDQ3190432zbMATH OpenOpenAlexFDO

Authors John R. Britnell, Mark Wildon

Publication date 17 September 2014

Published in Journal of Group Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1205.4960

zbMATH Keywords

centralizerscongruence latticesfinite transitive groupsjoin-coherent groupsmeet-coherent groupsprimitive permutation groupssets of partitionssubgroups of symmetric groups

Mathematics Subject Classification ID

Partitions of sets (05A18) Lattices (06B99) Characterization theorems for permutation groups (20B10) Primitive groups (20B15) Multiply transitive finite groups (20B20) Subgroups of symmetric groups (20B35)

Abstract: This paper introduces the notion of orbit coherence in a permutation group. Let $G$ be a group of permutations of a set $Omega$. Let $pi(G)$ be the set of partitions of $Omega$ which arise as the orbit partition of an element of $G$. The set of partitions of $Omega$ is naturally ordered by refinement, and admits join and meet operations. We say that $G$ is join-coherent if $pi(G)$ is join-closed, and meet-coherent if $pi(G)$ is meet-closed. Our central theorem states that the centralizer in $Sym(Omega)$ of any permutation $g$ is meet-coherent, and subject to a certain finiteness condition on the orbits of $g$, also join-coherent. In particular, if $Omega$ is a finite set then the orbit partitions of elements of the centralizer in $Sym(Omega)$ of $g$ form a lattice. A related result states that the intransitive direct product and the imprimitive wreath product of two finite permutation groups are join-coherent if and only if each of the groups is join-coherent. We also classify the groups $G$ such that $pi(G)$ is a chain and prove two further theorems classifying the primitive join-coherent groups of finite degree, and the join-coherent groups of degree $n$ normalizing a subgroup generated by an $n$-cycle.

Recommendations

• scientific article; zbMATH DE number 1501091
• scientific article; zbMATH DE number 1437253
• On Transitive Permutation Groups with Primitive Subconstituents
• Partitions and permutations
• Orbit equivalence and permutation groups defined by unordered relations.

Cited in

(6)

• The orchard cocycle
• Partitions and permutations
• scientific article; zbMATH DE number 1501091 (Why is no real title available?)
• scientific article; zbMATH DE number 1437253 (Why is no real title available?)
• Tracing the orbitals of the quantum permutation group
• Schurity and separability of quasiregular coherent configurations

This page was built for publication: Orbit coherence in permutation groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3190432)