Inner derivations on ultraprime normed algebras

We show that, for every ultraprime Banach algebra , there exists a positive number satisfying for all in , where denotes the centre of and denotes the inner derivation on induced by . Moreover, the number depends only on the ``constant of ultraprimeness' of .

     

An infinite series of Kronecker conjugate polynomials

Let be a field of characteristic , a transcendental over , and be the absolute Galois group of . Then two non-constant polynomials are said to be Kronecker conjugate if an element of fixes a root of if and only if it fixes a root of . If is a number field, and where is the ring of integers of , then and are Kronecker conjugate if and only if the value set equals modulo all but finitely many non-zero prime ideals of . In 1968 H. Davenport suggested the study of this latter arithmetic property. The main progress is due to M. Fried, who showed that under certain assumptions the polynomials and differ by a linear substitution. Further, he found non-trivial examples where Kronecker conjugacy holds. Until now there were only finitely many known such examples. This paper provides the first infinite series. The main part of the construction is group theoretic.

     

Sharp estimates for the Bochner-Riesz operator of negative order in

The Bochner-Riesz operator on of order is defined by

where denotes the Fourier transform and if , and if . We determine all pairs such that on of negative order is bounded from to . To be more precise, we prove that for the estimate holds if and only if , where

We also obtain some weak-type results for .

     

Invariance of spectrum for representations of -algebras on Banach spaces

Let be a Banach space, a unital -algebra, and an injective, unital homomorphism. Suppose that there exists a function such that, for all , and all ,

(a) ,

(b) ,

(c) .
Then for all , the spectrum of in equals the spectrum of as a bounded linear operator on . If satisfies an additional requirement and is a -algebra, then the Taylor spectrum of a commuting -tuple of elements of equals the Taylor spectrum of the -tuple in the algebra of bounded operators on . Special cases of these results are (i) if is a closed subspace of a unital -algebra which contains as a unital -subalgebra such that , and only if , then for each , the spectrum of in is the same as the spectrum of left multiplication by on ; (ii) if is a unital -algebra and is an essential closed left ideal in , then an element of is invertible if and only if left multiplication by on is bijective; and (iii) if is a -algebra, is a Hilbert -module, and is an adjointable module map on , then the spectrum of in the -algebra of adjointable operators on is the same as the spectrum of as a bounded operator on . If the algebra of adjointable operators on is a -algebra, then the Taylor spectrum of a commuting -tuple of adjointable operators on is the same relative to the algebra of adjointable operators and relative to the algebra of all bounded operators on .

     

On -summable sequences in the range of a vector measure

Let . Among other results, we prove that a Banach space has the property that every sequence lies inside the range of an -valued measure if and only if, for all sequences in satisfying that the operator is 1-summing, the operator is nuclear, being the conjugate number for . We also prove that, if is an infinite-dimensional -space for , then can't have the above property for any .

     

Weighted weak-type inequalities for the maximal function of nonnegative integral transforms over approach regions

The relation between approach regions and singularities of nonnegative kernels is studied, where , , , and is a homogeneous space. For , a sufficient condition on approach regions () is given so that the maximal function

is weak-type with respect to a pair of measures and . It is shown that this condition is also necessary for operators of potential type in the sense of Sawyer and Wheedon (Amer. J. Math. 114 (1992), 813-874).

     

Point spectrum and mixed spectral types for rank one perturbations

We consider examples of rank one perturbations with a cyclic vector for . We prove that for any bounded measurable set , an interval, there exist so that
eigenvalue agrees with up to sets of Lebesgue measure zero. We also show that there exist examples where has a.c. spectrum for all , and for sets of 's of positive Lebesgue measure, also has point spectrum in , and for a set of 's of positive Lebesgue measure, also has singular continuous spectrum in .

     

Commutative group algebras of -summable abelian groups

In this note we study the commutative modular and semisimple group rings of -summable abelian -groups, which group class was introduced by R. Linton and Ch. Megibben. It is proved that is -summable if and only if is -summable, provided is an abelian group and is a commutative ring with 1 of prime characteristic , having a trivial nilradical. If is a -summable -group and the group algebras and over a field of characteristic are -isomorphic, then is a -summable -group, too. In particular provided is totally projective of a countable length.

Moreover, when is a first kind field with respect to and is -torsion, is -summable if and only if is a direct sum of cyclic groups.

     

A Strict Version of the Non-commutative Urysohn Lemma

