Introduction. An irreducible semigroup is a compact connected semigroup with identity which contains no proper compact connected subsemigroup containing the identity and meeting the minimal ideal. Since every compact connected semigroup with identity has an irreducible subsemigroup joining its identity to its minimal ideal, the study of the category of irreducible semigroups is basic in any quest for information about the structure of compact semigroups with identity. In a previous announcement [4], the authors described the notion of a hormos and conjectured that an irreducible semigroup is an irreducible hormos. (The structure of the latter was completely described—without proofs—in that announcement.) We also announced a number of categories of semigroups for which we are able to obtain this result. One distinguishing feature of an irreducible hormos is that the Dclass (and in fact even the u-class) decomposition is a totally ordered semigroup—in fact an /-semigroup [6]. I t may be conjectured that a study of semigroups whose P-class decomposition is totally ordered might lead to a description of all irreducible semigroups, and it is this motive which brings us to the results of this announcement. We shall give a brief outline of the techniques we use to prove our results. The details will appear in our forthcoming book. For terminology, the reader is referred to [ l ] and [4],