Related papers: Orbit coherence in permutation groups
Let $G$ be a finite group. A coprime commutator in $G$ is any element that can be written as a commutator $[x,y]$ for suitable $x,y\in G$ such that $\pi(x)\cap\pi(y)=\emptyset$. Here $\pi(g)$ denotes the set of prime divisors of the order…
We consider the permutation group algebra defined by Cameron and show that if the permutation group has no finite orbits, then no homogeneous element of degree one is a zero-divisor of the algebra. We proceed to make a conjecture which…
We describe the spreading property for finite transitive permutation groups in terms of properties of their associated coherent configurations, in much the same way that separating and synchronising groups can be described via properties of…
In the paper "Aquino, C., Jim\'enez, R., Mijangos, M., Morales Mel\'endez, Q.: On Invariant (co)homology of a group, preprint" are introduced two groups generated by the orbits of an action of a group on another group by automorphisms. One…
We generalize certain parts of the theory of group rings to the twisted case. Let G be a finite group acting (possibly trivially) on a field L of characteristic coprime to the order of the kernel of this operation. Let K in L be the fixed…
Let $m$ be a positive integer and let $\Omega$ be a finite set. The $m$-closure of $G\le$Sym$(\Omega)$ is the largest permutation group on $\Omega$ having the same orbits as $G$ in its induced action on the Cartesian product $\Omega^m$. The…
A permutation group is said to be quasiregular if every its transitive constituent is regular, and a quasiregular coherent configuration can be thought as a combinatorial analog of such a group: the transitive constituents are replaced by…
We consider orbit configuration spaces associated to finite groups acting freely by orientation preserving homeomorphisms on the $2$-sphere minus a finite number of points. Such action is equivalent to a homography action of a finite…
If $G$ is a group of permutations of a set $\Omega$, then the suborbits of $G$ are the orbits of point-stabilisers $G_\alpha$ acting on $\Omega$. The cardinalities of these suborbits are the subdegrees of $G$. Every infinite primitive…
Let $G$ be a nontrivial transitive permutation group on a finite set $\Omega$. An element of $G$ is said to be a derangement if it has no fixed points on $\Omega$. From the orbit counting lemma, it follows that $G$ contains a derangement,…
We ask what happens when the index set carries modal structure, with possibilities organized into a Kripke frame. We define modal exchangeability as invariance under accessibility-preserving automorphisms that fix a designated base world,…
In this article, we introduce the study of a class of finite groups $G$ which admits a subgroup which intersects all non-trivial subgroups of $G$. We also explore a subclass of it consisting of all groups $G$ in which the prime order…
The orbit problem is at the heart of symmetry reduction methods for model checking concurrent systems. It asks whether two given configurations in a concurrent system (represented as finite strings over some finite alphabet) are in the same…
Let S=Sym(\Omega) be the group of all permutations of a countably infinite set \Omega, and for subgroups G_1, G_2\leq S let us write G_1\approx G_2 if there exists a finite set U\subseteq S such that < G_1\cup U > = < G_2\cup U >. It is…
Some aspects of phase transitions can be more conveniently studied in the orbit space of the action of the symmetry group. After a brief review of the fundamental ideas of this approach, I shall concentrate on the mathematical aspect and…
The natural partial ordering of the orbit types of the action of the group of local gauge transformations on the space of connections in space-time dimension d<=4 is investigated. For that purpose, a description of orbit types in terms of…
Given a finite group $G$ and a faithful irreducible $FG$-module $V$ where $F$ has prime order, does $G$ have a regular orbit on $V$? This problem is equivalent to determining which primitive permutation groups of affine type have a base of…
Let $G$ be a connected compact Lie group, and let $M$ be a connected Hamiltonian $G$-manifold with equivariant moment map $\phi$. We prove that if there is a simply connected orbit $G\cdot x$, then $\pi_1(M)\cong\pi_1(M/G)$; if additionally…
Let $R$ be a graded ring. We introduce a class of graded $R$-modules called Gr\"obner-coherent modules. Roughly, these are graded $R$-modules that are coherent as ungraded modules because they admit an adequate theory of Gr\"obner bases.…
Let $\lambda=(\lambda_1,\lambda_2,...)$ be a \emph{partition} of $n$, a sequence of positive integers in non-increasing order with sum $n$. Let $\Omega:=\{1,...,n\}$. An ordered partition $P=(A_1,A_2,...)$ of $\Omega$ has \emph{type}…