We show that the theorem stated in the title is a corollary to a result of K. A. Zaretskii [5] and a theorem of G. Birkhoff [1]. The construction we use further shows that all groups with cardinal less than or equal to the cardinal of the given group are simultaneously realised as maximal subgroups of the same semigroup of binary relations ℬx. For finite or countable groups, when Xmay be taken to be finite or countable, respectively, and for an entirely different method of proof, the paper of J. S. Montague and R. J. Plemmons [3] should be consulted. For two further proofs of the theorem of the title to this note, this time for any X, see also R. J. Plemmons and B. M. Schein [4] and A. H. Clifford [2].

The problem of determining whether or not two operators are unitarily equivalent has been around for many years and considerable work has been done in attempting to solve this problem (see for example [1], [3], [5], [6], [7], [10], [11], [12], [15], [16], [17], [18], [19], [20], [21] and [22]). In many cases, a complete set of unitary invariants is furnished for a certain class of operators. Here we just mention two of such results which are related to what we are going to discuss. The first one was due to Arveson, who showed that two irreducible compact operators are unitarily equivalent if and only if they have the same nth algebraic matricial ranges, for each n≧1 ([1] and Theorem 2.4.3 of [3]). The second one was due to Parrott, who showed that two compact operators with zero reducing null spaces are unitarily equivalent if and only if they have the same nth spatial matricial ranges, for each n≧1 ([5, p. 146]). In this paper, we investigate the closures of the spatial matricial ranges of compact operators and obtain a complete set of unitary invariants for compact operators, from which Parrott's result follows easily.

In this paper we study prime and maximal ideals in a polynomial ring R[X], where R is a ring with identity element. It is well-known that to study many questions we may assume Ris prime and consider just R-disjoint ideals. We give a characterizaton for an R-disjoint ideal to be prime. We study conditions under which there exists an R-disjoint ideal which is a maximal ideal and when this is the case how to determine all such maximal ideals. Finally, we prove a theorem giving several equivalent conditions for a maximal ideal to be generated by polynomials of minimal degree.

Given N a finite separable normal extension of a field F, it is well known that the Brauer group Br(N/F) of classes of central simple F-algebras split by N is isomorphic with Ext(N*, G), the classes of group extensions of N* by the Galois group G of N over F. In the construction of this isomorphism, a key role is played by the Skolem-Noether Theorem which extends automorphisms to inner automorphisms in central simple algebras.

Given a normed linear space X, let S(X), X′, B(X) denote respectively the unit sphere {x: ∥x∥ = 1} of X, the dual space of X, and the algebra of all bounded linear mappings of X into X. For each x ∊ S(X) and T ∊ B(X), let Dx(x) = {f e X′:∥f∥ = f(x)= 1}, and V(T; x) = {f(Tx):f∊Dx(x)}. The numerical range V(T) is then defined by

In this paper we construct examples which answer three questions in the general area of noncommutative Noetherian local rings and rings of finite global dimension. The examples are formed in the same basic way, beginning with a commutative polynomial ring A over a field k and a k-derivation δ of A, taking the skew polynomial ring R = A[x;δ] and localizing at a prime ideal of the form IR, where I is a prime ideal of A invariant under δ. The localization is possible by a result of Sigurdsson [13].

Let R be a ring (with identity). We shall call R a local ring if R is aright noetherian ring such that the Jacobson radical M is a maximal ideal (and so is the only maximal ideal), and R/M is a simple artinian ring. A local ring R with maximal ideal M is called regular if there exists a chain

of ideals Mi of such that Mi–1/Mi is generated by a central regular element of R/Mi (1 ≦ i ≦ n). For such a ring R, Walker [6, Theorem 2. 7] proved that R is prime and n is the right global dimension of R, the Krull dimension of R, the homological dimension of theR-module R/M and the supremum of the lengths of chains of prime ideals of R. Such regular local rings will be called n-dimensional. The aim of this note is to give examples of regular local rings. These arise as localizations of universal enveloping algebras of nilpotent Lie algebras over fields and localizations of group algebras of certain finitely generated finite-by-nilpotent groups.

Given a variety of lattice-ordered algebras, a lattice L is said to be a relative-lattice if every closed interval [a, b] of L may be given the structure of an algebra in (in other words, is the reduct of a member of —not necessarily unique). This paper discusses the characterisation in terms of forbidden substructures of finite relative.stf-lattices. We treat a large class of varieties of distributive-lattice-ordered algebras. For these varieties, the finite algebras can be described dually in terms of finite ordered sets, so that order-theoretic results and techniques prove valuable.

In 1960 Ericksen [1] introduced a simple theory of anisotropic fluids. This theory differs from the classical theory of fluids in that the deformation of the material is no longer solely described by the usual vector displacement field but requires in addition the specification of a further vector field di, termed the director. Moreover, corresponding to this increased kinematic flexibility new types of stress, body force and inertia are introduced. Leslie [2], adopting the conservation laws of [1], formulated constitutive equations similar to those considered by Ericksen and discussed the thermodynamical restrictions imposed by the Clausius–Duhem inequality. Here we shall consider the case in which at each point the director is constrained to remain a unit vector. Then the usual interpretation is to regard di as indicating a single preferred direction in the material (see for example [3]). It is thought that the physical applications of this theory are likely to lie in such areas as polymeric fluids and suspensions.

Let be an n+ 1-dimensional, complete simply connected Riemannian manifold of constant sectional curvature c and We consider the function r(·) = d(·, P0) where d stands for the distance function in and we denote by grad r the gradient of The position vector (see [1]) with origin P0 is defined as where ϕ(r)equals

r, if c = 0, c< 0 or c <0 respectively.

In this article, we obtain results on commutators in Sylow subgroups of the lower central series, extending the work of Dark and Newell [2], Rodney [12, 13] and Aschbacher and the author [1, 6, 7].

Some notation is required for the statement of the main results. Let r be a positive integer and define

and

where x1, …, xr, are elements in a group G. Let ΓrG = {[x1, …, xr]∣ x1 ∈ G} be the set of r-fold commutators in G. Then Lr,G = 〈ΓrG〉 is the rth term in the lower central series of G. Set L∞G = ∩ Lr,G.

Recently, several papers have investigated conditions under which the range of a vectorvalued measure is a compact convex set (see e.g. [1], [2], [3]). It therefore seems of interest to characterise the extremal points of the range in such cases.

In 1959, Bishop [4] published a seminal paper in which he studied various types of spectral decompositions or “duality theories” that an arbitrary bounded linear operator on a reflexive Banach space might have. In the course of his investigations, he isolated the following analytic property which he called condition (β).

A systematic and easily automated least squares procedure, not using integral equations or special functions, is presented for approximating the solutions of general dual trigonometric equations. This is desirable, since current analytic methods apply only to special equations, require the use of integral equation and special function theory, and do not lend themselves easily to numerical work; see, e.g. [1, 2, 6, 8, 9,10, 11, 12, 13, 14, 15, 16, 17].

Unless the contrary is stated, all matrices are understood to be complex and of type n × n. The transposed conjugate of A is denoted by A*. The non-negative square roots of the characteristic roots of A*A are called the singular values of A; they will be denoted by st(A), i = 1, …, n, where s1(A)≥…≥ sn(A). The symbol [A]k denotes the k × k submatrix standing in the upper left-hand corner of A. We shall write Ei(z1, …, zn) for the j-th elementary symmetric function of z1..., zn, and E1(A) for the j-th elementary symmetric function of the characteristic roots of A. It is understood that, throughout, 1≥j≥k≥n.