We were concerned in [12] with groups G that are isomorphic to all of their non-abelian subgroups. In order to exclude groups with all proper subgroups abelian, which are well understood in the finite case [7] and which include Tarski groups in the infinite case, we restricted attention to the class X of groups G that are isomorphic to their nonabelian subgroups and that contain proper subgroups of this type; such groups are easily seen to be 2-generator, and a complete classification was given in [12, Theorem 2] for the case G soluble. In the insoluble case, G/Z(G) is infinite simple [12; Theorem 1], though not much else was said in [12] about such groups. Here we examine a property which represents a natural generalisation of that discussed above. Let us say that a group G belongs to the class W if G is isomorphic to each of its non-nilpotent subgroups and not every proper subgroup of G is nilpotent. Firstly, note that finite groups in which all proper subgroups are nilpotent are (again) well understood [9]. In addition, much is known about infinite groups with all proper subgroups nilpotent (see, in particular, [8] and [13] for further discussion) although, even in the locally nilpotent case, there are still some gaps in our understanding of such groups. We content ourselvesin the present paper with discussing finitely generated W-groups— note that a W-group is certainly finitely generated or locally nilpotent. We shall have a little more to say about the locally nilpotent case below.

By a representation of the extended Dynkin diagram we shall mean a list of 5 vector spaces P, E1, E2, E3, E4 over an algebraically closed field K, and 4 linear maps a1, a2, a3, a4 as shown.

The spaces need not be of finite dimension.

In their solution of the 4-subspace problem [6], Gelfand and Ponomarev have classified such representations when the spaces are finite dimensional. A representation like (1) can also be viewed as a module over the K-algebra R4 consisting of all 5 × 5 matrices having zeros off the first row and off the main diagonal.

Each bounded linear operator a on a Hilbert space K has a hermitian left-support projection p such that and (1 – p)K = ker α* = ker αα*. I demonstrate here that certain operators on Banach spaces also have left supports.

Throughout this paper X will be a complex Banach space with norm-dual X', and L(X) will be the Banach algebra of bounded linear operators on X. Two linear subspaces Y and Z of X are orthogonal (in the sense of G. Birkhoff) if ∥ y ∥ ≦ ∥ y + z ∥ (y ∈Y, z ∈ Z); this orthogonality relation is not, in general, symmetric. It is easy to see that pX is orthogonal to (1 – p)X if and only if the norm of p is 0 or 1, when p is a projection on X.

In this paper we characterize semigroups S which have a semigroup Q of left quotients, where Q is an ℛ-unipotent semigroup which is a band of groups. Recall that an ℛ-unipotent (or left inverse) semigroup S is one in which every ℛ-class contains a unique idempotent. It is well-known that any ℛ-unipotent semigroup 5 is a regular semigroup in which the set of idempotents is a left regular band in that efe = ef for any idempotents e, fin S. ℛ-unipotent semigroups were studied by several authors, see for example [1] and [13].Bailes [1]characterized ℛ-unipotent semigroups which are bands of groups. This characterization extended the structure of inverse semigroups which are semilattices of groups. Recently, Gould studied in [7]the semigroup S which has a semigroup Q of left quotients where Q is an inverse semigroup which is a semilattice of groups.

It has been shown ([8], [2], [1], [3], [9]) that a collection of physical operations or experiments can be represented by a nonempty set of nonempty sets satisfying certain technical conditions. Such a set is called a manual. The operations in are looked at as having no “before” and no “after”, i.e., they are isolated in time. If we wish to look at connected sequences of operations—in particular, if we wish to condition by events in —we must look at the compound manual c whose elements represent compound operations built up from the operations in the base manual .

The aim of the present note is to describe the possible products when taking all the nonzero elements of a finite ring in some sequence. Compared with the analogous situation for finite groups, where the set of products of all elements has been shown in [2] to be a whole coset of the derived group, for rings the set of the above mentioned products will be proved either to be as large as possible or to consist of one or two elements only.

In this note we consider measures on a left coset space G/H, where G is a locally compact group and H is a closed subgroup. We assume the natural topology in G/H and we denote the generic element of this space by xH (x∈G). Every element t∈G defines a homeomorphism of G/H given by t(xH) = (tx)H. A. Weil showed that a Baire measure on G/H invariant under all these homeomorphisms can exist only if

Δ(ξ) = δ(ξ) for each ξ ∈ H,

where Δ(x), δ(ξ) denote the modular functions in G, H [6, pp. 42–45]. We shall devote our investigations to inherited measures on G/H (cf. [3] and the definition below) invariant under homeomorphisms belonging to a normal and closed subgroup T ⊂ G.

The problem of computing the integral cohomology ring of the symmetric square of a topological space has long been of interest, but limited progress has been made on the general case until recently. We offer a solution for the complex and quaternionic projective spaces $\mathbb{K}$Pn, by utilising their rich geometrical structure. Our description involves generators and relations, and our methods entail ideas from the literature of quantum chemistry, theoretical physics, and combinatorics. We begin with the case $\mathbb{K}$P∞, and then identify the truncation required for passage to finite n. The calculations rely upon a ladder of long exact cohomology sequences, which compares cofibrations associated to the diagonals of the symmetric square and the corresponding Borel construction. These incorporate the one-point compactifications of classic configuration spaces of unordered pairs of points in $\mathbb{K}$Pn, which are identified as Thom spaces by combining Löwdin's symmetric orthogonalisation (and its quaternionic analogue) with a dash of Pin geometry. The relations in the ensuing cohomology rings are conveniently expressed using generalised Fibonacci polynomials. Our conclusions are compatible with those of Gugnin mod torsion and Nakaoka mod 2, and with homological results of Milgram.

