Let A be an operator on a Hillbert space with polar decomposition A = |A|, let  = |A|½U|A|½ and let  = V|Â| be the polar decomposition of Â. Write à for the operatorà = |Â|½V|Â|½. If = (A1,…,AN) is a doubly commuting n-tuple of p-hyponormal operators on a Hillbert space with equal defect and nullity, then = (Ã1,…,Ãn) is a doubly commuting n-tuple of hyponormal operators. In this paper we show that

where σ* denotes σTe (Taylor essential spectrum), σTw (Taylor-Weyl spectrum) and σTb (Taylor-Browder spectrum), respectively.

This paper obtains a simple formula for the distance from a given operator to the set of invertible operators without requiring the underlying space to be separable. That formula is used to compute the distance to the Fredholm operators with a given index. These results require the further study of the concepts of essential nullity and essential deficiency, which permitted us to characterize the closure of the invertible operators. We also introduce a parameter called the modulus of Fredholmness.

Let k be a field and G an Abelian group of finite torsion-free rank. Brewer, Costa and Lady [1, Theorem A] showed that if k has characteristic 0 then each Localization of the group algebra kG at a prime ideal is a regular local ring. They also showed (in the same theorem) that if k has characteristic p>0, then kG is locally Joetherian (i.e. each localization of kG at a prime ideal is a Noetherian ring) if and only if G is an extension of a finitely generated group by a torsion p′-group. The purpose of this note is to examine this theorem in a more general setting.

There are a number of theorems which bound d.l.(G), the derived length of a group G, in terms of the size of the set c.d.(G) of irreducible character degrees of G assuming that G is in some particular class of solvable groups ([1], [3], [4], [7]). For instance, Gluck [4] shows that d.l.(G)≤2 |c.d.(G)| for any solvable group, whereas Berger [1] shows that d.l.(G)≤|c.d.(G)| if G has odd order. One of the oldest (and smallest) such bounds is a theorem of Taketa [7] which says that d.l.(G)≤|c.d.(G)| if G is an M-group. Most of the existing theorems are an attempt to extend Taketa's bound to all solvable groups. However, it is not even known for M-groups whether or not this is the best possible bound. This suggests that given a class of solvable groups one might try to find the maximum derived length of a group with n character degrees (i.e. the best possible bound).

All rings considered will be associative. For a class M of rings let UM be the class of all rings having no non-zero homomorphic image in M. A hereditary class M of prime rings is called a “special class” [see 1, p. 191] if it has the property that when I ∈ M with I an ideal of a ring R, then R/I* ∈ Mwhere I* is the annihilator of I in R, and the corresponding radical class UM is then a “special radical”. Let S be the class of all subdirectly irreducible rings with simple heart.

Let Rn denote real Euclidean space of n dimensions. If

define , and (as usual) so that, by the inequality of arithmetic and geometric means,

Let Λ0 be the integer lattice, consisting of those points in Rn whose co-ordinates are integers. A non-singular n × n matrix M will be called a Minkowski matrix, if, for any point a ∈ Rn, there exists a point x ∈ Λ0 such that

It was shown by Minkowski that, when n = 2, every non-singular matrix is a Minkowski matrix, and that, for general n, every rational non-singular matrix is a Minkowski matrix. Minkowski is also said to have conjectured that every non-singular matrix is a Minkowski matrix, whatever the value of n. For n = 3, this was proved by Remak [5], and a much simpler proof was given later by Davenport [2]. For n = 4, it was proved by Dyson [3], who used a method similar to that of Remak and Davenport, but required the methods of algebraic topology to deal with some of the complications which arise in the higher dimension. Since this method depends also on the reduction of quadratic forms, it is quite likely that it might fail for higher values of n even if the topological difficulties could be overcome. Therefore, an alternative proof for n = 3, due to Birch and Swinnerton-Dyer [1], is of some interest, though in this dimension it is more complicated than Davenport's proof. A good deal of their analysis applies to general n, and they showed that for all n there is a neighbourhood of the unit matrix I that consists entirely of Minkowski matrices.

Let K be a compact Hausdorff topological space and E be a Banach space not containing l1. Recently N. J. Kalton, E. Saab and P. Saab ([5]) obtained the results that under the above assumptions the usual space C(K, E) has the Dieudonné property; i.e. each weakly completely continuous operator on C(K, E) is weakly compact. They use topological results concerning multivalued mappings in their proof. In this short note we furnish a new and simpler proof of that result without using topological results but only well known theorems of Bourgain ([2]) and Talagrand ([8]) on weak compactness of sets of Bochner integrable functions; i.e. results in vector measure theory. At the end of the paper we present some applications of the result to Banach spaces of compact operators.