Given a pair , of -commuting, hereditary -subalgebras of a unital -algebra , such that is -unital and , there is an element in , with , such that is strictly positive in and is strictly positive in in . Moreover, is strictly positive in in .

     

Factorization of an integrally closed ideal in two-dimensional regular local rings

Let be a two-dimensional regular local ring with algebraically closed residue field and be an -primary integrally closed ideal in . Let be the set of Rees valuations of and be the residue field of the valuation ring associated with . Assume that is any minimal reduction of . We show that if is the product of the distinct simple -primary integrally closed ideals in , then is generated by the image of over for all , and the converse of this is also true.

     

On a class of subalgebras of and the intersection of their free maximal ideals

Let be a Tychonoff space and a subalgebra of containing . Suppose that is the set of all functions in with compact support. Kohls has shown that is precisely the intersection of all the free ideals in or in . In this paper we have proved the validity of this result for the algebra . Gillman and Jerison have proved that for a realcompact space , is the intersection of all the free maximal ideals in . In this paper we have proved that this result does not hold for the algebra , in general. However we have furnished a characterisation of the elements that belong to all the free maximal ideals in . The paper terminates by showing that for any realcompact space , there exists in some sense a minimal algebra for which becomes -compact. This answers a question raised by Redlin and Watson in 1987. But it is still unsettled whether such a minimal algebra exists with respect to set inclusion.

     

Intersection of essential ideals in

The infinite intersection of essential ideals in any ring may not be an essential ideal, this intersection may even be zero. By the topological characterization of the socle by Karamzadeh and Rostami (Proc. Amer. Math.Soc. 93 (1985), 179-184), and the topological characterization of essential ideals in Proposition 2.1, it is easy to see that every intersection of essential ideals of is an essential ideal if and only if the set of isolated points of is dense in . Motivated by this result in , we study the essentiallity of the intersection of essential ideals for topological spaces which may have no isolated points. In particular, some important ideals and , which are the intersection of essential ideals, are studied further and their essentiallity is characterized. Finally a question raised by Karamzadeh and Rostami, namely when the socle of and the ideal of coincide, is answered.

     

On Bernstein-Sato polynomials

We show that for fixed and the set of Bernstein-Sato polynomials of all the polynomials in at most variables of degrees at most is finite. As a corollary, we show that there exists an integer depending only on and such that generates as a module over the ring of the -linear differential operators of , where is an arbitrary field of characteristic 0, is the ring of polynomials in variables over and is an arbitrary non-zero polynomial of degree at most .

     

On the von Neumann-Jordan constant for Banach spaces

Let be the von Neumann-Jordan constant for a Banach space . It is known that for any Banach space ; and is a Hilbert space if and only if . We show that: (i) If is uniformly convex, is less than two; and conversely the condition implies that admits an equivalent uniformly convex norm. Hence, denoting by the infimum of all von Neumann-Jordan constants for equivalent norms of , is super-reflexive if and only if . (ii) If , (the same value as that of -space), is of Rademacher type and cotype for any with , where ; the converse holds if is a Banach lattice and is finitely representable in or .

     

When is a -block?

Let and be distinct prime numbers and let be a finite group. If is a -block of and is a -block, we study when the set of ordinary irreducible characters in the blocks and coincide.

     

On the rational cuspidal subgroup and the rational torsion points of

For two distinct prime numbers , , we compute the rational cuspidal subgroup of and determine the -primary part of the rational torsion subgroup of the old subvariety of for most primes . Some results of Berkovic on the nontriviality of the Mordell-Weil group of some Eisenstein factors of are also refined.

     

An Engel condition with derivation for left ideals

We generalize a number of results in the literature by proving the following theorem: Let be a semiprime ring, a nonzero derivation of , a nonzero left ideal of , and let . If for some positive integers , and all , the identity holds, then either or else the ideal of generated by and is in the center of . In particular, when is a prime ring, is commutative.

     

A sequential property of and a covering property of Hurewicz

has the monotonic sequence selection property if there is for each , and for every sequence where for each is a sequence converging pointwise monotonically to , a sequence such that for each is a term of , and converges pointwise to . We prove a theorem which implies for metric spaces that has the monotonic sequence selection property if, and only if, has a covering property of Hurewicz.

     

Open covers and the square bracket partition relation

An open cover of an infinite separable metric space is an -cover of if and for every finite subset of there is a such that . Let be the collection of -covers of . We show that the partition relation holds if, and only if, the partition relation holds.