Dr Colin Reid

We give criteria on an inverse system of finite groups that ensure that the limit is just infinite or hereditarily just infinite. More significantly, these criteria are 'universal' in that all (hereditarily) just infinite profinite groups arise as limits of the specified form. Inspired by a recent paper of Wilson, we give special consideration to (hereditarily) just infinite profinite groups that are not virtually pro-p. © 2011 London Mathematical Society.

Let G be a finite non-nilpotent group such that every Sylow subgroup of G is generated by at most d elements, and such that p is the largest prime dividing {pipe}G{pipe}. We show that G has a non-nilpotent image G/N, such that N is characteristic and of index bounded by a function of d and p. This result will be used to prove that G has a nilpotent normal subgroup of index bounded in terms of d and p. © 2011 The Author(s).

A residually finite (profinite) group G is just infinite if every non-trivial (closed) normal subgroup of G is of finite index. This paper considers the problem of determining which (closed) subgroups of finite index of a just infinite group are themselves just infinite. If G is just infinite and not virtually abelian, we show that G is hereditarily just infinite if and only if all maximal (closed) subgroups of finite index are just infinite. This result will be used to show that a finitely generated pro-p group G is just infinite if and only if G has no non-trivial finite normal subgroups and F(G) has a just infinite open subgroup. © Elsevier Inc.

A profinite group G is just infinite if every closed normal subgroup of G is of finite index. We prove that an infinite profinite group is just infinite if and only if, for every open subgroup H of G, there are only finitely many open normal subgroups of G not contained in H. This extends a result recently established by Barnea, Gavioli, Jaikin-Zapirain, Monti and Scoppola (2009) in [1], who proved the same characterisation in the case of pro-p groups. We also use this result to establish a number of features of the general structure of profinite groups with regard to the just infinite property. © Elsevier Inc.