We show in a direct and elementary way that the spherical building at infinity of every rank 3 affine building which satisfies Tits' Moufang condition, is itself a Moufang building. This result is also true for higher rank affine buildings by Tits' classification [4].

The recurrence formulae for the Bessel, Legendre, hypergeometric and other such functions can all be related to each other by means of the E-functions. In this paper it will be shown how, starting from known recurrence formulae for the hypergeometric function, others can be derived. The E-function formulae are deduced in § 2, and the others in § 3.

In two previous papers [1], [2] the confluent form

of the δ-algorithm [3]

was established, and various properties which the confluent form of the algorithm possesses were discussed. It was shown, among other things, that if in (1)

and the notation

is used, then (1) is satisfied by

and further that under certain conditions, and for a certain n,

identically. It is the purpose of this note to derive another confluent form of the Ɛ-algorithm and to discuss its properties.

In order to study an arbitrary sequence of modules and homomorphisms, we propose a definition of “homology” modules, or what we call quasi-homology modules, for such a sequence. Then we seek partial analogues of the universal coefficient theorems to make some propaganda for the notion.

In this paper a characterisation of the regularity of a normed algebra A is given in terms of retractions onto A** from A4*. The second dual A** of a normed algebra A possesses two natural Banach algebra multiplications, say ° and *. Each of ° and * extends the original algebra multiplication on A; see (2). An algebra A is called regular if and only if F * G = F ° G for all F, G ∈ A**. See (1). The existing results in the Arens regularity theory can be found in a recent survey (2). Denoting the nth dual of A by An*, and en the natural embedding of An* in its second dual A(n+2)*, we can naturally represent the second dual A** of A as a Banach space retract of A4* in two different ways:

Our main results say that A** is in fact a Banach algebra retract of A4* (i.e. the maps involved are homomorphisms) in either of these cases if and only if A is regular.

Let μ ≠ 0 be an ultradistribution of Beurling type with compact support in the space . We investigate the range of the convolution operator Tμ on the space of non-quasianalytic functions of Beurling type associated with a weight w, in the case the operator is not surjective. It is proved that the range of TM always contains the space of real-analytic functions, and that it contains a smaller space of Beurling type for a weight σ ≥ ω if and only if the convolution operator is surjective on the smaller class.

In recent developments in the algebraic theory of semigroups attention has been focussing increasingly on the study of congruences, in particular on lattice-theoretic properties of the lattice of congruences. In most cases it has been found advantageous to impose some restriction on the type of semigroup considered, such as regularity, commutativity, or the property of being an inverse semigroup, and one of the principal tools has been the consideration of special congruences. For example, the minimum group congruence on an inverse semigroup has been studied by Vagner [21] and Munn [13], the maximum idempotent-separating congruence on a regular or inverse semigroup by the authors separately [9, 10] and by Munn [14], and the minimum semilattice congruence on a general or commutative semigroup by Tamura and Kimura [19], Yamada [22], Clifford [3] and Petrich [15]. In this paper we study regular semigroups and our primary concern is with the minimum group congruence, the minimum band congruence and the minimum semilattice congruence, which we shall consistently denote by α β and η respectively.

Let f: (ℝn, 0)→ (ℝ,0) be a germ of a real analytic function. Let L and F(f) denote the link of f and the Milnor fibre of fc respectively, i. e., L = {x ∈ Sn−1 | f(x) = 0}, , where 0 ≤ ξ ≪ r ≪ 1, . In [2] Szafraniec introduced the notion of an -germ as a generalization of a germ defined by a weighted homogeneous polynomial satisfying some condition concerning the relation between its degree and weights (definition 1). He also proved that if f is an -germ (presumably with nonisolated singularity) then the number χ(F(f)/d mod 2 is a topological invariant of f, where χ(F(f)) is the Euler characterististic of F(f), and gave the formula for χ(L)/2 mod 2 (it is a well-known fact that F(L) is an even number). As a simple consequence he got the fact that χ(F(f)mod 2 is a topological invariant for any f, which is a generalization of Wall's result [3] (he considered only germs with an isolated singularity).

This note is devoted to giving a conceptually simple proof of the Invertible Ideal Theorem [1, Theorem 4·6], namely that a prime ideal of a right Noetherian ring R minimal over an invertible ideal has rank at most one. In the commutative case this result may be easily deduced from the Principal Ideal Theorem by localizing and observing that an invertible ideal of a local ring is principal. Our proof is partially analogous in that it utilizes the Rees ring (denned below) in order to reduce the theorem to the case of a prime ideal minimal over an ideal generated by a single central element, which can be easily dealt with by adapting the commutative argument in [8]. The reader is also referred to the papers of Jategaonkar on the subject [5, 6, 7], particularly the last where another proof of the theorem appears which yields some additional information.