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 .

     

On the irreducibility of the iterates of

Let be a field and suppose that is irreducible in . We discuss the following question: under what conditions are all iterates of irreducible over ?

     

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.

     

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.

     

Infinite dimensional universal subspaces generated by Blaschke products

Let be the Banach algebra of all bounded analytic functions in the unit disk . A function is said to be universal with respect to the sequence of noneuclidian translates, if the set is locally uniformly dense in the set of all holomorphic functions bounded by . We show that for any sequence of points in tending to the boundary there exists a closed subspace of , topologically generated by Blaschke products, and linear isometric to , such that all of its elements are universal with respect to noneuclidian translates. The proof is based on certain interpolation problems in the corona of . Results on cyclicity of composition operators in are deduced.

     

Simple algebras of Weyl type, II

Over a field of any characteristic, for a commutative associative algebra , and for a commutative subalgebra of , the vector space which consists of polynomials of elements in with coefficients in and which is regarded as operators on forms naturally an associative algebra. It is proved that, as an associative algebra, is simple if and only if is -simple. Suppose is -simple. Then, (a) is a free left -module; (b) as a Lie algebra, the subquotient is simple (except for one case), where is the center of . The structure of this subquotient is explicitly described. This extends the results obtained by Su and Zhao.

     

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 .

     

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 uniqueness result for harmonic functions

Let , , and suppose is harmonic in and on the closure of . If the gradient of vanishes continuously on a subset of of positive -dimensional Lebesgue measure and satisfies certain regularity conditions, then must be identically constant.

     

On a problem of D. H. Lehmer

Let be an odd prime number. For we denote the inverse of modulo by with . Given , we prove that in any range of length the probability that has the same parity as tends to as . This result was previously known only to hold true in the full range of length . We will also obtain quantitative results on the pseudorandomness of the sequence for which we estimate the well-distribution and correlation measures as defined by Mauduit and Sárközy (1997).

     

Proof of Wang's conjecture on subspaces of an inner product space

B.Y. Wang conjectured that if and are subspaces of an -dimensional complex inner product space , and their dimensions are and , respectively, where , then there exists a -dimensional subspace having two orthonormal bases and with and for all .

We prove this conjecture and its real counterpart. The proof is in essence an application of a real version of the Bézout Theorem for the product of several projective spaces.

     

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.

     

Arc-analytic roots of analytic functions are Lipschitz

Let be an arc-analytic function (i.e., analytic on every analytic arc) and assume that for some integer the function is real analytic. We prove that is locally Lipschitz; even if is less than the multiplicity of . We show that the result fails if is only a , arc-analytic function (even blow-analytic), . We also give an example of a non-Lipschitz arc-analytic solution of a polynomial equation , where are real analytic functions.

     

-boundedness for the Hilbert transform and maximal operator along a class of nonconvex curves

Some sufficient conditions on a real polynomial and a convex function are given in order for the Hilbert transform and maximal operator along to be bounded on , for all in , with bounds independent of the coefficients of . The same conclusion is shown to hold for the corresponding hypersurface in under weaker hypotheses on .

     

A new statistic for the problem

A finite -trajectory is a sequence of positive integers such that if is odd, if is even, 1$"> if and . For such a sequence we define . We prove that if is odd and . Histograms suggest that may have an interesting limiting distribution.     

Extremal points of a functional on the set of convex functions

We investigate the extremal points of a functional , for a convex or concave function . The admissible functions are convex themselves and satisfy a condition . We show that the extremal points are exactly and if these functions are convex and coincide on the boundary . No explicit regularity condition is imposed on , , or . Subsequently we discuss a number of extensions, such as the case when or are non-convex or do not coincide on the boundary, when the function also depends on , etc.

     

Isomorphic -subspaces in Orlicz-Lorentz sequence spaces

Given a decreasing weight and an Orlicz function satisfying the -condition at zero, we show that the Orlicz-Lorentz sequence space contains an -isomorphic copy of , if and only if the Orlicz sequence space does, that is, if , where and are the Matuszewska-Orlicz lower and upper indices of , respectively. If does not satisfy the -condition, then a similar result holds true for order continuous subspaces and of and , respectively.

     

Root closed function algebras on compacta of large dimension

Let be a Hausdorff compact space and let be the algebra of all continuous complex-valued functions on , endowed with the supremum norm. We say that is (approximately) -th root closed if any function from is (approximately) equal to the -th power of another function. We characterize the approximate -th root closedness of in terms of -divisibility of the first Cech cohomology groups of closed subsets of . Next, for each positive integer we construct an -dimensional metrizable compactum such that is approximately -th root closed for any . Also, for each positive integer we construct an -dimensional compact Hausdorff space such that is -th root closed for any .

     

Local derivations of reflexive algebras II

Let be a reflexive algebra in Banach space such that both and in Lat . Then every local derivation of into itself is a derivation.

     

Hilbert modules over a class of semicrossed products

Given the disk algebra and an automorphism , there is associated a non-self-adjoint operator algebra called the semicrossed product of with . Buske and Peters showed that there is a one-to-one correspondence between the contractive Hilbert modules over and pairs of contractions and on satisfying . In this paper, we show that the orthogonally projective and Shilov Hilbert modules over correspond to pairs of isometries on satisfying . The problem of commutant lifting for is left open, but some related results are presented.