Automorphism groups of Boolean powers with ample generics
Abstract
Let A be a finite non-abelian simple Mal'cev algebra, such as for example a finite simple non-abelian group or a finite simple non-zero ring. We show that the automorphism group of a filtered Boolean power of A by the countable atomless Boolean algebra A has ample generics. This uses the decomposition of that automorphism group as a semidirect product of a certain closure of a Boolean power of the automorphism group of A by B and the stabiliser of finitely many points in the homeomorphism group Homeo2ω of the Cantor space 2ω by the authors. As an intermediate step, we show that pointwise stabilisers in Homeo2ω have ample generics, which extends the result of Kwiatkowska that Homeo2ω has ample generics.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.