If G is a semisimple Lie group of real rank at least two and Γ is an irreducible lattice in G, then every homomorphism from Γ to the outer automorphism group of a finitely generated free group has finite image.

Fix a prime number p. Let G be a p-modular Frobenius group with kernel N which is the minimal normal subgroup of G. We give the complete classification of G when N has three, four or five p-regular conjugacy classes. We also determine the structure of G when N has more than five p-regular conjugacy classes.

A group G is said to be a B(n,k) group if for any n-element subset A of G, ∣A2∣≤k. In this paper, characterizations of B(5,16) groups and B(5,17) groups are given.

The level l Fock space admits canonical bases and . They correspond to and -module structures. We establish that the transition matrices relating these two bases are unitriangular with coefficients in ℕ[v]. Restriction to the highest-weight modules generated by the empty l-partition then gives a natural quantization of a theorem by Geck and Rouquier on the factorization of decomposition matrices which are associated to Ariki–Koike algebras.

We apply the techniques of symmetric generation to establish the standard presentations of the finite simply laced irreducible finite Coxeter groups, that is, the Coxeter groups of types An, Dn and En, and show that these are naturally arrived at purely through consideration of certain natural actions of symmetric groups. We go on to use these techniques to provide explicit representations of these groups.

The operator that constructs the pseudovariety generated by the idempotent-generated semi-groups of a given pseudovariety is investigated. Several relevant examples of pseudovarieties generated by their idempotent-generated elements are given, as well as some properties of this operator. Particular attention is paid to the pseudovarieties in {J, R, L, DA} concerning this operator and their generator ranks and idempotent-generator ranks.

Nielsen transformations determine the automorphisms of a free group of rank n, and also of a free abelian group of rank n, and furthermore the generating n-tuples of such groups form a single Nielsen equivalence class. For an arbitrary rank n group, the generating n-tuples may fall into several Nielsen classes. Diaconis and Graham [‘The graph of generating sets of an abelian group’, Colloq. Math.80 (1999), 31–38] determined the Nielsen classes for finite abelian groups. We extend their result to the case of infinite abelian groups.

Let G be a group of odd order that contains a non-central element x whose order is either a prime p ≥ 5 or 3l, with l ≥ 2. Then, in , the group of units of ℤG, we can find an alternating unit u based on x, and another unit v, which can be either a bicyclic or an alternating unit, such that for all sufficiently large integers m we have that 〈um, vm〉 = 〈um〉 ∗ 〈vm〉 ≌ ℤ ∗ ℤ

We use coefficient systems on the affine Bruhat–Tits building to study admissible representations of reductive p-adic groups in characteristic not equal to p. We show that the character function is locally constant and provide explicit neighbourhoods of constancy. We estimate the growth of the subspaces of invariants for compact open subgroups.

The following theorem is proved. Let m, k and n be positive integers. There exists a number η=η(m,k,n) depending only on m, k and n such that if G is any residually finite group satisfying the condition that the product of any η commutators of the form [xm,y1,…,yk ]is of order dividing n, then the verbal subgroup of G corresponding to the word w=[xm,y1,…,yk ]is locally finite.

Let S be an inverse semigroup and let π:S→T be a surjective homomorphism with kernel K. We show how to obtain a presentation for K from a presentation for S, and vice versa. We then investigate the relationship between the properties of S, K and T, focusing mainly on finiteness conditions. In particular we consider finite presentability, solubility of the word problem, residual finiteness, and the homological finiteness property FPn. Our results extend several classical results from combinatorial group theory concerning group extensions to inverse semigroups. Examples are also provided that highlight the differences with the special case of groups.

Gaudin subalgebras are abelian Lie subalgebras of maximal dimension spanned by generators of the Kohno–Drinfeld Lie algebra . We show that Gaudin subalgebras form a variety isomorphic to the moduli space of stable curves of genus zero with n+1 marked points. In particular, this gives an embedding of in a Grassmannian of (n−1)-planes in an n(n−1)/2-dimensional space. We show that the sheaf of Gaudin subalgebras over is isomorphic to a sheaf of twisted first-order differential operators. For each representation of the Kohno–Drinfeld Lie algebra with fixed central character, we obtain a sheaf of commutative algebras whose spectrum is a coisotropic subscheme of a twisted version of the logarithmic cotangent bundle of .

We investigate the functors from modules to modules that occur as the summands of tensor powers and the functors from modules to Hopf algebras that occur as natural coalgebra summands of tensor algebras. The main results provide some explicit natural coalgebra summands of tensor algebras. As a consequence, we obtain some decompositions of Lie powers over the general linear groups.

Let G be a group. A subset X of G is said to be nonnilpotent if for any two distinct elements x and y in X, 〈x,y〉 is a nonnilpotent subgroup of G. If, for any other nonnilpotent subset X′ in G, ∣X∣≥∣X′ ∣, then X is said to be a maximal nonnilpotent subset and the cardinality of this subset is denoted by ω(𝒩G) . Using nilpotent nilpotentizers we find a lower bound for the cardinality of a maximal nonnilpotent subset of a finite group and apply this to the general linear group GL (n,q) . For all prime powers q we determine the cardinality of a maximal nonnilpotent subset of the projective special linear group PSL (2,q) , and we characterize all nonabelian finite simple groups G with ω(𝒩G)≤57 .

We show that the restriction of the Dehornoy ordering to an appropriate free subgroup of the three-strand braid group defines a left-ordering of the free group on k generators, k>1, that has no convex subgroups.

We classify semigroups in the title according to whether they have a finite or an infinite number ofℒ-classes or ℛ-classes. For each case, we provide a concrete construction using Rees matrix semigroups and their translational hulls. An appropriate relatively free semigroup is used to complete the classification. All this is achieved by first treating the special case in which one of the generators is idempotent. We conclude by a discussion of a possible classification of 2-generator completely regular semigroups.

Let G be a finite group, let p be a prime divisor of the order of G and let k(G) be the number of conjugacy classes of G. By disregarding at most finitely many non-solvable p-solvable groups G, we have with equality if and only if if is an integer, and CG(Cp) = Cp. This extends earlier work of Héthelyi, Külshammer, Malle and Keller.

Two subgroups A and B of a group G are said to be totally completely conditionally permutable (tcc-permutable) in G if X permutes with Yg for some g ∊ 〈X, Y〉, for all X ≤ A and Y ≤ B. We study the belonging of a finite product of tcc-permutable subgroups to a saturated formation of soluble groups containing all finite supersoluble groups.

In this note, we prove that the Gauss–Picard modular group PU(2,1;Θ1) has Property (FA). Our result gives a positive answer to a question by Stover [‘Property (FA) and lattices in SU(2,1)’, Internat. J. Algebra Comput.17 (2007), 1335–1347] for the group PU(2,1;Θ1).

It has long been known that there exist finite connected tetravalent arc-transitive graphs with arbitrarily large vertex-stabilizers. However, beside a well-known family of exceptional graphs, related to the lexicographic product of a cycle with an edgeless graph on two vertices, only a few such infinite families of graphs are known. In this paper, we present two more families of tetravalent arc-transitive graphs with large vertex-stabilizers, each significant for its own reason.