The metric approximation property,norm-one projections and intersection properties of balls

We show that ifE is a Banach space with the Radon-Nikodym property thenE has the metric approximation property if and only if the space of finite rank operators is locally complemented in the space of bounded operators.     

On the lattice formed by all normal subloops of a finite loop

All normal subloops of a loopG form a modular latticeL _n (G). It is shown that a finite loopG has a complemented normal subloop lattice if and only ifG is a direct product of simple subloops. In particular,L _n (G) is a Boolean algebra if and only if no two isomorphic factors occurring in a decomposition ofG are abelian groups. The normal subloop lattice of a finite loop is a projective geometry if and only ifG is an elementary abelianp-group for some primep.     

Projective and indecomposableS-acts

LetS be a semigroup andE the set of all idempotents inS. LetS-Act be the category of allS-acts. LetC be a full subcategory ofS-Act which contains_s S and is closed under coproducts and summands. It is proved that, inC, anS-actP is projective and unitary if and only ifP≅ ∐ _{jϕ I} Se _i ,e _i ϕE. In particular,P is a projective, indecomposable and unitary object if and only ifP ≅Se for somee ∈E. These generalize some results obtained by Knauer and Talwar.     

The Choquet integral representation in the affine vector-valued case

LetX be any compact convex subset of a locally convex Hausdorff space andE be a complex Banach space. We denote byA(X, E) the space of all continuous and affineE-valued functions defined onX. In this paper we prove thatX is a Choquet simplex if and only if the dual ofA(X, E) is isometrically isomorphic by a selection map toM _m (X, E*), the space ofE*-valued,w*-regular boundary measures onX. This extends and strengthens a result of G. M. Ustinov. To do this we show that for any compact convex setX, each element of the dual ofA(X, E) can be represented by a measure inM _m (X, E*) with the same norm, and this representation is unique if and only ifX is a Choquet simplex. We also prove that ifX is metrizable andE is separable then there exists a selection map from the unit ball of the dual ofA(X, E) into the unit ball ofM _m (X, E*) which is weak* to weak*-Borel measurable.This work will constitute a portion of the author's Ph.D. Thesis at the University of Illinois.     

Projective and indecomposableS-acts

LetS be a semigroup andE the set of all idempotents inS. LetS-Act be the category of allS-acts. LetC be a full subcategory ofS-Act which contains_s S and is closed under coproducts and summands. It is proved that, inC, anS-actP is projective and unitary if and only ifP≅ ∐ _{jϕ I} Se _i ,e _i ϕE. In particular,P is a projective, indecomposable and unitary object if and only ifP ≅Se for somee ∈E. These generalize some results obtained by Knauer and Talwar. Research partially supported by a UGC (HK) (Grant No. 2160092).     

The structure of injective covers of special modules

In this paper, we prove that the injective cover of theR-moduleE(R/B)/R/B for a prime ideal B ofR is the direct sum of copies ofE(R/B) for prime ideals D ⊃ B, and if B is maximal, the injective cover is a finite sum of copies ofE(R/B). For a finitely generatedR-moduleM withn generators andG an injectiveR-module, we argue that the natural mapG ⁿ →G ⁿ/Hom _R (M, G) is an injective precover if Ext _R ¹ (M, R) = 0, and that the converse holds ifG is an injective cogenerator ofR. Consequently, for a maximal ideal R ofR, depth_R R ≧ 2 if and only if the natural mapE(R/R) →E(R/R)/R/R is an injective cover and depth_R R > 0.     

Gauges for the cookie-cutter sets

Let E be a cookie-cutter set with dimH E =s. It is known that the Hausdorff s-measure and the packing s-measure of the set E are positive and finite. In this paper, we prove that for a gauge function g the set E has positive and finite Hausdorff g-measure if and only if 0 〈 liminft→0 g（t）/ts 〈 ∞. Also, we prove that for a doubling gauge function g the set E has positive and finite packing g-measure if and only if 0 〈 lim supt→0 g（t）/ts 〈 ∞.     

The kadec-klee property in symmetric spaces of measurable operators

We show that ifE is a separable symmetric Banach function space on the positive half-line thenE has the Kadec-Klee property if and only if, for every semifinite von Neumann algebra (M, τ), the associated spaceE(M, τ) ofτ-measurable operators has the Kadec-Klee property. Research supported by the Australian Research Council.     

Sur les espaces de Banach contenantl 1(τ)

Letτ be a cardinal with cf(τ)>ℵ₀. Then a Banach spaceE contains a subspace isomorphic tol ^l(τ) if and only if [0,1] ^r is a continuous image of the unit ballE′₁ ofE′, provided with the w*-topology. It follows that, for each cardinalκ, ifE′₁ contains a copy ofβκ, thenE has a quotient isomorphic tol ^∞(κ). In this situation we show thatE has even a quotientisometric tol ^∞(κ).      

Craig-Sakamoto's theorem for the Wishart distributions on symmetric cones

