Related papers: Corrigendum and addendum to "Transitive permutatio…
A transitive simple subgroup of a finite symmetric group is very rarely contained in a full wreath product in product action. All such simple permutation groups are determined in this paper. This remarkable conclusion is reached after a…
This article began as a study of the structure of infinite permutation groups G in which point stabilisers are finite and all infinite normal subgroups are transitive. That led to two variations. One is the generalisation in which point…
We classify finite groups in which the centralisers of certain non-central elements are soluble. This includes a full structural description of groups whose non-central element centralisers are all soluble, and a reduction theorem for the…
In representation theory of finite groups an important role is played by irreducible characters of p-defect 0, for a prime p dividing the group order. These are exactly those vanishing at the p-singular elements. In this paper we generalize…
We study petal diagrams of knots, which provide a method of describing knots in terms of permutations in a symmetric group $S_{2n+1}$. We define two classes of moves on such permutations, called trivial petal additions and crossing…
Suppose that a group $G$ acts transitively on the points of a non-Desarguesian plane, $\mathcal{P}$. We prove first that the Sylow 2-subgroups of $G$ are cyclic or generalized quaternion. We also prove that $\mathcal{P}$ must admit an odd…
In this series of two articles, we prove that every action of a finite group $G$ on a finite and contractible $2$-complex has a fixed point. The proof goes by constructing a nontrivial representation of the fundamental group of each of the…
The Addition Theorem for the algebraic entropy of group endomorphisms of torsion abelian groups was proved in [4]. Later, this result was extended to all abelian groups [3] and, recently, to all torsion finitely quasihamiltonian groups [7].…
Let $G$ be a transitive permutation group acting on a finite set $\Omega$ with $|\Omega|\geqslant 2$. An element of $G$ is said to be a derangement if it has no fixed points on $\Omega$, and by a theorem of Jordan from 1872, $G$ always…
The paper is devoted to generalizations of actions of topological groups on manifolds. Instead of a topological group, we consider a local topological group generalizing the notion of a~germ or a~neighborhood in a topological group. The…
Fixed point ratios for primitive permutation groups have been extensively studied. Relying on a recent work of Burness and Guralnick, we obtain further results in the area. For a prime $p$ and a finite group $G$, we use fixed point ratios…
In his volume [5] on "Symmetry Breaking for Compact Lie Groups" Mike Field quotes a private communication by Jorge Ize claiming that any bifurcation problem with absolutely irreducible group action would lead to bifurcation of steady…
We apply the non-perturbative renormalization group method to a class of out-of-equilibrium phase transitions (usually called ``parity conserving'' or, more properly, ``generalized voter'' class) which is out of the reach of perturbative…
For $\mathrm{O}(\mathrm{q},k)$, the orthogonal group over a field $k$ of characteristic 2 with respect to a quadratic form $\mathrm{q}$, we discuss the isomorphism classes of fixed points of involutions. When the quadratic space is either…
J. Wiegold conjectured that if n>2 and G is a finite simple group, then the action of Aut(F_n) on Epi(F_n,G) is transitive. In this note we consider analogous questions where G is a compact Lie group, a non-compact simple analytic group or…
We prove that a random group has fixed points when it isometrically acts on a CAT(0) cube complex. We do not assume that the action is simplicial.
We continue the work of [5] and [3], in which are considered papers in the literature that discuss fixed point assertions in digital topology. We discuss published assertions that are incorrect or incorrectly proven; that are severely…
In this note, we complete the classification of extremal doubly even self-dual codes with 2-transitive automorphism groups.
This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient groups. Part II extends the theory in the developmnent of…
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…