Finitary Permutation Groups Study Notes
During my PhD, I participated in various study groups, one of which was the Combinatorics Study Group. The members (students, postdoc researchers and academics) would spend Wednesday afternoons counting things, studying graphs, groups and other mathematical objects. They would then adjourn to the Old Globe on Mile End Road (sadly now a Ladbrokes) where the real ales would be drained.
Permutations arise in the study of Combinatorics and Finitary Groups were key to my PhD study. I put these notes together as a knowledge session for the group. There is a proof that uses the Axiom of Choice and if I recall correctly, this led to a pub discussion where one of the senior academics declared they didn't believe it. For those of you that know some set theory, you will know that this is essentially a religious discussion.
I cannot actually remember when I wrote these, but they site Peter's Permutation Groups book so it must be after 1999.
A finitary permutation group is a natural generalization of a finite permutation group. The structure of a transitive finitary permutation group is surprisingly simple when its degree is infinite. Here we study primitivity, following P. M. Neumann’s work in the 1970s. We also study generalized solubility conditions on these groups. These notes arose from lectures aimed at an audience who had seen some basic permutation group theory, but little abstract group theory.