A characterization of group congruences on an eventually regular semigroup S is provided. It is shown that a group congruence is dually right modular in the lattice of congruences on S. Also for any group congruence ℸ and any congruence p on S, ℸ Vp and kernel ℸ Vp are described.

A filtration is constructed for each dual Weyl module of a connected reductive group in prime characteristic p, and the quotients of the filtration are identified when the highest weight is far enough from the walls of the dominant chamber. The existence of certain composition factors is deduced.

We give new presentations of the five Mathieu groups, the simple groups J1, J2, HS, McL, Co3, and some other simple and related groups. All generators in these presentations are involutions. Our presentations are simpler than the known presentations of this type for the groups mentioned above.

There are some well-known laws that the commutator satisfies in groups, and that go by some or all of the names Jacobi, Witt, Hall; and there are also some lesser-known laws. This is an attempt at an axiomatic study of the interdependence and independence of these laws.

Let Gbe a primitive permutation group on a finite set Ω. We investigate the subconstitutents of G, that is the permutation groups induced by a point stabilizer on its orbits in Ω, in the cases where Ghas a diagonal action or a product action on Ω. In particular we show in these cases that no subconstituent is doubly transitive. Thus if G has a doubly transitive subconstituent we show that G has a unique minimal normal subgroup N and either N is a nonabelian simple group or N acts regularly on Ω: we investigate further the case where N is regular on Ω.

We give a self-contained proof of the O'Nan-Scott Theorem for finite primitive permutation groups.

We study the embeddings of a finite p-group U into Sylow p-subgroups of Sym (U) induced by the right regular representation p: U→ Sym(U). It turns out that there is a one-to-one correspondence between the chief series in U and the Sylow p-subgroups of Sym (U) containing Up. Here, the Sylow p-subgroup Pσ of Sym (U) correspoding to the chief series σ in U is characterized by the property that the intersections of Up with the terms of any chief series in Pσ form σp. Moreover, we see that p: U→ Pσ are precisely the kinds of embeddings used in a previous paper to construct the non-trivial countable algebraically closed locally finite p-groups as direct limits of finite p-groups.

Let G be a group factorized by finitely many pairwise permutable nilpotent subgroups. The aim of this paper is to find conditions under which at least one of the factors is contained in a proper normal subgroup of G.

We determine all conjugacy classes of maximal local subgroups of Thompson's sporadic simple group, and all maximal non-local subgroups except those with socle isomorphic to one of five particular small simple groups.

We determine all conjugacy classes of maximal p-local subgroups of the Monster for p ≠ 2.

It is proved that a finite soluble group of order n has at most (n − 1)/(q − 1) maximal subgroups, where q is the smallest prime divisor of n.

The growth sequence of a finite semigroup S is the sequence {d(Sn)}, where Sn is the nth direct power of S and d stands for minimum generating number. When S has an identity, d(Sn) = d(Tn) + kn for all n, where T is the group of units and k is the minimum number of generators of S mod T. Thus d(Sn) is essentially known since d(Tn) is (see reference 4), and indeed d(Sn) is then eventually piecewise linear. On the other hand, if S has no identity, there exists a real number c > 1 such that d(Sn) ≥ cn for all n ≥ 2.

We show that every such semigroup is a homomorphic image of a subsemigroup of some finite inverse semigroup. This shows that the pseudovariety generated by the finite inverse semigroups consists of exactly the finite semigroups with commuting idempotents.

We compute the kernel of cup product of 1-dimensional cohomology classes for a group G acting trivially on Z or F2, by means of the naturality of cup product and the 5-term exact sequence of low degree of a suitable LHS spectral sequence. We determine thereby when cup product is injective, and when it is null.

An inverse semigroup S is said to be modular if its lattice 𝓛𝓕 (S) of inverse subsemigroups is modular. We show that it is sufficient to study simple inverse semigroups which are not groups. Our main theorem states that such a semigroup S is modular if and only if (I) S is combinatorial, (II) its semilattice E of idempotents is “Archimedean” in S, (III) its maximum group homomorphic image G is locally cyclic and (IV) the poset of idempotents of each 𝓓-class of S is either a chain or contains exactly one pair of incomparable elements, each of which is maximal. Thus in view of earlier results of the second author a simple modular inverse semigroup is “almost” distributive. The bisimple modular inverse semigroups are explicitly constructed. It is remarkable that exactly one of these is nondistributive.

K. D. Magill has investigated the semigroup generated by the idempotent continuous mappings of a topological space into itself and examined whether this semigroup determines the space to within homeomorphism. By analogy with this (and related work of Bridget Bos Baird) we now consider the semigroup generated by nilpotent continuous partial mappings of a space into itself.

A semigroup is eventually regular if each of its elements has some power that is regular. Let 𝓚 be one of Green's relations and let ρ be a congruence on an eventually regular semigroup S. It is shown for 𝓚 = 𝓛, 𝓡 and 𝓓 that if A and B are regular elements of S/ρ that are 𝓚-related in S/ρ then there exist elements a ∈ A, b ∈ B such that a and b are 𝓚-related in S. The result is not true for 𝓗 or 𝓙.

A method for constructing Fitting-Schunck classes is given: the method is an adaptation of one given by C. L. Kanes for constructing Fitting formations, and generalizes the Fitting-Schunck class construction given by Cossey in 1981. A criterion for deciding which of the Fitting-Schunck classes so constructed are formations is given.

Sandwich semigroups were introduced in [4], [5] and [6]. Green's relations (for regular elements) were characterized for these semigroups in [11] and [13]. Sandwich semigroups of continuous functions first made their appearance in [5]. In this paper, we consider only sandwich semigroups of continuous functions and we refer to them simply as sandwich semigroups. We now recall the definition. Let X and Y be topological spaces and fix a continuous function α from Y into X. Let S(X, Y, α) denote the semigroup of all continuous functions from X into Y where the product fg of f, g ε S(X, Y, α) is defined by fg = f ∘ α ∘ g. We refer to S(X, Y, α) as a sandwich semigroup with sandwich function α. If X = Y and α is the identity map then S(X, Y, α) is, of course, just S(X), the semigroup of all continuous selfmaps of X.

Recall that a Poincaré Duality group G is said to be smoothly realisable when there exists a smooth closed manifold XG of homotopy type K(G, 1). In this note we prove

Theorem 1. Let

be an exact sequence of groups in which each Si is a Surface group, withfor i ≠ j, Ф is finite and G is torsion free. Then the Poincaré Duality group G is smoothly realisable.