Structural Projections on JBW*-Triples

A linear projection R on a Jordan*-triple A is said to be structuralprovided that, for all elements a, b and c in A, the equality{Rab Rc} = R{a Rbc} holds. A subtriple B of A is said to becomplemented if A = B + Ker(B), where Ker(B) = {aA: {B a B}= 0}. It is shown that a subtriple of a JBW*-triple is complementedif and only if it is the range of a structural projection. A weak* closed subspace B of the dual E* of a Banach space Eis said to be an N*-ideal if every weak* continuous linear functionalon B has a norm preserving extension to a weak* continuous linearfunctional on E* and the set of elements in E which attain theirnorm on the unit ball in B is a subspace of E. It is shown thata subtriple of a JBW*-triple A is complemented if and only ifit is an N*-ideal, from which it follows that complemented subtriplesof A are weak* closed, and structural projections on A are weak*continuous and norm non-increasing. It is also shown that everyN*-ideal in A possesses a triple product with respect to whichit is a JBW*-triple which is isomorphic to a complemented subtripleof A.     

Continuity of homomorphism pairs intoH *-triple systems

We show that the separating subspaces for the component operators of a densely valued homomorphism pair into anH*-triple system are contained in the annihilator ideal. Accordingly, the continuity of densely valued homomorphisms into H^*-algebras and H^*-triple systems with zero annihilator follows.     

Peirce gradings and Peirce inner ideals in JBW*-triple factors

A Peirce inner ideal J in an anisotropic Jordan*-triple A gives rise to a Peirce grading (J ₀, J ₁, J ₂) of A by defining

Contractivity of Projections Commuting with Inner Derivations on JBW*-triples

It is shown that if P is a weak*-continuous projection on a JBW*-triple A with predual A _*, such that the range PA of P is an atomic subtriple with finite-dimensional Cartan-factors, and P is the sum of coordinate projections with respect to a standard grid of PA, then P is contractive if and only if it commutes with all inner derivations of PA. This provides characterizations of 1-complemented elements in a large class of subspaces of A _* in terms of commutation relations.     

The central kernel of the Peirce-one space

Further investigation into the properties of the Peirce-one space J₁ corresponding to a weak^*-closed inner ideal J in a JBW^*-triple A is carried out, and, in particular, it is shown that J₁ contains no non-trivial weak^*-closed ideals.Received: 12 June 2002     

The Facial and Inner Ideal Structure of a Real JBW*–Triple

