An N-tuple ℐ= (T1…, TN) of commuting contractions on a Hilbert space H is said to be a joint isometry if for all x in H, or, equivalently, if Athavale in [1] characterized the joint isometries as subnormal N-tuples whose minimal normal extensions have joint spectra in the unit sphere S2N−X a geometric perspective of this is given in [4]. Subsequently, V. Müller and F.-H. Vasilescu proved that commuting N-tuples which are joint contractions, i.e. , can be represented as restrictions of certain weighted shifts direct sum a joint isometry. In this paper we adapt the canonical models of [3], and also construct a new canonical model, which completes the previous descriptions by showing joint isometries are indeed restrictions of specific multivariable weighted shifts [2].

The trivial observation that every automorphism of a group is determined by its restriction to a set of generators suggests the converse question: if X is a subset of a group G such that each automorphism of G is determined (or “almost” determined) by its restriction to X, to what extent is the structure of G governed by that of the subgroup which X generates? Is this subgroup in some sense necessarily “large” in G? If the index of the subgroup is used as a measure of largeness, then in the absence of additional hypotheses, the answer to the second question is generally “no”, the additive group of rationals with X = {1} being an obvious counterexample. (More confounding is the existence of uncountable torsion-free abelian groups for which inversion is the only non-trivial automorphism. See, for example, [2], [3], and [4].) However, under certain finiteness assumptions, it seems that some positive conclusions are obtainable. One such example will be considered here.

Let E be a Hausdorff locally convex space with continuous dual E1 and let M be a subspace of the algebraic dual E* such that M ∩ E1 = {0} and dim M = ℵ0. In the terminology of [4] the Mackey topology τ(E, E1 + M) is called a countable enlargement of τ(E, E1). There has been some interest in the question of when barrelledness is preserved under countable enlargements (see [4], [5], [6], [8], [9]). In this note we are concerned with the preservation of the quasidistinguished property for normed spaces under countable enlargements; this was posed as on open question by B. Tsirulnikov in [7]. According to [7] a Hausdorff locally convex space E is quasidistinguished if every bounded subset of its completion Ê is contained in the completion of a bounded subset of Ê (equivalently, in the closure in Ê of a bounded subset of E). Any normed space is clearly quasidistinguished and remains so under a finite enlargement (dim M < χ0) since the enlarged topology is normable. (See the Main Theorem of [7] for a general result on the preservation of the quasidistinguished property under finite enlargements.) We shall write QDCE for a countable enlargement which preserves the quasidistinguished property.

In this note we consider a finite graph without loops and multiple edges. The colouring of a graph G in λ colours is the colouring of its vertices in such a way that no two of adjacent vertices have the same colours and the number of used colours does not exceed λ [1, 4]. Two colourings of graph G are called different if there exists at least one vertex which changes colour when passing from one colouring to another.

The norm K(G) of a group G is the subgroup of elements of G which normalize every subgroup of G. Under the name kern this subgroup was introduced by Baer [1]. The norm is Dedekindian in the sense that all its subgroups are normal. A theorem of Dedekind [5] describes the structure of such groups completely: if not abelian they are the direct product of a quaternion group of order eight and an abelian group with no element of order four. Baer [2] proves that a 2-group with non-abelian norm is equal to its norm.

1. Every family of subnormal operators in a Hilbert space fulfils the Halmos-Bram condition on a suitable dense subset of its domain [2], [3]. In [2] and [4] it is shown that the generalized commutation relation implies the Halmos-Bram condition for one operator. In this paper it is proved that the generalized commutation relation implies the Halmos-Bram condition for infinite families of operators (in a special case Jorgensen proved it in a different way for finite families of operators, see [2]) and as an example of the application of this property it is shown that every family of generalized creation operators in the Bargmann space of an infinite order, indexed by mutually orthogonal vectors from I2 is subnormal. See [1] for the definitions.

It is well known that for finite dimensional algebras, “bounded representation type” implies “finite representation type”; this is the assertion of the First Brauer-Thrall Conjecture (hereafter referred to as Brauer-Thrall I), proved by Roiter [26] (see also [23]). More precisely, it states that if R is a finite dimensional algebra over a field k, such that there is a finite upper bound on the k-dimensions of the finite dimensional indecomposable right R-modules, then up to isomorphism R has only finitely many (finite dimensional) indecomposable right modules. The hypothesis and conclusion are of course left-right symmetric in this situation, because of the duality between finite dimensional left and right R-modules, given by Homk(−, k). Furthermore, it follows from finite representation type that all indecomposable R modules are finite dimensional [25].

Throughout this paper all rings are assumed commutative with identity. Among integral domains, Dedekind domains are characterized by the property that every ideal is a product of prime ideals. For a history and proof of this result the reader is referred to Cohen [2, pp. 31–32]. More generally, Mori [5] has shown that a ring has the property that every ideal is a product of prime ideals if and only if it is a finite direct product of Dedekind domains and special principal ideal rings (SPIRS). Rings with this property are called general Z.P.I.-rings.

