In [2], chapter S, and also in the ATLAS ([1], p. 131), we give two presentations for 3 · Suz: 2, the normalizer of a certain 3-element in Conway's largest sporadic simple group Co1. These presentations extend naturally to presentations for groups having Co1 × 2 as image, leading to conjectured presentations for Co1 × 2 and Co1 (see [1], p. 183, although the form of one of the presentations there is slightly different from what we give here).

R denotes the set of real numbers. For any finite n, Rn denotes n-dimensional space with the usual (Hilbert space) metric, d.

In [3] we classified the real forms of cusp singularities and described their topology; on the way we gave a detailed treatment of the automorphism group. In further work on deformations of real cusp singularities it has been found that these results need completing in certain aspects, and this is the object of the present paper.

Let

be a non-degenerate quadratic form with integral coefficients. Further, let Q(x) be a zero form, i.e. let there exist x ≠ 0 in ℤn such that Q(x) = 0. Then we know from Cassels[2], (Davenport[6] and ‘a slightly more general result’ from Birch and Davenport [1]) that there exists a ‘small’ solution x in ℤn of the equation Q(x) = 0; more precisely, if

then there exists x ≠ 0 in ℤn such that Q(x) = 0 and further

(Here, and throughout this section, k will denote a number, not necessarily the same at each occurrence, which depends only on n.) An analogue of this estimate for ‘integral’ quadratic forms over algebraic number fields was proved in [8], with the exponent (n − 1)/2 remaining intact.

Let R denote a commutative Noetherian ring with an identity element and N a finitely generated R -module. When K is a submodule of N and A an ideal of R the Artin–Rees lemma states that there is an integer q ≥ 0 such that AnN ∩ K = An−q(AqN ∩ K) for all n ≥ q (Rees[4]; Northcott [3], theorem 20, p. 210; Atiyah and Macdonald [1], proposition 10·9, p. 107; Nagata [2], theorem (3·7), p. 9). The above equation belongs to the family of module equations involving A and K which is considered below. We characterize, in terms of A and K, the set of submodules X of N for which there is an integer q = q(X) ≥ 0 satisfying the equation

Equation (1), which we call the Artin–Rees equation related to A and K, gets its maximal force when X is largest and we determine the best possible solution in this sense. Notice that for any submodule X satisfying (1), X ⊆ K:NAn for all n ≥ q(X). Since N is a Noetherian R-module ([3], proposition 1 (corollary), p. 177), there is an integer t ≥ 1 such that K:NAt = K:NAt+n for all n ≥ 0. We define M = K:NAt and prove, in Theorem 1, that X = Q satisfies equation (1), for a suitable integer q(Q) ≥ 0, if and only if K ⊆ Q:NAυ ⊆ M for some integer υ ≥ 0. In topological terms, the A-adic topology of K coincides with the topology induced by the A-adic topology of N on the subspace Q if the inequality K ⊆ Q:NAυ ⊆ M is satisfied. It follows that the solution set of equation (1) includes every submodule of N of the form An−rK when n ≥ r = q(K) as well as every submodule lying between K and M. Hence, X = M is the strongest solution, in the sense that M is the largest such submodule contained in An−s (AsN ∩ K): NAn for all n ≥ s = q(M). Recall that M is strictly larger than K if and only if A is contained in at least one prime ideal of R belonging to K ([3], theorem 14 (corollary 1), p. 193). Thus, equation (1) has a unique solution (necessarily X = K) if and only if A is not contained in any prime ideal of R belonging to any solution.

Let A be a (commutative, Noetherian) local ring. The big Cohen-Macaulay conjecture asserts that if a1,…,an is a system of parameters for A there exists an A-module M such that a1,…,an is an M-sequence. Then we say that M is a big Cohen-Macaulay module with respect to a1,…,an. This conjecture implies some important conjectures in commutative algebra and has been established affirmatively by M. Hochster for any ring containing a field as a subring (see [9] for further information).

