An irredundant base of a group acting faithfully on a finite set is a sequence of points in that produces a strictly descending chain of pointwise stabiliser subgroups in , terminating at the trivial subgroup. Suppose that is or acting primitively on , and that the point stabiliser is primitive in its natural action on points. We prove that the maximum size of an irredundant base of is , and in most cases . We also show that these bounds are best possible.

中文翻译：

---

对称群的无冗余碱基

群的不冗余基忠实地作用于有限集是一系列点产生严格下降的点稳定子群链，终止于平凡子群。假设是或者原始地作用于，并且点稳定器的自然作用是原始的点。我们证明了不冗余基的最大尺寸是，并且在大多数情况下。我们还表明这些界限是最好的。