In this article, we study some questions related to the complementation and the Hahn-Banach property for subspaces of lp, for 0 < p < 1. Some results which are stated here have appeared in the work of W. J. Stiles [4, 5] and N. Popa [3], but our proofs are simpler. We solve a problem raised by Popa [3], concerning complemented copies of lp contained in lp.

[7] Sands raised the following questions:

(1) Must a hereditary radical which is right strong be left strong?

(2) Must a right hereditary radical be left hereditary?

(3) (Example 6) Does there exist a right strong radical containing the prime radical β which is not left strong or hereditary?

Negative answers to questions (1) and (2) were given by Beidar [1].

In this paper we present different examples to answer (1) and (2), and we answer (3). We prove that the strongly prime radical defined in [4, 5] is right but not left strong. In the proof we use an example given by Parmenter, Passman and Stewart [6]. The same example and the strongly prime radical are used to answer (2) and (3).

The integral operator which we will consider in this paper is the operator T denned for suitably restricted functions f on (0, ∞) by

where x >0 and the integral is taken in the Cauchy principal value sense at t = x. This operator plays a considerable role in Wiener–Hopf theory; see [2; Chapter 5].

Since T is clearly the restriction to (0, ∞) of minus the Hilbert transformation applied to functions which vanish on (−∞, 0), it follows easily from the theory of the Hilbert transformation, as given in say [6; Theorem 101], that T is a bounded operator from Lp(0, ∞) to itself for 1 < p < ∞.

The following result in the theory of numerical ranges in Banach algebras is well known (see [3, Theorem 12.2]). The numerical range of an element F in the bidual of a unital Banach algebra A is the closure of the set of values at F of the w*-continuous states of . As a consequence of the results in this paper the following

A. W. Chatters and D. A. Jordan defined in [0] a unique factorization ring to be a prime ring in which every height one prime ideal is principal. In this note we will prove that the trace ring of m generic n × n-matrices satisfies this condition.

Throughout this note, k will be a field of characteristic zero. Consider the polynomial ring S = k[;1≤i, j≤n, 1≤l≤m] and the n × n matrices Xl = in Mn(S). The k-subalgebra of Mn(S) generated by {Xl; 1≤l≤m} is called the ring of m generic n × n matrices Gm,n. Adjoining to it the traces of all its elements we obtain the trace ring of m n × n generic matrices, cfr. e.g. [1].

Let Mn(ℂ) be the algebra of n × n complex matrices, and let be its unitary group. Given A, B ε Mn(ℂ), the A-numerical radius of B is the nonnegative quantity

In particular, for A = diag(1, 0, …, 0) it reduces to the classical numerical radius r(B) = max||x*Bx|:x*x = 1}. In [1] Goldberg and Straus proved that rA is a generalized matrix norm (i.e. a positive definite seminorm) on Mn(ℂ) if and only if A is nonscalar and tr A ≠ 0. This result agrees with the well-known fact that the classical numerical radius r is a generalized matrix norm. The nontrivial part of the proof is to show that if A is nonscalar and tr A ≠ 0 then rA is positive definite; that is, for any B ε Mn(ℂ), tr(AU*BU) = 0 for all U ε implies B = 0. The proof given in [1] is computational and involves the use of differentiation on matrices. Later Marcus and Sandy [2] gave three elementary proofs of the result. Their proofs are still computational in nature and two of them need knowledge of multilinear algebra.

A basis , for a Banach space X is said to be boundedly complete [4, p. 284] if whenever is a sequence of scalars for which converges. It is well-known [2, p. 70] that if is a boundedly complete basis for X then X is isometric to a conjugate space; in fact, X = [fi]*, where is the sequence of coefficient functionals associated with the basis It follows that no basis for C[0,1] can be boundedly complete since no separable conjugate space contains C0[l], yet C[0,1] is a separable space which contains c0.

The problem of describing the subsemigroup generated by the idempotents in various natural semigroups has received the attention of several semigroup theorists ([1], [2], [3], [5], [7]). However, in those cases where the parent semigroup is in fact the multiplicative semigroup of a natural ring, the known ring structure has not been exploited. When this ring structure is taken into account, proofs can often be streamlined and can lead to more general arguments (such as not requiring that the elements of the semigroup be already transformations of some known structure).

