A transitive group G of permutations of a set �¶ is primitive if the only G-invariant equivalence relations on �¶ are the trivial and universal relations. If �¿ �¸ �¶, then the orbits of the stabilizer G�¿ on �¶ are called the �¿-suborbits of G; when G acts transitively the cardinalities of these �¿-suborbits are the subdegrees of G. If G acts primitively on an infinite set �¶, and all the suborbits of G are finite, Adeleke and Neumann asked if, after enumerating the subdegrees of G as a non-decreasing sequence 1 = m0 m1 . . . , the subdegree growth rates of infinite primitive groups that act distance-transitively on locally finite distance-transitive graphs are extremal, and conjecture that there might exist a number c that perhaps depends upon G, perhaps only on the size of some suborbit m, such that mr c(m . 2)r.1. In this paper it is shown that such an enumeration is not desirable, as there exist infinite primitive permutation groups possessing no infinite subdegree, in which two distinct subdegrees are each equal to the cardinality of infinitely many �¿-suborbits. The examples used to show this provide several novel methods for constructing infinite primitive graphs. A revised enumeration method is then proposed, and it is shown that, under this, Adeleke and Neumann�fs question may be answered, at least for groups exhibiting suitable rates of growth.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados