On covering multiplicity

Let be a system of arithmetic sequences which forms an -cover of (i.e. every integer belongs at least to members of ). In this paper we show the following surprising properties of : (a) For each there exist at least subsets of with such that . (b) If forms a minimal -cover of , then for any there is an such that for every there exists an for which and

     

Completeness of eigenvectors of group representations of operators whose Arveson spectrum is scattered

We establish the following result.

Theorem. Let be a integrable bounded group representation whose Arveson spectrum is scattered. Then the subspace generated by all eigenvectors of the dual representation is dense in Moreover, the closed subalgebra generated by the operators () is semisimple.

If, in addition, does not contain any copy of then the subspace spanned by all eigenvectors of is dense in Hence, the representation is almost periodic whenever it is strongly continuous.

     

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.

     

Degenerations for modules over representation-finite algebras

Let be a representation-finite algebra. We show that a finite dimensional -module degenerates to another -module if and only if the inequalities hold for all -modules . We prove also that if for any indecomposable -module , then any degeneration of -modules is given by a chain of short exact sequences.

     

Rules and reals

A ``-rule" is a sequence of pairwise disjoint sets , each of cardinality and subsets . A subset (a ``real') follows a rule if for infinitely many , .

Two obvious cardinal invariants arise from this definition: the least number of reals needed to follow all -rules, , and the least number of -rules with no real that follows all of them, .

Call a bounded rule if is a -rule for some . Let be the least cardinality of a set of bounded rules with no real following all rules in the set.

We prove the following: and for all . However, in the Laver model, .

An application of is in Section 3: we show that below one can find proper extensions of dense independent families which preserve a pre-assigned group of automorphisms. The original motivation for discovering rules was an attempt to construct a maximal homogeneous family over . The consistency of such a family is still open.

     

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 .

     

Periodic solutions of a periodic delay predator-prey system

The existence of a positive periodic solution for

is established, where , , , , are positive periodic continuous functions with period , and , are periodic continuous functions with period .

     

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 .

     

The maximal ideal space of with respect to the Hadamard product

It is shown that the space of all regular maximal ideals in the Banach algebra with respect to the Hadamard product is isomorphic to The multiplicative functionals are exactly the evaluations at the -th Taylor coefficient. It is a consequence that for a given function in and for a function holomorphic in a neighborhood of with and for all the function is in

     

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 .

     

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.

     

On real quadratic function fields of Chowla type with ideal class number one

Let be the finite field with elements, (2), , where is a square-free polynomial in with and . In this paper several equivalent conditions for the ideal class number to be one are presented and all such quadratic function fields with are determined.

     

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.

     

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.

     

Positive differentials, theta functions and Hardy kernels

Let be a planar regular region whose Schottky double has genus and set . For fixed we determine the range of the function where is the Riemann theta function on . Also we introduce two weighted Hardy spaces to study the problem when the matrix is positive definite. The proof relies on new theta identities using Fay's trisecants formula.

     

-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.

     

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 .

     

Sets of range uniqueness for classes of continuous functions

Diamond, Pomerance and Rubel (1981) proved that there are subsets of the complex plane such that for any two entire functions and if , then . Baraducci and Dikranjan showed in 1993 that the continuum hypothesis (CH) implies the existence of a similar set for the class of continuous nowhere constant functions from to , while it follows from the results of Burke and Ciesielski (1997) and Ciesielski and Shelah that the existence of such a set is not provable in ZFC. In this paper we will show that for several well-behaved subclasses of , including the class of differentiable functions and the class of absolutely continuous functions, a set with the above property can be constructed in ZFC. We will also prove the existence of a set with the dual property that for any if , then .

     

A bound on the reduction number of a primary ideal

Let be a local ring of positive dimension and let be an -primary ideal. We denote the reduction number of by , which is the smallest integer such that for some reduction of In this paper we give an upper bound on in terms of numerical invariants which are related with the Hilbert coefficients of when is Cohen-Macaulay. If , it is known that where denotes the multiplicity of If in Corollary 1.5 we prove where is the first Hilbert coefficient of From this bound several results follow. Theorem 1.3 gives an upper bound on in a more general setting.

     

On the reduction number of some graded algebras

The main result of the paper confirms, for generic coordinates, a conjecture which states that . Here is a homogeneous polynomial ideal in and and are the reduction numbers.