In this paper, multigraphs will have no loops. For a multigraph G, the least number of colours needed to colour the edges of G in such a way that no two edges on the same vertex of G have the same colour, is called the edge-chromatic number, or the chromatic index, of G, and denoted χ′(G). It is clear that if Δ(G) denotes the maximum degree of G, then Δ(G) ≤ χ′(G). If Δ(G) = χ′(G), then G is Class 1, and otherwise G is Class 2.

The first note gives two new characterization of the ideal-transform T(I) of a finitely generated regular ideal I in a large class of rings. Specifically, if b is a regular element in I, then there exists a regular element c ∈ I and a multiplicatively closed set S of regular elements in R such that T(I) = T((b, c)R) = Rb ∩ Rc = Rb ∩ Rs, so T(I) is the ideal-transform of an ideal generated by two elements, and every ring of the form Rb ∩ Rs is an ideal-transform. The second theorem shows that if T(I) is integrally closed, then it is a Krull ring. As an application of these results we strengthen some known results concerning when certain ideal-transforms of the Rees ring R(R, I) are finite or integral extension rings of R(R, I).

In this paper we complete the enumeration, begun in [5], of the maximal subgroups of the Fischer group Fi22 and its automorphism group Fi22:2. It turns out that the lists of maximal subgroups given in [5] and [2] are complete. (Note however that in ([5], theorem (A) (iii)), ) should read .) More precisely, we prove

Main Theorem (i) The simple group Fi22 has exactly 14 conjugacy classes of maximal subgroups, as follows:

(ii) The group Aut (Fi22) ≅ Fi22: 2 has exactly 13 conjugacy classes of maximal subgroups, as follows:

A group G is called a triangle group if it can be presented in the form

It is well-known that G is isomorphic to a subgroup of PSL2(ℂ), that a is of order l, b is of order m and ab is of order n. If

then G contains the fundamental group of a positive genus orientable surface as a subgroup of finite index whenever s(G) ≤ 1; in particular G is infinite. Furthermore, if s(G) < 1, the genus of the surface is greater than 1 and consequently G contains a free group of rank 2.

Let A be a commutative domain, finitely generated as an algebra over a field k of characteristic zero and write (A) for the ring of k -linear differential operators. Then A is an Ore domain with quotient division ring, say Q. Our main result is that A is a maximal order in Q if and only if (i) A = ∩{Ap: height (p) = 1} and (ii) A is geometrically unibranched. In this case A is also a Krull domain with no reflexive ideals. We also determine some conditions under which A is simple.

A group G is defined to be a B-group if any primitive permutation group which contains G as a regular subgroup is doubly transitive. In the case where G is finite the existence of families of B-groups has been established by Burnside, Schur, Wielandt and others and led to the investigation of S-rings. A survey of this work is given in [3], sections 13·7–13·12. In this paper the possibility of the existence of countable B-groups is discussed. Three distinct methods are given to embed a countable group as a regular subgroup of a simply primitive permutation group, and in each case a condition on the square root sets of elements of the group is necessary for the embedding to be carried out. It is easy to demonstrate that this condition is not sufficient, and the general question remains open.

In a recent article [13] a series of vanishing theorems was obtained for the (co)homology of locally nilpotent groups. These results assert that if (co)homology vanishes in low dimensions (0 or 1), then it vanishes in all dimensions, provided that the module satisfies an appropriate finiteness condition.

The purpose of this paper is to classify the finite simple Moufang loops. A Moufang loop M is a loop which satisfies the identity

note that the equivalent identities ((xy)z)y = x(y(zy)), x(y(xz)) = ((xy)x)z also hold, by [2], p. 115. The Moufang loop M is simple if it has no non-trivial proper homomorphic images, or equivalently, if it has no non-trivial proper normal subloops. For basic definitions and properties of Moufang loops, see [2] – in particular, the Jordan–Hölder theorem holds for finite Moufang loops ([2], p. 67). Of course if the finite simple loop M is associative, then M is a simple group, and hence is determined by the classification of finite simple groups. In [9], Paige defines, for each finite field GF(q), a finite simple Moufang loop M(q) which is not associative – M(q) is essentially the set of units in the eight-dimensional split Cayley algebra over GF(q), modulo the centre (we shall describe M(q) in much more detail in §2).

