{"id":"arxiv/2602.12912","url":"https://arxiv.org/abs/2602.12912","tags":["math.GR","math.CO"],"score":0,"title":"Bases of Permutation Groups and Boolean Representable Simplicial Complexes","domain":"math.GR","source":"arxiv","authors":["Stuart Margolis","John Rhodes"],"reviews":0,"subject":"math.GR","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-13","reactions":{}}