Fixed point and random fixed point theorems are presented for weakly inward maps. Also a continuation theorem for weakly inward maps is presented.

In a previous note [3], Mennicke and I showed that the relations

(8, 7|2, 3): A8=B7=(AB)2=(AB)2=(A-1B)2=(A-1B)3=E

define a group of order 10752. As we remarked, the results of §§ 2, 3 of that note are not restricted in their application to this group; they apply to the group

[3, 7]+: B7=(AB)2=(A-1B)3=E

and to any factor group of this group which in turn has Klein's simple group of order 168, defined by

(4,7|2, 3): A4=B7=(AB)2=(A-1B)3=E,

as a factor group. In this note I use these results to establish alternative “weaker” definitions for Klein's group and for two groups discussed by Sinkov [4], namely (8, 7|2, 3) defined above and a factor group of this group of order 1344. These latter groups are eloquently discussed by Coxeter [1].

The object of this paper is to redevelop the classical theory of multipliers of Fuchsian groups [16] and to attempt a classification. The language which appears most appropriate is that of group extensions and the cohomology of groups. This viewpoint is not entirely novel [12] but the entire theory has never been based on it before.

Let X be a proper geodesic metric space which is \delta-hyperbolic in the sense of Gromov. We study a class of functions on X, called horofunctions, which generalize Busemann functions. To each horofunction is associated a point in the boundary at infinity of X. Horofunctions are used to give a description of the boundary. In the case where X is the Cayley graph of a hyperbolic group \Gamma, we show, following ideas of Gromov sketched in his paper Hyperbolic groups, that the space of cocycles associated to horofunctions which take integral values on the vertices is a one-sided subshift of finite type.

In a series of papers [6], [7], [8], [10], Munn has considered the problem of constructing all irreducible representations of a semigroup by matrices over a field. In [10], he showed how to construct all the irreducible representations of an arbitrary inverse semigroup from those of associated Brandt semigroups. In this paper, we generalize the method of [10] to give a construction for the irreducible representations of an arbitrary semigroup from those of certain associated semigroups

Let d(n) denote the number of positive divisors of. A long time ago, Erdös and Mirsky [1] raised the question whether the equation d(n) = d(n+l) holds for infinitely many n. It does not seem easy to settle this problem, and in the present note we give a partial result.

In the literature there are several generalisations to non-commutative rings of the notion of a unique factorisation domain from commutative algebra. This paper follows in the spirit of [1, 3] and is set in the context of Noetherian rings. In [3], A. W. Chatters and the author denned a Noetherian UFR (unique factorisation ring) to be a prime Noetherian ring R in which every non-zero prime ideal contains a prime ideal generated by a non-zero normal element p, that is, by an element p such that pR = Rp. The class of Noetherian UFRs includes the Noetherian UFDs studied by Chatters in [1], while a commutative Noetherian ring is a UFR if and only if it is a UFD in the usual sense. For a Noetherian UFR R, the following are simple consequences of the definition:

(i) every non-zero ideal of R contains a non-zero normal element;

(ii) the set N(R) of non-zero normal elements of R is a unique factorisation monoid in the sense of [4, Chapter 3].

Serre [6] has recently created a theory of some generality in response to a query from Manin about the size of the number N(x) of (indefinite) ternary quadratic forms AX2 + BY2 + CZ2 that represent zero and have coefficients of magnitudes not exceeding x.

We show how the solution to certain diophantine equations involving the discriminant of complex quadratic fields leads to the divisibility of the class numbers of the underlying fields. This not only generalizes certain results in the literature such as [2], [4]–[6] but also shows why certain hypotheses made in these results are actually unnecessary since, as our criteria demonstrate, these hypotheses are forced by the solution of the diophantine equations involved. Our methods are based only on the most elementary properties of a principal ideal in a complex quadratic field.

A number of classical theorems of ring theory deal with nilness and nilpotency of the Jacobson radical of various ring constructions (see [10], [18]). Several interesting results of this sort have appeared in the literature recently. In particular, it was proved in [1] that the Jacobson radical of every finitely generated PI-ring is nilpotent. For every commutative semigroup ring RS, it was shown in [11] that if J(R) is nil then J(RS) is nil. This result was generalized to all semigroup algebras satisfying polynomial identities in [15] (see [16, Chapter 21]). Further, it was proved in [12] that, for every normal band B, if J(R) is nilpotent, then J(RB) is nilpotent. A similar result for special band-graded rings was established in [13, Section 6]. Analogous theorems concerning nilpotency and local nilpotency were proved in [2] for rings graded by finite and locally finite semigroups.

In the study of idealizer rings in [14], the global dimensions of certain subrings were calculated. This work was extended by Goodearl [9]. Here it is shown, in Section 1, that the techniques involved can be used rather more generally than was apparent there. The results concern a ring S with a right ideal A such that SA = S, and a subring R of S containing A. They describe gl dim R in terms of gl dim S and the projective dimensions of simple subfactors of S/R or R/A, provided that these R-modules are sufficiently well conditioned.

Let $K$ be a field of characteristic zero and $A_{2}:=A_{2}(K)$ the 2$nd$–Weyl algebra over $K$. We establish a close connection between the maximal left ideals of $A_{2}$ and the simple derivations of $K[X_{1},X_{2}]$.