Throughout this note, rings will mean associative rings with identity and all modules are unital. A ring R is called right artinian if R satisfies the descending chain condition for right ideals. It is known that not every ideal of a right artinian ring is right artinian as a ring, in general. However, if every ideal of a right artinian ring R is right artinian then R is called hereditarily artinian. The structure of hereditarily artinian rings was described completely by Kertész and Widiger [5] from which, in the case of rings with identity, we get:

A ring R is hereditarily artinian if and only if R is a direct sum S ⊕ F of a semiprime right artinian ring S and a finite ring F.

In his Habilitationsschrift [3] B. Fischer introduced the concept of a normally embedded subgroup of a finite group. A subgroup of a finite group G is said to be normally embedded in G if each of its Sylow subgroups is a Sylow subgroup of a normal subgroup of G. Meanwhile this concept has become of considerable importance in the theory of finite soluble groups and has been studied by various authors. However, in infinite group theory, normally embedded subgroups seem to have received little attention. The object of this note is to study normally embedded subgroups of locally soluble FC-groups.

The word problem for free bands (idempotent semigroups) was solved by Green and Rees [4] in an early paper. They also established certain properties of the free band. This was followed by McLean [6] who provided a general structure theory for bands with some indication as to the structure of the free band. Since then a great many papers have appeared dealing with various aspects of the topic of bands and their varieties. A different solution of the word problem for free bands was recently given by Siekmann and Szabó [9]. For a discussion of bands, see the books [5] and [8].

The Hilbert space methods in the theory of biholomorphic mappings were applied and developed by S. Bergman [1, 2]. In this approach the central role is played by the Hilbert space L2H(D) consisting of all functions which are square integrable and holomorphic in a domain D ⊂ ℂN. A biholomorphic mapping φ:D ⃗ G induces the unitary mapping Uφ:L2H(G) ⃗ L2H(D) defined by the formula

Here ∂φ/∂z denotes the complex Jacobian of φ. The mapping Uϕ is useful, since it permits to replace a problem for D by a problem for its biholomorphic image G (see for example [11], [13]). When ϕ is an automorphism of D we obtain a unitary operator Uϕ on L2H(D).

The notation and terminology of this paper coincide with that of reference [4], except that here the term, compactification, refers to a T1-space. It is known that a completely regular totally bounded Hausdorff quasi-uniform space (X, ) has a Hausdorff compactification if and only if contains a uniformity compatible with ℱ() [4, Theorem 3.47]. The use of regular filters by E. M. Alfsen and J. E. Fenstad [1] and O. Njåstad [5], suggests a construction of a compactification, which differs markedly from the construction obtained in [4]. We use this construction to show that a totally bounded T1 quasi-uniform space has a compactification if and only if it is point symmetric. While it is pleasant to have a characterization that obtains for all T1-spaces, the present construction has several further attributes. Unlike the compactification obtained in [4], the compactification given here preserves both total boundedness and uniform weight, and coincides with the uniform completion when the quasi-uniformity under consideration is a uniformity. Moreover, any quasi-uniformly continuous map from the underlying quasi-uniform space of the compactification onto any totally bounded compact T1-space has a quasi-uniformly continuous extension to the compactification. If is the Pervin quasi-uniformity of a T1-space X, the compactification we obtain is the Wallman compactification of (X, ℱ ()). It follows that our construction need not provide a Hausdorff compactification, even when such a compactification exists; but we obtain a sufficient condition in order that our compactification be a Hausdorff space and note that this condition is satisfied by all uniform spaces and all normal equinormal quasi-uniform spaces. Finally, we note that our construction is reminiscent of the completion obtained by Á. Császár for an arbitrary quasi-uniform space [2, Section 3]; in particular our Theorem 3.7 is comparable with the result of [2, Theorem 3.5].

Several definitions of a semigroup of quotients have been proposed and studied by a number of authors. For a survey, the reader may consult Weinert's paper [8]. The motivation for many of these concepts comes from ring theory and the various notions of rings of quotients. We are concerned in this paper with an analogue of the classical ring of quotients, introduced by Fountain and Petrich in [3].