Let $X$ be a smooth complex projective curve, $S^{b}X$ the b-symmetric product of $X$. Assume that $X$ has an automorphism h. Our aim is to compute the characteristic classes of the fixed point set of h in $S^{b}X$.

Let S be an ideal of a semigroup V. In such a case, V is an (ideal) extension of S by T = V/S. The problem considered in [2] is the construction of all congruences on V in terms of congruences on S and T. This did not succeed for all congruences but it did for those congruences whose restriction to S is weakly reductive. If the extension is strict, more precise constructions are also given there. With some relatively weak restrictions on S, we are able to obtain in this way all congruences on V in the form indicated above.

The two following formulae are to be established.

If R (m ± n) > 0, | amp z | < π,

If p ≧ q + 1, R(k ± n + 2αr) > 0, r = 1, 2, …, p, | amp z | < π,

For other values of p and q the formula holds if the integral is convergent.

We consider the hypothesis that an operator T on a given Banach space can always be perturbed by a compact operator K in such a way that, whenever a complex number A is in the semi-Fredholm region of T + K, then T + K – λ is either bounded below or surjective. The hypothesis has its origin in the work of West [11], who proved it for Riesz operators on Hilbert space. In this paper, we reduce the general Banach space problem to one of considering only operators of a special type, operators which are, in a spectral sense, natural generalizations of the Riesz operators studied by West.

Let R be a complete intersection ring, and let M and N be R-modules. It is shown that the vanishing of ExtiR(M, N) for a certain number of consecutive values of i starting at n forces the complete intersection dimension of M to be at most n–1. We also estimate the complete intersection dimension of M*, the dual of M, in terms of vanishing of cohomology modules, ExtiR(M,N).

Let G: Rn → Rn be a continuous mapping such that the origin 0 ∈ Rn is isolated in G-1(0). Then deg0G will denote the local topological degree of G at the origin, i.e. the topological degree of the mapping

where Sr denotes a sphere in Rn centered at the origin with small radius r > 0.

Let {a, b} designate the Pythagorean ratio (a2 - b2)/2ab between the sides of a rational right angled triangle. This paper studies the circumstances in which Pythagorean ratios can occupy consecutive places in an arithmetic progression. Part I deals with sets of three such ratios, while Part II discusses sets of four ratios.

If f is an entire function in the complex plane such that

where 0 ≤ α < 1, and all the derivatives of f at 0 are integers, then it is easy to show that f is a polynomial (see e.g. Straus [10]). The best possible result of this type was proved by Pólya [9]. The main aim of this paper is to prove two analogous results for harmonic functions defined in the whole of the Euclidean space Rn, where n ≥ 2 (i.e. entire harmonic functions).

This paper is a sequel to [2]. A polycyclic-by-finite group G was there called dihedral free if G contains no subgroup isomorphic to 〈b, a:ba = b-1 a2 = 1〉 whose normalizer has finite index in G. It was shown in [2, Theorem F] that, if R is a commutative Noetherian domain, the group ring RG is a prime Noetherian maximal order if and only if R is integrally closed, G is dihedral free, and G has no non-trivial finite normal subgroups. Throughout, R and G will be assumed to satisfy these hypotheses. The main aim of the paper is to study the class group of the maximal order RG.

Since Azumaya introduced the notion of A-injectivity in 1974, several generalizations have been investigated by a number of authors. We introduce some more generalizations and discuss their connection to the previous ones.

Modular curves like X0(N) and X1(N) appear very frequently in arithmetic geometry. While their complex points are obtained as a quotient of the upper half plane by some subgroups of SL2(ℤ), they allow for a more arithmetic description as a solution to a moduli problem. We wish to give such a moduli description for two other modular curves, denoted here by Xnsp(p) and Xnsp+(p) associated to non-split Cartan subgroups and their normaliser in GL2(𝔽p). These modular curves appear for instance in Serre's problem of classifying all possible Galois structures of p-torsion points on elliptic curves over number fields. We give then a moduli-theoretic interpretation and a new proof of a result of Chen (Proc. London Math. Soc. (3) 77(1) (1998), 1–38; J. Algebra231(1) (2000), 414–448).

Algebras A and coalgebras C over a commutative ring R are defined by properties of the (endo)functors A ⊗R – and C ⊗R – on the category of R-modules R. Generalising these notions, monads and comonads were introduced on arbitrary categories, and it turned out that some of their basic relations do not depend on the specific properties of the tensor product. In particular, the adjoint of any comonad is a monad (and vice versa), and hence, for any coalgebra C, HomR(C, –), the right adjoint of C ⊗R –, is a monad on R. The modules for the monad HomR(C, –) were called contramodules by Eilenberg–Moore and the purpose of this talk is to outline the related constructions and explain the relationship between C-comodules and C-contramodules. The results presented grew out from cooperation with G. Böhm, T. Brzeziński and B. Mesablishvili.