The exposed points of the set of invariant means on an ideal

Let be a -compact locally compact nondiscrete group and let be a -invariant ideal of . We denote the set of left invariant means on that are zero on (i.e. for all ) by . We show that, when is amenable as a discrete group and the closed -invariant subset of the spectrum of corresponding to is a -set, is very large in the sense that every nonempty -subset of contains a norm discrete copy of , where is the Stone- compactification of the set of positive integers with the discrete topology. In particular, we prove that has no exposed points in this case and every nonempty -subset of the set of left invariant means on contains a norm discrete copy of .

     

On uniqueness of -adic meromorphic functions

Let be a complete ultrametric algebraically closed field of characteristic zero, and let be the field of meromorphic functions in . For all set in and for all we denote by the subset of : zero of order After studying unique range sets for entire functions in in a previous article, here we consider a similar problem for meromorphic functions by showing, in particular, that, for every , there exist sets of elements in such that, if have the same poles (counting multiplicities), and satisfy , then . We show how to construct such sets.

     

The Fuglede-Putnam theorem and a generalization of Barría's lemma

Let and be bounded linear operators, and let be a partial isometry on a Hilbert space. Suppose that (1) , (2) , (3) and (4) . Then we have .

     

Mergelyan pairs for harmonic functions

Let be open and be a bounded set which is closed relative to . We characterize those pairs such that, for each harmonic function on which is uniformly continuous on , there is a sequence of harmonic polynomials which converges to uniformly on . As an immediate corollary we obtain a characterization of Mergelyan pairs for harmonic functions.

     

Regularization of semigroups that are strongly continuous for

Let be a Banach space and a strongly continuous semigroup with . We show that the generator of generates a regularized semigroup. Our construction of a regularizing operator uses an existence result of J. Esterle.

     

The maximal normal -group

Let be a prime number and let be an abelian -group. Let be the maximal normal -subgroup of and the maximal -subgroup of its centre. Let be the torsion radical of . Then . The result is new for and 3, and the proof is new and valid for all primes .

     

On the relative commutants of subfactors

Let be factors generated by a periodic tower of finite dimensional -algebras. We prove that for sufficiently large , is -isomorphic to a subalgebra of .

     

-ideals of compact operators are separably determined

We prove that the space of compact operators on a Banach space is an -ideal in the space of bounded operators if and only if has the metric compact approximation property (MCAP), and is an -ideal in for all separable subspaces of having the MCAP. It follows that the Kalton-Werner theorem characterizing -ideals of compact operators on separable Banach spaces is also valid for non-separable spaces: for a Banach space is an -ideal in if and only if has the MCAP, contains no subspace isomorphic to and has property It also follows that is an -ideal in for all Banach spaces if and only if has the MCAP, and is an -ideal in .

     

Character degrees and local subgroups of -separable groups

Let be a finite -solvable group for different primes and . Let and be such that . We prove that every of -degree has -degree if and only if and .

     

The maximum condition on annihilators for polynomial rings

For each positive integer , we construct a commutative ring such that the polynomial ring satisfies the maximum condition on annihilators and does not. In particular, there exists a commutative Kerr ring such that is not Kerr. This answers in the negative a question of Faith's.

     

A topology on lattice ordered groups

We show that a lattice ordered group can be topologized in a natural way. The topology depends on the choice of a set of admissible elements (-topology). If a lattice ordered group is 2-divisible and satisfies a version of Archimedes' axiom (-group), then we show that the -topology is Hausdorff. Moreover, we show that a -group with the -topology is a topological group.

     

On an analogue of Selberg's eigenvalue conjecture for

Let be the homogeneous space associated to the group
. Let where and consider the first nontrivial eigenvalue of the Laplacian on . Using geometric considerations, we prove the inequality . Since the continuous spectrum is represented by the band , our bound on can be viewed as an analogue of Selberg's eigenvalue conjecture for quotients of the hyperbolic half space.

     

On the product of two generalized derivations

Two elements and in a ring determine a generalized derivation on by setting for any in . We characterize when the product is a generalized derivation in the cases when the ring is the algebra of all bounded operators on a Banach space , and when is a -algebra . We use these characterizations to compute the commutant of the range of .

     

Open covers and partition relations

An open cover of a topological space is said to be an -cover if there is for each finite subset of the space a member of the cover which contains the finite set, but the space itself is not a member of the cover. We prove theorems which imply that a set of real numbers has Rothberger's property if, and only if, for each positive integer , for each -cover of , and for each function from the two-element subsets of , there is a subset of such that is constant on , and each element of belongs to infinitely many elements of (Theorem 1). A similar characterization is given of Menger's property for sets of real numbers (Theorem 6).

     

Helly-type theorems for hollow axis-aligned boxes

A hollow axis-aligned box is the boundary of the cartesian product of compact intervals in . We show that for , if any of a collection of hollow axis-aligned boxes have non-empty intersection, then the whole collection has non-empty intersection; and if any of a collection of hollow axis-aligned rectangles in have non-empty intersection, then the whole collection has non-empty intersection. The values for and for are the best possible in general. We also characterize the collections of hollow boxes which would be counterexamples if were lowered to , and to , respectively.

     

Glasner sets and polynomials in primes

A set of integers is said to be Glasner if for every infinite subset of the torus and there exists some such that the dilation intersects every integral of length in . In this paper we show that if denotes the th prime integer and is any non-constant polynomial mapping the natural numbers to themselves, then is Glasner. The theorem is proved in a quantitative form and generalizes a result of Alon and Peres (1992).

     

Optimal control of a functional equation associated with closed range selfadjoint operators

Necessary and sufficient conditions for the optimality of a pair subject to are given. Here is a selfadjoint operator with closed range on a Hilbert space and . The case - unbounded is also discussed, which leads to some open problems. This general functional scheme includes most of the previous results on the optimal control of the -periodic wave equation for all in a dense subset of . It also includes optimal control problems for some elliptic equations.

     

Zeros of the Zak transform on locally compact Abelian groups

Let be a locally compact abelian group. The notion of Zak transform on extends to . Suppose that is compactly generated and its connected component of the identity is non-compact. Generalizing a classical result for , we then prove that if is such that its Zak transform is continuous on , then has a zero.

     

A unified extension of two results of Ky Fan on the sum of matrices

Let be an Hermitian matrix with where are the ordered eigenvalues of . A result of Ky Fan (1949) asserts that if and are Hermitian matrices, then is majorized by . We extend the result in the framework of real semisimple Lie algebras in the following way. Let be a noncompact real semisimple Lie algebra with Cartan decomposition . We show that for any given , , where is the unique element corresponding to , in a fixed closed positive Weyl chamber of a maximal abelian subalgebra of in . Here the ordering is induced by the dual cone of . Fan's result corresponds to the Lie algebra . The compact case is also discussed. As applications, two unexpected singular values inequalities concerning the sum of two real matrices and the sum of two real skew symmetric matrices are obtained.

     

The location of the zeros of the higher order derivatives of a polynomial

Let be a complex polynomial of degree having zeros in a disk . We deal with the problem of finding the smallest concentric disk containing zeros of . We obtain some estimates on the radius of this disk in general as well as in the special case, where zeros in are isolated from the other zeros of . We indicate an application to the root-finding algorithms.