An element k of a unital Banach algebra A is said to be Hermitian if its numerical range

is contained in ℝ; equivalently, ∥eitk∥ = 1(t ∈ ℝ)—see Bonsall and Duncan [3] and [4]. Here we find the largest possible extent of V(kn), n ∈ ℕ, given V(k) ⊆ [−1, 1], and so ∥k∥ ≤ 1: previous knowledge is in Bollobás [2] and Crabb, Duncan and McGregor [7]. The largest possible sets all occur in a single example. Surprisingly, they all have straight line segments in their boundaries. The example is in [2] and [7], but here we give A. Browder's construction from [5], partly published in [6]. We are grateful to him for a copy of [5], and for discussions which led to the present work. We are also grateful to J. Duncan for useful discussions.

Let X be an infinite-dimensional complex Banach space and denote the set of bounded (compact) linear operators on X by B (X) (K(X)). Let σ(A) and σa(A) denote, respectively, the spectrum and approximate point spectrum of an element A of B(X). Set

σem(A)and σeb(A) are respectively Schechter's and Browder's essential spectrum of A ([16], [9]). σea (A) is a non-empty compact subset of the set of complex numbers ℂ and it is called the essential approximate point spectrum of A ([13], [14]). In this note we characterize σab(A) and show that if f is a function analytic in a neighborhood of σ(A), then σab(f(A)) = f(σab(A)). The relation between σa(A) and σeb(A), that is exhibited in this paper, resembles the relation between the σ(A) and the σeb(A), and it is reasonable to call σab(A) Browder's essential approximate point spectrum of A.

Braid groups were introduced by Artin [1]. These groups have been studied extensively—see [2], [9] and the references cited there. Recently work has been done on “circular” braid groups and other “braid-like” groups [7], [10]. In this paper we formulate the concept of a generalized braid group, and we begin a study of the structure of such groups. In particular for such a group G1, there is a homomorphism from G onto the infinite cyclic group, the kernel of which is the derived group G1 of G. We study G1. Our results generalize results of Gorin and Lin [5], who considered the case when G is a classical braid group B(n ≥ 3). They showed that is free abelian of rank 2 if n = 3, 4 and is trivial if n ≥ 5. They also showed that is finitely presented.

Peller [4, 5] has proved that a Hankel operator S on the Hardy space H2 is in the trace class if and only if with h analytic on the open unit disc Dand with its second derivative belonging to the Bergman space L1a. This theorem does not include an estimate for the trace class norm ∥S∥1, of the operator in terms of the symbol function. In fact it is clear that cannot give an estimate for since the first two terms in the coefficient sequence of the Hankel operator have been removed by differentiation.

An algebra A factors if, for each a ∈ A, there exist b, c ∈ A with a = bc. A bounded approximate identity for a Banach algebra A is a net (eα) ⊂ A such that aeα → a and eαa → a for each a ∈ A and such that sup ‖eα ‖ < ∞. It is well known [2, 11.10] that if A has a bounded approximate identity, then A factors. But a Banach algebra may factor even if it does not have a bounded approximate identity: an example which is non-commutative and separable, and an example which is commutative and nonseparable, are given in [3, §22]. However, we do not know an example of a commutative, separable Banach algebra which factors, but which does not have a bounded approximate identity. See 4 for related work.

Recently M. Martelli [6] and M. Furi and M. P. Pera [1] proved some interesting results about the existence and the global topological structure of connected sets of solutions to problems of the form:

Lx = N(λ, x)

with L:E → F a bounded linear Fredholm operator of index zero (where E, F are real Banach spaces), and N:ℝ × E → F a nonlinear map satisfying suitable conditions.

While the existence of solution sets for this kind of problem follows from the Leray–Schauder continuation principle, it is our aim to show in this note that their global topological structure can be obtained as a consequence of the theory developed by J. Ize, I. Massabò, J. Pejsachowicz and A. Vignoli in [3, 4] about parameter dependent compact vector fields in Banach spaces.