Let R be a ring with identity and let Eij ∈ Mn(R) be the usual n X n matrix units, where n ≥ 2 and 1≤i, j≤N. Let En(R) be the subgroup of GLn(R) generated by all Tij(q where r ∈ R and i ≄ j. For each (two-sided) R-ideal q let En(R, q) be the normal subgroup of En(R) generated by Tij(q), where q ∈ q. The subgroup En(R, q) plays an important role in the theory of GLn(R). For example, Vaserˇstein has proved that, for a larger class of rings (which includes all commutative rings), every subgroup S of GLn(R), when R ∈ and n≥3, contains the subgroup En(R, q0), where q0 is the R-ideal generated by αij, rαij-αjjr (i ≄ j, r ∈ R), for all (αij) ∈ S. (See [13, Theorem 1].) In addition Vaseršstein has shown that, for the same class of rings, En(R, q) has a simple set of generators when n ≥ 3. Let Ên(R, q) be the subgroup of En(R, q) generated by Tij(r)Tij(q)Tij(−r), where r ∈ R, q ∈ q. Then Ên(R, q) = En(R, q), for all q, when R ∈ and n ≥ 3.(See [13, Lemma 8].)

Let F be an orientable surface with or without boundary and let M(F) be the mapping class group of F, i.e. the group of isotopy classes of orientation preserving diffeomorphisms of F. To each essential simple closed curve c on F we can associate an element C of M(F) called the Dehn twist about c. We refer the reader to [1] for definitions. It is well known (see [1]) that, at least in the case where F has no more than one boundary component, M(F) is generated by Dehn twists. Further, there are important subgroups of M(F) which are also generated by Dehn twists or simple products of Dehn twists; for example the Torelli group, the kernel of the homology action map M(F)→ Aut(H1(F;Z)) = Sp(H1(F;Z)), where Sp(H1(F;Z)) denotes the symplectic group, is known to be generated by Dehn twists about bounding curves and by “bounding pairs”. See [8] for proofs and definitions. Also Dehn twists crop up as geometric monodromy maps associated to Picard–Lefschetz vanishing cycles for plane curve singularities (see [5]).

Birkhoff and Pierce [2] introduced the class f-rings—those lattice-ordered rings R which satisfy the additional condition that if a, b, and c are positive elements of R and if a ∧ b = 0, then ac ∧ b = 0 = ca ∧ b. They showed that f-rings may be characterized as lattice-ordered rings which are subdirect products of totally-ordered rings.

In this note we show that any derivation of a simple C*-algebra, whose range is not dense, is closable. We also derive a necessary and sufficient condition for a *-derivation of a C*-algebra, which is defined on the domain of a closed *- derivation, to be closed.

§ 1. Introductory. The integral

where b>0, was given by Hardy (1). It was proved by applying Mellin's inversion formula. An alternative proof, based on the differential equation

satisfied by Kn(x), has been given by the author (2).

A description of regular group rings is well known (see [12]). Various authors have considered regular semigroup rings (see [17], [8], [10], [11], [4]). These rings have been characterized for many important classes of semigroups, although the general problem turns out to be rather difficult and still has not got a complete solution. It seems natural to describe the regular radical in semigroup rings for semigroups of the classes mentioned. In [10], the regular semigroup rings of commutative semigroups were described. The aim of the present paper is to characterize the regular radical ρ(R[S]) for each associative ring R and commutative semigroup S.

C. Eberhart and W. Williams [3] showed that the least inverse semigroup congruence , on an orthodox semigroup S, plays a very important role in determining the structure of the lattice of congruences on S. In this note we show that their results can be applied to give an explicit construction for the idempotent separating congruences on S in terms of idempotent separating congruences on S/.

Let K be a field of characteristic different from 2, and a, b quadratically independent elements of K. Put J= K(√a, √b). In [4], Jensen and Yui discuss the question of quaternionic (Q8) extensions of J, and give a survey of known results. In [8], Ware discusses (among other things) some general conditions for, and relations between, the existence of Q8 and D4 (dihedral) extensions of K. A general theorem of Witt [9] says that J will have a quaternionic extension J(√u) if and only if there exists a 3 × 3 matrix P over K such that PPt = diag(a, b, 1/ab), and an appropriate value for u is given in terms of the entries of P. The problem of actually finding P in a particular case is not trivial.

In 1954 N. Kimura proved that each idempotent in a semigroup is contained in a unique maximal subgroup of the semigroup and that distinct maximal subgroups are disjoint [13] (or see [6, pp. 21–23]). This generalized earlier results of Schwarz [14] and Wallace [15]. These maximal subgroups are important in the study of semigroups. If G is a group, then the collection S(G) of nonempty complexes of G is a semigroup and it is natural to inquire what properties of G are inherited by the maximal subgroups of S(G). There seems to be very little literature devoted to this subject. In [5, Theorem 2], with certain hypotheses placed on an idempotent, it was shown that if G is a lattice-ordered group (“1-group”) then a maximal subgroup of S(G) containing an idempotent satisfying these conditions admits a natural lattice-order. The main result of this note (Theorem 1) is that if Gis a representable 1-group and E is a normal idempotent of S(G) and a dual ideal of the lattice G, then the maximal subgroup of S(G) containing E admits a representable lattice-order.

This paper results from the design and development of computer software for lengthy computations with Cayley's algebra C over the field of reals. The algebra C is 8-dimensional over the reals and is not associative. Integer elements of C are defined and can be stored as integer arrays. The problem of solving linear equations αξ = β in C is implemented by using the equation where is the conjugate and N(α) is the non-zero norm of α. Programming multiplication of Cayley numbers is comparable in difficulty to programming matrix multiplication for matrices with eight rows and eight columns.

Let V denote the class of discrete groups G which satisfy the following conditions (a), (b) and (c):

(a) G = (A * B; K = φ(H)) is the free product of two groups A and B with the subgroup H amalgamated.

(b) H does not contain the verbal subgroup A(X2) of A and K does not contain the verbal subgroup B(X2)of B.

In Section 33 of [2], Bonsall and Duncan define an element t of a Banach algebra to act compactly on if the map a → tat is a compact operator on . In this paper, the arguments and technique of [1] are used to study this question for C*-algebras (see also [10]). We determine the elements b of a C*-algebra for which the maps a → ba, a → ab, a → ab + ba, a → bab are compact (respectively weakly compact), determine the C*-algebras which are compact in the sense of Definition 9, of [2, p. 177] and give a characterization of the C*-automorphisms of which are weakly compact perturbations of the identity.