Bases of Permutation Groups and Boolean Representable Simplicial Complexes
Group Theory
2026-02-17 v2 Combinatorics
Abstract
A base of a permutation group (X,G) is a subset B of X such that its pointwise stabilizer is the trivial group. A list (x1,x2, ... ,xk) of elements of X is irredundant if each element is not in the pointwise stabilizer of its predecessors. We define a Boolean representable simplicial complex B(X,G) such that a subset Y of X is independent if and only if some enumeration of its elements is irredundant. In addition Y is a base if and only if its closure is X. We give a number of examples and close with a conjecture whose solution leads to a new proof of the Feit-Thompson Theorem.
Cite
@article{arxiv.2602.12912,
title = {Bases of Permutation Groups and Boolean Representable Simplicial Complexes},
author = {Stuart Margolis and John Rhodes},
journal= {arXiv preprint arXiv:2602.12912},
year = {2026}
}