Metacompact subspaces of products of ordinals

Let be a subspace of the product of finitely many ordinals. is countably metacompact, and is metacompact iff has no closed subset homeomorphic to a stationary subset of a regular uncountable cardinal. A theorem generalizing these two results is: is -metacompact iff has no closed subset homeomorphic to a -stationary set where .

     

On the predictability of discrete dynamical systems

Let be a metric space. A function is said to be non-sensitive at a point if for every 0$"> there is a 0$"> such that for any choice of points , , , we have that for every . Let be the set of all homeomorphisms from onto endowed with the topology of uniform convergence. The main goal of the present paper is to prove that for certain spaces , ``most' functions in are non-sensitive at ``most' points of .

     

LCM-splitting sets in some ring extensions

Let be a saturated multiplicative set of an integral domain . Call an lcm splitting set if and are principal ideals for every and . We show that if is an -stable overring of (that is, if whenever and is principal, it follows that and if is an lcm splitting set of , then the saturation of in is an lcm splitting set in . Consequently, if is Noetherian and is a (nonzero) prime element, then is also a prime element of the integral closure of . Also, if is Noetherian, is generated by prime elements of and if the integral closure of is a UFD, then so is the integral closure of .

     

An automatic adjoint theorem and its applications

In this paper, we prove the following automatic adjoint theorem: For any sequence spaces and , if has the signed-weak gliding hump property and is an infinite matrix which transforms into , then the transpose matrix of transforms into , and for any and , . That is, the adjoint operator of automatically exists and is just the transpose matrix of . From the theorem we obtain a class of infinite matrix topological algebras , and prove also a -multiplier convergence theorem of Orlicz-Pettis type. The theorem improves substantially the famous Stiles' Orlicz-Pettis theorem.

     

Radicals and Plotkin's problem concerning geometrically equivalent groups

If and are groups and is a normal subgroup of , then the -closure of in is the normal subgroup of . In particular, is the -radical of . Plotkin calls two groups and geometrically equivalent, written , if for any free group of finite rank and any normal subgroup of the -closure and the -closure of in are the same. Quasi-identities are formulas of the form for any words in a free group. Generally geometrically equivalent groups satisfy the same quasi-identities. Plotkin showed that nilpotent groups and satisfy the same quasi-identities if and only if and are geometrically equivalent. Hence he conjectured that this might hold for any pair of groups. We provide a counterexample.

     

The Weierstrass approximation theorem and a characterization of the unit circle

We study real algebraic morphisms from nonsingular real algebraic varieties with into nonsingular real algebraic curves . We show, among other things, that the set of real algebraic morphisms from into is never dense in the space of all maps from into , unless is biregularly isomorphic to a Zariski open subset of the unit circle.

     

Van der Waerden spaces

A topological space is van der Waerden if for every sequence in there exists a converging subsequence so that contains arbitrarily long finite arithmetic progressions. Not every sequentially compact space is van der Waerden. The product of two van der Waerden spaces is van der Waerden.

The following condition on a Hausdorff space is sufficent for to be van der Waerden:

The closure of every countable set in is compact and first-countable.

A Hausdorff space that satisfies satisfies, in fact, a stronger property: for every sequence in :

There exists so that is converging, and contains arbitrarily long finite arithmetic progressions and sets of the form for arbitrarily large finite sets .

There are nonmetrizable and noncompact spaces which satisfy . In particular, every sequence of ordinal numbers and every bounded sequence of real monotone functions on satisfy .

     

On one problem of uniqueness of meromorphic functions concerning small functions

In this paper, we show that if two non-constant meromorphic functions and satisfy for , where are five distinct small functions with respect to and , and is a positive integer or with , then . As a special case this also answers the long-standing problem on uniqueness of meromorphic functions concerning small functions.

     

Strongly representable atom structures of relation algebras

A relation algebra atom structure is said to be strongly representable if all atomic relation algebras with that atom structure are representable. This is equivalent to saying that the complex algebra is a representable relation algebra. We show that the class of all strongly representable relation algebra atom structures is not closed under ultraproducts and is therefore not elementary. This answers a question of Maddux (1982).

Our proof is based on the following construction. From an arbitrary undirected, loop-free graph , we construct a relation algebra atom structure and prove, for infinite , that is strongly representable if and only if the chromatic number of is infinite. A construction of Erdös shows that there are graphs () with infinite chromatic number, with a non-principal ultraproduct whose chromatic number is just two. It follows that is strongly representable (each ) but is not.

     

The homogeneous spectrum of a graded commutative ring

Suppose is a torsion-free cancellative commutative monoid for which the group of quotients is finitely generated. We prove that the spectrum of a -graded commutative ring is Noetherian if its homogeneous spectrum is Noetherian, thus answering a question of David Rush. Suppose is a commutative ring having Noetherian spectrum. We determine conditions in order that the monoid ring have Noetherian spectrum. If , we show that has Noetherian spectrum, while for each we establish existence of an example where the homogeneous spectrum of is not Noetherian.

     

A function space -compact space

Assuming that the minimal cardinality of a dominating family in is equal to , we construct a subset of a real line such that the space of continuous real-valued functions on does not admit any continuous bijection onto a -compact space. This gives a consistent answer to a question of Arhangel'skii.

     

Automatic continuity of -derivations on -algebras

Let be a -algebra acting on a Hilbert space , let be a linear mapping and let be a -derivation. Generalizing the celebrated theorem of Sakai, we prove that if is a continuous -mapping, then is automatically continuous. In addition, we show the converse is true in the sense that if is a continuous --derivation, then there exists a continuous linear mapping such that is a --derivation. The continuity of the so-called - -derivations is also discussed.

     

Complemented isometric copies of in dual Banach spaces

Let be a real or complex Banach space and . Then contains a -complemented, isometric copy of if and only if contains a -complemented, isometric copy of if and only if contains a subspace -asymptotic to .

     

On images of Borel measures under Borel mappings

Let and be metric spaces. We show that the tight images of a (fixed) tight Borel probability measure on , under all Borel mappings , form a closed set in the space of tight Borel probability measures on with the weak-topology. In contrast, the set of images of under all continuous mappings from to may not be closed. We also characterize completely the set of tight images of under Borel mappings. For example, if is non-atomic, then all tight Borel probability measures on can be obtained as images of , and as a matter of fact, one can always choose the corresponding Borel mapping to be of Baire class 2.

     

Two characterizations of pure injective modules

Let be a commutative ring with identity and an -module. It is shown that if is pure injective, then is isomorphic to a direct summand of the direct product of a family of finitely embedded modules. As a result, it follows that if is Noetherian, then is pure injective if and only if is isomorphic to a direct summand of the direct product of a family of Artinian modules. Moreover, it is proved that is pure injective if and only if there is a family of -algebras which are finitely presented as -modules, such that is isomorphic to a direct summand of a module of the form , where for each , is an injective -module.

     

Primary decomposition: Compatibility, independence and linear growth

For finitely generated modules over a Noetherian ring , we study the following properties about primary decomposition: (1) The Compatibility property, which says that if and is a -primary component of for each , then ; (2) For a given subset , is an open subset of if and only if the intersections for all possible -primary components and of ; (3) A new proof of the `Linear Growth' property, which says that for any fixed ideals of there exists a such that for any there exists a primary decomposition of such that every -primary component of that primary decomposition contains .

     

Transference for amenable actions

Suppose acts amenably on a measure space with quasi-invariant -finite measure . Let be an isometric representation of on and a finite Radon measure on . We show that the operator has -operator norm not exceeding the -operator norm of the convolution operator defined by . We shall also prove an analogous result for the maximal function associated to a countable family of Radon measures .

     

Function algebras and the lattice of compactifications

We provide some conditions as to when for two locally compact spaces and (where is the lattice of all Hausdorff compactifications of ). More specifically, we prove that if and only if . Using this result, we prove several extensions to the case where is embedded as a sub-lattice of and to where and are not locally compact.

One major contribution is in the use of function algebra techniques. The use of these techniques makes the extensions simple and clean and brings new tools to the subject.

     

Index of B-Fredholm operators and generalization of a Weyl theorem

The aim of this paper is to show that if and are commuting B-Fredholm operators acting on a Banach space , then is a B-Fredholm operator and , where means the index. Moreover if is a B-Fredholm operator and is a finite rank operator, then is a B-Fredholm operator and We also show that if is isolated in the spectrum of , then is a B-Fredholm operator of index if and only if is Drazin invertible. In the case of a normal bounded linear operator acting on a Hilbert space , we obtain a generalization of a classical Weyl theorem.     

On classes of maps which preserve finitisticness

We shall prove the following: Let be a refinable map between paracompact spaces. Then is finitistic if and only if is finitistic. Let be a hereditary shape equivalence between metric spaces. Then if is finitistic, is finitistic.