A version of Craig-Sakamoto's theorem says essentially that ifX is aN(O,I _n ) Gaussian random variable in ⁿ, and ifA andB are (n, n) symmetric matrices, thenXAX andXBX (or traces ofAXX andBXX) are independent random variables if and only ifAB=0. As observed in 1951, by Ogasawara and Takahashi, this result can be extended to the case whereXX is replaced by a Wishart random variable. Many properties of the ordinary Wishart distributions have recently been extended to the Wishart distributions on the symmetric cone generated by a Euclidean Jordan algebraE. Similarly, we generalize there the version of Craig's theorem given by Ogasawara and Takahashi. We prove that ifa andb are inE and ifW is Wishart distributed, then Tracea.W and Traceb.W are independent if and only ifa.b=0 anda.(b.x)=b.(a.x) for allx inE, where the. indicates Jordan product.Partially supported by NATO grant 92.13.47.     

The radius of convergence of Poincaré series of loop spaces

LetR _S (resp.R _A) be the radius of convergence of the Poincaré series of a loop space (S) (resp. of the Betti-Poincaré series of a noetherian connected graded commutative algebraA over a field of characteristic zero).IfS is a finite 1-connected CW-complex, the rational homotopy Lie algebra ofS is finite dimensional if and only ifR _S-1. OtherwiseR _S<1.There is an easily computable upper bound (usually less than 1) forR _S ifS is formal or coformal.On the other handR _A=+ if and only ifA is a polynomial algebra andR _A=1 if and only ifA is a complete intersection (Golod and Gulliksen conjecture). OtherwiseR _A<1 and the sequence dim Tor _p ^H grows exponentially withp.     

The quotient field as a torsion-free covering module

R will denote a commutative integral domain with quotient fieldQ. A torsion-free cover of a moduleM is a torsion-free moduleF and anR-epimorphism σ:F→M such that given any torsion-free moduleG and λ∈Hom _R (G, M) there exists μ∈Hom _R (G,F) such that σμ=λ. It is known that ifM is a maximal ideal ofR, R→R/M is a torsion-free cover if and only ifR is a maximal valuation ring. LetE denote the injective hull ofR/M thenR→R/M extends to a homomorphismQ→E. We give necessary and sufficient conditions forQ→E to be a torsion-free cover.     

Ends of graphed equivalence relations,I

Given a countable Borel equivalence relation E on a Polish space, we show: (1) E admits an endless graphing if and only if E is smooth; (2) E admits a locally finite single-ended graphing if and only if E is aperiodic; (3) E admits a graphing for which there is a Borel way of selecting two ends from each component if and only if E is hyperfinite; and (4) E admits a graphing for which there is a Borel way of selecting a finite set of at least three ends from each component if and only if E is smooth. The author was supported in part by NSF VIGRE Grant DMS-0502315.     

Symetries isometriques applications a la dualite des espaces reticules

We show that ifE is a non-reflexive Banach lattice, there exists for everyn a dual of finite even order ofE which contins isometicallyl _n ^/l . We show that itE is a Banach lattice which is isometric to the dual of a Banach spaceX, then the order intervals are σ (E, X)-compact. We prove then that under various conditions, a Banach lattice which is a dual as a Banach space, is a dual as a Banach lattice. In particular, this is true when the predual ofE is unique.      

Irreducible Finitary Lie Algebras over Fields of Characteristic Zero

A Lie subalgebraLof (V) is said to befinitaryif it consists of elements of finite rank. We show that if Char = 0, if dim Vis infinite, and ifLacts irreducibly onV, then the derived algebra ofLis simple.     

On Codimension Growth of Finitely Generated Associative Algebras

LetAbe a PI-algebra over a fieldF. We study the asymptotic behavior of the sequence of codimensionsc_n(A) ofA. We show that ifAis finitely generated overFthenInv(A)=lim_n→∞ always exists and is an integer. We also obtain the following characterization of simple algebras:Ais finite dimensional central simple overFif and only ifInv(A)=dim=A.     

On the existence of noncompact bounded linear operators between certain Banach spaces

It is proved that if the Banach spaceE has an unconditional basis and ifF is another Banach space, the following two assertions are equivalent: (1) There is a non-compact bounded linear operator fromE intoF′. (2) The space of bounded linear operators fromE intoF′ has a subspace isomorphic toc ₀. This research was supported in part by National Science Foundation Grants GP 12027 and GU 3171. The author thanks the referee for simplifying the proof.     

Renorming in the space of Bochner integrable functionsL 1(μ,X)

A sufficient condition is given when a subspaceL⊂L ₁(μ,X) of the space of Bochner integrable function, defined on a finite and positive measure space (S, Φ, μ) with values in a Banach spaceX, is locally uniformly convex renormable in terms of the integrable evaluations {∫ _A fdμ;f∈L}. This shows the lifting property thatL ₁(μ,X) is renormable if and only ifX is, and indicates a large class of renormable subspaces even ifX does not admit and equivalent locally uniformly convex norm.     

Howson's Property for Semidirect Products of Semilattices by Groups

An inverse semigroup S is a Howson inverse semigroup if the intersection of finitely generated inverse subsemigroups of S is finitely generated. Given a locally finite action θ of a group G on a semilattice E, it is proved that E*_θG is a Howson inverse semigroup if and only if G is a Howson group. It is also shown that this equivalence fails for arbitrary actions.     

Banach spaces embedding intoL 0

Our main result in this paper is that a Banach spaceX embeds intoL ₁ if and only ifl ₁(X) embeds intoL ₀; more generally if 1≦p<2,X embeds intoL _p if and only ifl _p(X) embeds intoL ₀. Research supported by NSF grant MCS-8301099.