Let B be a real JBW*–triple with predual B_* and canonical hermitification the JBW*–triple A It is shown that the set 𝒰(B)^∼ consisting of the partially ordered set 𝒰(B) of tripotents in B with a greatest element adjoined forms a sub–complete lattice of the complete lattice 𝒰(A)^∼ of tripotents in A with the same greatest element adjoined. The complete lattice 𝒰(B)^∼ is shown to be order isomorphic to the complete lattice ℱ_n(B_*1 of norm–closed faces of the unit ball B_*1 in B_* and anti–order isomorphic to the complete lattice ℱ_w*(B₁) of weak*–closed faces of the unit ball B₁ in B. Consequently, every proper norm–closed face of B_*1 is norm–exposed (by a tripotent) and has the property that it is also a norm–closed face of the closed unit ball in the predual of the hermitification of B. Furthermore, every weak*–closed face of B₁ is weak*–semi–exposed, and, if non–empty, of the form u + B₀(u)₁ where u is a tripotent in B and B₀(u)₁ is the closed unit ball in the zero Peirce space B₀(u) corresponding to u. A structural projection on B is a real linear projection R on B such that, for all elements a and b in B, {Ra b Ra}_B is equal to R{a Rb a}_B. A subspace J of B is said to be an inner ideal if {J B J}_B is contained in J and J is said to be complemented if B is the direct sum of J and the subspace Ker(J) defined to be the set of elements b in B such that, for all elements a in J, {a b a}_B is equal to zero. It is shown that every weak*–closed inner ideal in B is complemented or, equivalently, the range of a structural projection. The results are applied to JBW–algebras, real W*–algebras and certain real Cartan factors.     

The centroid of a weak*-closed inner ideal in a JBW*-triple

It is shown that there exists a ^*-homomorphism from the continuous centroid L^b (A){\cal L}^b (A) of a JBW^*-triple A onto the continuous centroid L^b (J){\cal L}^b (J) of an arbitrary weak^*-closed inner ideal J in A.     

Derivations on Real and Complex JB*-Triples

At the regional conference held at the University of California,Irvine, in 1985 [24], Harald Upmeier posed three basic questionsregarding derivations on JB*-triples: (1) Are derivations automatically bounded? (2) When are all bounded derivations inner? (3) Can bounded derivations be approximated by inner derivations? These three questions had all been answered in the binary cases.Question 1 was answered affirmatively by Sakai [17] for C*-algebrasand by Upmeier [23] for JB-algebras. Question 2 was answeredby Sakai [18] and Kadison [12] for von Neumann algebras andby Upmeier [23] for JW-algebras. Question 3 was answered byUpmeier [23] for JB-algebras, and it follows trivially fromthe Kadison–Sakai answer to question 2 in the case ofC*-algebras. In the ternary case, both question 1 and question 3 were answeredby Barton and Friedman in [3] for complex JB*-triples. In thispaper, we consider question 2 for real and complex JBW*-triplesand question 1 and question 3 for real JB*-triples. A real orcomplex JB*-triple is said to have the inner derivation propertyif every derivation on it is inner. By pure algebra, every finite-dimensionalJB*-triple has the inner derivation property. Our main results,Theorems 2, 3 and 4 and Corollaries 2 and 3 determine whichof the infinite-dimensional real or complex Cartan factors havethe inner derivation property.     

Very long chains of annihilator ideals

Here we examine one of the two right Goldie conditions: the ascending chain condition on right annihilator ideals, r. ACC^⊥. One might well ask if a ring has r. ACC^⊥, does there exist a bound on the lengths of chains of right annihilator ideals? Under certain additional hypotheses, this bound does exist. In general, however, a bound does not exist, as is shown by the two example presented here.     

On the structure of inner ideals of nest algebras

IfA is a nest algebra andA _s=A ∩ A* , whereA* is the set of the adjoints of the operators lying inA, then the pair (A, A _s) forms a partial Jordan *-triple. Important tools when investigating the structure of a partial Jordan *-triple are its tripotents. In particular, given an orthogonal family of tripotents of the partial Jordan *-triple (A, A _s), the nest algebraA splits into a direct sum of subspaces known as the Peirce decomposition relative to that family. In this paper, the Peirce decomposition relative to an orthogonal family of minimal tripotents is used to investigate the structure of the inner ideals of (A, A _s), whereA is a nest algebra associated with an atomic nest. A property enjoyed by inner ideals of the partial Jordan *-triple (A, A _s) is presented as the main theorem. This result is then applied in the final part of the paper to provide examples of inner ideals. A characterization of the minimal tripotents as a certain class of rank one operators is also obtained as a means to deduce the principal theorem.     

Near-rings with no non-zero nilpotent two-sidedR-subsets

It has been proved that, ifR is a near-ring with no non-zero nilpotent two-sidedR-subsets and if the annihilator of any non-zero ideal is contained in some maximal annihilator, thenR is a subdirect sum of strictly prime near-rings. Moreover, ifR is a near-ring with no non-zero nilpotent two-sidedR-subsets and satisfying a.c.c. or d.c.c. on annihilating ideals of the form Ann (Q), whereQ is an ideal ofR, thenR is a finite subdirect sum of strictly prime near-rings. It is also proved that, ifR is a regular and right duo near-ring that satisfies a.c.c. (or d.c.c.) on annihilating ideals of the form Ann (Q), whereQ is an ideal ofR, thenR is a finite direct sum of near-ringsR _i (1 i n) where eachR _i is simple and strictly prime.     

The big slice phenomena in M-embedded and L-embedded spaces

We obtain sufficient conditions on an M-embedded or L-embedded space so that every nonempty relatively weakly open subset of its unit ball has norm diameter 2. We prove that, up to renorming, this holds for every Banach space containing and, as a consequence, for every proper M-ideal. The result obtained for L-embedded spaces can be applied to show that the above property is satisfied for every predual of an atomless real JBW*-triple. As a consequence, a characterization of the Radon-Nikodym property is obtained in this setting, showing that a predual of a real JBW*-triple E verifies the Radon-Nikodym property if, and only if, E is the -sum of real type I triple factors.

     

On the facial structure of the unit ball in the dual space of a JB*-triple

It is shown that every proper weak* closed face of the closed unit ball E₁^*{E_1^*} in the dual space of a JB*-triple E coincides with set of all elements in the unit sphere of E* attaining their norm at a unique compact tripotent in E**. In particular every proper weak* closed face of the closed unit ball E₁^*{E_1^*} is weak*-semi-exposed. This result provides an affirmative answer to a conjecture posed over 20 years ago.     

The right ideals of an alternative ring

It is proved that if P is a right ideal and I a two-sided ideal of an alternative ring A, then neither P² nor IP is in general a right ideal of A. Moreover, it is shown that in the alternative ring A the right annihilator of the right ideal P, i.e., the setE _r(P) = { A|Pz = 0}, is not necessarily either a left or a right ideal, nor even a subring of A.Translated from Matematicheskie Zametki, Vol. 12, No. 3, pp. 239–242, September, 1972.     

A Characterization of π-Complemented Algebras

π-complemented algebras are defined as those algebras (not necessarily associative or unital) such that each annihilator ideal is complemented by other annihilator ideal. Let A be a semiprime algebra. We prove that A is π-complemented if, and only if, every idempotent in the extended centroid of A lies in the centroid of A. We also show the existence of a smallest π-complemented subalgebra of the central closure of A containing A. In the case that A is a C*-algebra, this subalgebra turns out to be a norm dense *-subalgebra of the bounded central closure of A. It follows that a C*-algebra is boundedly centrally closed if, and only if, it is π-complemented.     

Von Neumann Regularity and Quadratic Conorms in JB^＊-triples and C^＊-algebras

We revise the notion of von Neumann regularity in JB^＊-triples by finding a new characterisation in terms of the range of the quadratic operator Q（a）. We introduce the quadratic conorm of an element a in a JB^＊-triple as the minimum reduced modulus of the mapping Q（a）. It is shown that the quadratic conorm of a coincides with the infimum of the squares of the points in the triple spectrum of a. It is established that a contractive bijection between JBW^＊-triples is a triple isomorphism if, and only if, it preserves quadratic conorms. The continuity of the quadratic conorm and the generalized inverse are discussed. Some applications to C^＊-algebras and von Neumann algebras are also studied.     

Projections on weak*-closed subspace of dual Banach algebras

Our first purpose in this paper is to provide necessary conditions for a weak*-closed translation invariant subspace in the semigroup algebra of a locally compact topological foundation semigroup to be completely complemented. We give conditions when a weak*-closed left translation invariant subspace in Ma(S)* of a compact cancellative foundation semigroup S is the range of a weak*-weak* continuous projection on M _a (S)* commuting with translations. Let G be a locally compact group and A be a Banach G-module. Our second purpose in this paper is to study some projections on A* and B(A*) which commutes with translations and convolution.     

Homological Characterizations of Rings with Property (P)

Abstract

A commutative ring R is said to satisfy property (P) if every finitely generated proper ideal of R admits a non-zero annihilator. In this paper we give some necessary and sufficient conditions that a ring satisfies property (P). In particular, we characterize coherent rings, noetherian rings and Π-coherent rings with property (P).     

Weak limits of the extreme dual ball in JB*-triples

We study weak limits of the extreme points, ∂ _e (E ^* ₁), of the dual ball of a JB*-triple, E. We show that all such weak limits, except possibly the zero functional, are weak sequential limits and we discuss implications for the structure of E. Received: 9 April 2001