More generalised Sylow theorems

Abstract

The study of classes of finite groups is divided into two parts. The projective theory studies formations and Schunck classes. The dual injective theory studies Fitting classes. In each type of class a generalisation of Sylow's theorem holds. In this paper we seek further generalisations of Sylow's theorem which hold for classes which are neither injective nor projective, but obey other related properties. Firstly a common framework for the injective and projective theories is constructed. Within the context of this common framework further types of Sylow theorem can then be sought. An example is given of a property which is a simple hybrid of injectivity and projectivity which we will call ‘interjectivity’. A generalised Sylow theorem is then proved in the interjective case.