MAIN THEOREM. Let$d = \partial_1 + \beta\partial_2$be a simple derivation of$K[X_1, X_2]$with$\beta\in K[X_1, X_2]$. Then, there exists$\gamma\in K[X_1, X_2]$such that$d + \gamma$generates a maximal left ideal of$A_2$. More precisely, the following is true:

1. $\deg_{X_2} (\beta) \geq 2$ or $\deg_{X_2} (\beta) = 1$ and $\deg_{X_1} (\partial_2(\beta)) \geq 1$;

2. $d + gX_2$generates a maximal left ideal of$A_2$if$g \in K[X_1]\\{0\}$is such that

1. (a) $g \in -(\partial^2_2(\beta)/2)\mathbb{N}$when$\deg_{X_2} (\beta) \geq 2$,

2. (b) $\deg_{X_1} (g) < \deg_{X_1} (\partial_2(\beta))$when$\deg_{X_2} (\beta) = 1$.

As applications, we obtain large families of concrete examples of cyclic maximal left ideals of $A_2$; such examples have been rather scarce so far.

Classification of AS-regular algebras is one of the major projects in non-commutative algebraic geometry. In this paper, we will study when given AS-regular algebras are graded Morita equivalent. In particular, for every geometric AS-regular algebra A, we define another graded algebra A, and show that if two geometric AS-regular algebras A and A' are graded Morita equivalent, then A and A' are isomorphic as graded algebras. We also show that the converse holds in many three-dimensional cases. As applications, we apply our results to Frobenius Koszul algebras and Beilinson algebras.

In this note, we show that results of U. Baumgartner and G. A. Willis concerning contraction groups of automorphisms of metrizable totally disconnected, locally compact groups remain valid also in the non-metrizable case, if one restricts attention to automorphisms for which small tidy subgroups exist.

An inverse semigroup whose idempotents form an ω-chain e0 > e1 > e2 > … is called briefly an ω-semigroup. A structure theorem for simple ω-semigroups was established by Kočin [7]; a related structure theorem for simple, and also general, ω-semigroups was proved by Munn [10]. These results represent an extension of the structure theorem for bisimple a ω-semigroups due to Reilly [14].

We study bi-invariant word metrics on groups. We provide an efficient algorithm for computing the bi-invariant word norm on a finitely generated free group and we construct an isometric embedding of a locally compact tree into the bi-invariant Cayley graph of a nonabelian free group. We investigate the geometry of cyclic subgroups. We observe that in many classes of groups, cyclic subgroups are either bounded or detected by homogeneous quasimorphisms. We call this property the bq-dichotomy and we prove it for many classes of groups of geometric origin.

Let G be a finite group. A minimal subgroup of G is a subgroup of prime order. A subgroup of G is called S-quasinormal in G if it permutes with each Sylow subgroup of G. A group G is called an MS-group if each minimal subgroup of G is S-quasinormal in G. In this paper, we investigate the structure of minimal non-MS-groups (non-MS-groups all of whose proper subgroups are MS-groups).

If the set K of r+1 distinct integers k0, k1 …, kr has the property that the (r+1)r differences ki–kj (0≦i, j≦r, i≠j) are distinct modulo r2+r+1, K is called a perfect difference set modr2+r+1. The existence of perfect difference sets seems intuitively improbable, at any rate for large r, but in 1938 J. Singer [1] proved that, whenever r is a prime power, say r = pn, a perfect difference set mod p2n+pn+1 exists. Since the appearance of Singer's paper several authors have succeeded in showing that for many kinds of number r perfect difference sets mod r2+r+1 do not exist; but it remains an open question whether perfect difference sets exist only when r is a prime power (for a comprehensive survey see [2]).

Let be a group-theoretic property. We say a group has a finite covering by -subgroups if it is the set-theoretic union of finitely many -subgroups. The topic of this paper is the investigation of groups having a finite covering by nilpotent subgroups, n-abelian subgroups or 2-central subgroups.

R. Baer [12; 4.16] characterized central-by-finite groups as those groups having a finite covering by abelian subgroups. In [6] it was shown that [G: ZC (G)] finite implies the existence of a finite covering by subgroups of nilpotency class c, i.e. ℜc-groups. However, an example of a group is given there which has a finite covering by ℜ2-groups, but Z2(G) does not have finite index in the group. These results raise two questions, on which we will focus our investigations.

Let G be a finite linear group of degree n; that is, a finite group of automorphisms of an n-dimensional complex vector space (or, equivalently, a finite group of non-singular matrices of order n with complex coefficients). We shall say that G is a quasi-permutation group if the trace of every element of G is a non-negative rational integer. The reason for this terminology is that, if G is a permutation group of degree n, its elements, considered as acting on the elements of a basis of an n -dimensional complex vector space V, induce automorphisms of V forming a group isomorphic to G. The trace of the automorphism corresponding to an element x of G is equal to the number of letters left fixed by x, and so is a non-negative integer. Thus, a permutation group of degree n has a representation as a quasi-permutation group of degree n. See [5].