In [1], Dowbor, Ringel and Simson consider hereditary artinian rings of finite representation type; it is known that if A is an hereditary artinian algebra of finite representation type, finite-dimensional over a field, then it corresponds to a Dynkin diagram in a natural way; they show that an hereditary artinian ring of finite representation type corresponds to a Coxeter diagram. However, in order to construct an hereditary artinian ring of finite representation type corresponding to a Coxeter diagram that is not Dynkin, they show that it is necessary though not sufficient to find an extension of skew fields such that the left and right dimensions are both finite but are different. No examples of such skew fields were known at the time. In [3], I constructed such extensions, and the main aim of this paper is to extend the methods of that paper to construct an extension of skew fields having all the properties needed to construct an hereditary artinian ring of finite representation type corresponding to the Coxeter diagram I2(5).

Arithmetic Fuchsian and Kleinian groups can all be obtained from quaternion algebras (see [2,12]). In a series of papers ([8,9,10,11]), Takeuchi investigated and characterized arithmetic Fuchsian groups among all Fuchsian groups of finite covolume, in terms of the traces of the elements in the group. His methods are readily adaptable to Kleinian groups, and we obtain a similar characterization of arithmetic Kleinian groups in §3. Commensurability classes of Kleinian groups of finite co-volume are discussed in [2] and it is shown there that the arithmetic groups can be characterized as those having dense commensurability subgroup. Here the wide commensurability classes of arithmetic Kleinian groups are shown to be approximately in one-to-one correspondence with the isomorphism classes of the corresponding quaternion algebras (Theorem 2) and it easily follows that there are infinitely many wide commensurability classes of cocompact Kleinian groups, and hence of compact hyperbolic 3-manifolds.

In this paper we elucidate the structure of locally soluble absolutely irreducible skew linear groups, and more generally of locally soluble normal subgroups of arbitrary absolutely irreducible skew linear groups. The conclusions are similar to those for soluble such subgroups, but the proofs are not. We also give a couple of applications to the theory of group algebras. Much of our argument works with considerably weaker hypotheses and therefore our methods may well have wider application than just to absolutely irreducible groups.

Let (R, M) be a commutative Noetherian local ring having an identity, and assume the residue field R/M is infinite. If I is an ideal in R, recall that an ideal J contained in I is called a reduction of I if JIn = In + 1 for some non-negative integer n. A reduction of J of I is called a minimal reduction of I if it does not properly contain another reduction of I. Reductions (and minimal reductions) were introduced and studied by Northcott and Rees[8]. If J is a reduction of I we define the reduction number of I with respect to J, denoted rJ(I), to be the smallest non-negative integer n such that JIn = In + 1 (note that rJ(I) = 0 if and only if J = I). The reduction number of I (sometimes referred to as the reduction exponent) is defined as r(I) = min{rj(I)|J ⊆ I is a minimal reduction of I}.

For many questions, both in Mathematics and in Physics, the most important representations of a Lie algebra a are those which are unitarizable and highest weight (such representations are automatically irreducible). The classification of such representations when a is a finite-dimensional complex simple Lie algebra was completed only recently (see [3] for details and further references) and the corresponding question when a is an affine algebra was investigated by Jakobsen and Kac [5]. Theorem 3·1 of that paper contains a list of unitarizable highest weight representations which is claimed to be exhaustive. However, we shall show that this list is incomplete by constructing a further family of such representations. In fact, the classification problem in the affine case must be considered to be still open.

This paper is largely inspired by the work and results of Iitaka in [6]. The study undertaken is of pairs X & C, up to birational equivalence, where X is a projective, non-singular surface and C is a reduced curve on X. In [6] Iitaka gives a classification of &-minimal pairs and introduces the important idea of the #-minimal model. The classification of &-minimal pairs given here is a slight improvement on that of Iitaka on account of the use of Mori theory in place of more classical methods. Before the classification in Section 3 we have included a section on the uniqueness of the &-minimal model which does not occur in the work of Iitaka.