A description of Hilbert -modules in which all closed submodules are orthogonally closed

Let , be -algebras and a full Hilbert --bimodule such that every closed right submodule is orthogonally closed, i.e., . Then there are families of Hilbert spaces , such that and are isomorphic to -direct sums , resp. , and is isomorphic to the outer direct sum .

     

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.

     

On sums and products of integers

Erdös and Szemerédi proved that if is a set of positive integers, then there must be at least integers that can be written as the sum or product of two elements of , where is a constant and . Nathanson proved that the result holds for . In this paper it is proved that the result holds for and .

     

On permutation representations of polyhedral groups

We answer affirmatively the following question of Derek Holt: Given integers , can one, in a simple manner, find a finite set and permutations such that has order , has order and has order ? The method of proof enables us to prove more general results (Theorems 2 and 3).

     

On the range and the kernel of the operator

Let denote the algebra of (bounded linear) operators on the separable complex Hilbert space , and let denote a norm ideal in . For , let the derivation be defined by , and let be defined by . The main result of this paper is to show that if , are contractions, then for every operator such that , then for all .

     

Irreducible plane curves with the Albanese dimension 2

Let be a plane curve given by an equation , and let be the affine plane curve given by . Let denote a cyclic covering of determined by . The number is called the Albanese dimension of . In this article, we shall give examples of with the Albanese dimension 2.

     

A sharp exponential inequality for Lorentz-Sobolev spaces on bounded domains

This paper generalizes an inequality of Moser from the case that is in the Lebesgue space to certain subspaces, namely the Lorentz spaces , where . The conclusion is that is integrable, where . This is a higher degree of integrability than in the Moser inequality when . A formula for is given and it is also shown that no larger value of works.

     

Normality and paracompactness of the Fell topology

Let be a Hausdorff topological space and the hyperspace of all closed nonempty subsets of . We show that the Fell topology on is normal if and only if the space is Lindelöf and locally compact. For the Fell topology normality, paracompactness and Lindelöfness are equivalent.

     

Lusin's theorem for derivatives with respect to a continuous function

For a nowhere constant continuous function on a real interval and for a Borel measure on , we give simple necessary and sufficient conditions guaranteeing, for any Borel function on , the existence of a continuous function on such that the derivative of with respect to is, almost everywhere, equal to .

     

Relative Brauer groups of discrete valued fields

Let be a non-trivial finite Galois extension of a field . In this paper we investigate the role that valuation-theoretic properties of play in determining the non-triviality of the relative Brauer group, , of over . In particular, we show that when is finitely generated of transcendence degree 1 over a -adic field and is a prime dividing , then the following conditions are equivalent: (i) the -primary component, , is non-trivial, (ii) is infinite, and (iii) there exists a valuation of trivial on such that divides the order of the decomposition group of at .

     

Sharper changes in topologies

Let be a Polish group, a Polish topology on a space , acting continuously on , with -invariant and in the Borel algebra generated by . Then there is a larger Polish topology on so that is open with respect to , still acts continuously on , and has a basis consisting of sets that are of the same Borel rank as relative to .

     

A proof of the Hoggatt-Bergum conjecture

It is proved that if and are positive integers such that the product of any two distinct elements of the set

increased by is a perfect square, then has to be . This is a generalization of the theorem of Baker and Davenport for .

     

Finite generation of powers of ideals

Suppose is a maximal ideal of a commutative integral domain and that some power of is finitely generated. We show that is finitely generated in each of the following cases: (i) is of height one, (ii) is integrally closed and , (iii) is a monoid domain over a field , where is a cancellative torsion-free monoid such that , and is the maximal ideal . We extend the above results to ideals of a reduced ring such that is Noetherian. We prove that a reduced ring is Noetherian if each prime ideal of has a power that is finitely generated. For each with , we establish existence of a -dimensional integral domain having a nonfinitely generated maximal ideal of height such that is -generated.

     

Special-valued subgroups of lattice-ordered groups

We prove that the intersection of all maximal special-valued subgroups of a lattice-ordered group is the special-valued quasi-torsion radical of a lattice-ordered group , which extends our earlier result that the intersection of all maximal finite-valued subgroups of a lattice-ordered group is the finite-valued torsion radical of . We also show that the class of almost finite-valued lattice-ordered groups is a quasi-torsion class, and the quasi-torsion radical of a group is equal to the intersection of the group with the lateral completion of the finite-valued torsion radical of the group.

     

-identities on associative algebras

Let be an algebra over a field and a finite group of automorphisms and anti-automorphisms of . We prove that if satisfies an essential -polynomial identity of degree , then the -codimensions of are exponentially bounded and satisfies a polynomial identity whose degree is bounded by an explicit function of . As a consequence we show that if is an algebra with involution satisfying a -polynomial identity of degree , then the -codimensions of are exponentially bounded; this gives a new proof of a theorem of Amitsur stating that in this case must satisfy a polynomial identity and we can now give an upper bound on the degree of this identity.

     

Tensor products of subnormal operators

We shall use a -algebra approach to study operators of the form where is subnormal and is normal. We shall determine the spectral properties for these operators, and find the minimal normal extension and the dual operator. We also give a necessary condition for to contain a compact operator and a sufficient condition for the algebraic equivalence of and .

We also consider the existence of a homomorphism satisfying . We shall characterize the operators such that exists for every operator .

The problem of when is unitarily equivalent to is considered. Complete results are given when and are positive operators with finite multiplicity functions and has compact self-commutator. Some examples are also given.

     

Existence of unliftable modules

Let be a commutative Noetherian local ring, and let where is a non-zerodivisor of contained in . Then a finitely generated -module is said to lift to if there exists a finitely generated -module such that is -regular and . In this paper we give a general construction of finitely generated -modules of finite projective dimension over which fail to lift to provided and the depth of is at least 2.

     

A Dauns-Hofmann theorem for TAF-algebras

Let be a TAF-algebra, the centre of the ideal lattice of , and the space of meet-irreducible elements of , equipped with the hull-kernel topology. It is shown that is a compact, locally compact, second countable, -space, that is an algebraic lattice isomorphic to the lattice of open subsets of , and that is isomorphic to the algebra of continuous, complex functions on . If is semisimple, then is isomorphic to the algebra of continuous, complex functions on , the primitive ideal space of . If is strongly maximal, then the sum of two closed ideals of is closed.

     

Bifurcations of the Hill's region in the three body problem

In the spatial three body problem, the topology of the integral manifolds (i.e. the level sets of energy and angular momentum , as well as center of mass and linear momentum) and the Hill's regions (the projection of the integral manifold onto position coordinates) depends only on the quantity It was established by Albouy and McCord-Meyer-Wang that, for and , there are exactly eight bifurcation values for at which the topology of the integral manifold changes. It was also shown that for each of these values, the topology of the Hill's region changes as well. In this work, it is shown that there are no other values of for which the topology of the Hill's region changes. That is, a bifurcation of the Hill's region occurs if and only if a bifurcation of the integral manifold occurs.

     

Uniform distribution modulo one on subsequences

Let be a set of primes with a divergent series of reciprocals and let denote the set of squarefree integers greater than one that are divisible only by primes in . G. Myerson and A. D. Pollington proved that is uniformly distributed (mod 1) whenever the subsequence is uniformly distributed (mod 1) for every in . We show that in fact is uniformly distributed (mod 1) whenever the subsequence is uniformly distributed (mod 1) for every .