Transversals for strongly almost disjoint families

For a family of sets , and a set , is said to be a transversal of if and for each . is said to be a Bernstein set for if for each . Erdos and Hajnal first studied when an almost disjoint family admits a set such as a transversal or Bernstein set. In this note we introduce the following notion: a family of sets is said to admit a -transversal if can be written as such that each admits a transversal. We study the question of when an almost disjoint family admits a -transversal and related questions.

     

Extensions of orthosymmetric lattice bimorphisms revisited

This note furnishes an example illustrating the following two facts. On the one hand, there exist Archimedean Riesz spaces and with Dedekind-complete and an orthosymmetric lattice bimorphism with lattice bimorphism extension which is not orthosymmetric, where denotes the Dedekind-completion of . On the other hand, there is an associative -multiplication in the same Archimedean Riesz space which extends to a -multiplication in which is not associative. The existence of such an example provides counterexamples to assertions in Toumi, 2005.

     

On the degree of Hilbert polynomials associated to the torsion functor

Let be a local, Noetherian ring and an ideal. A question of Kodiyalam asks whether for fixed , the polynomial giving the th Betti number of has degree equal to the analytic spread of minus one. Under mild conditions on , we show that the answer is positive in a number of cases, including when is divisible by or is an integrally closed -primary ideal.

     

A structure theorem for quasi-Hopf comodule algebras

If is a quasi-Hopf algebra and is a right -comodule algebra such that there exists a morphism of right -comodule algebras, we prove that there exists a left -module algebra such that . The main difference when comparing to the Hopf case is that, from the multiplication of , which is associative, we have to obtain the multiplication of , which in general is not; for this we use a canonical projection arising from the fact that becomes a quasi-Hopf -bimodule.

     

Perturbations and Weyl's theorem

A Banach space operator is completely hereditarily normaloid, , if either every part, and (also) for every invertible part , of is normaloid or if for every complex number every part of is normaloid. Sufficient conditions for the perturbation of by an algebraic operator to satisfy Weyl's theorem are proved. Our sufficient conditions lead us to the conclusion that the conjugate operator satisfies -Weyl's theorem.

     

Radical and cyclotomic extensions of the rational numbers

A radical extension of the rational numbers is a field generated by an element having a power in , and a cyclotomic extension is an extension generated by a root of unity. We show that a radical extension that is almost Galois over is almost cyclotomic. More precisely, we prove that if is radical with Galois closure , then contains a cyclotomic field such that the degree is bounded above by an almost linear function of . In particular, if is Galois, it contains a cyclotomic field such that .

     

On the topology of the boundary of a basin of attraction

Suppose is a continuous flow on a locally compact metrizable space and is an (asymptotically stable) attractor. Let be the boundary of the basin of attraction of . In the present paper it will be shown how the Conley index of plays an important role in determining the topological nature of and allows one to obtain information about the global dynamics of in .

     

Semiprime smash products and -stable prime radicals for PI-algebras

Assume that is a finite-dimensional Hopf algebra over a field and that is an -module algebra satisfying a polynomial identity (PI). We prove that if is semisimple and is -semiprime, then is semiprime. If is cosemisimple, we show that the prime radical of is -stable.

     

Order-weakly compact operators from vector-valued function spaces to Banach spaces

Let be an ideal of over a  -finite measure space , and let stand for the order dual of . For a real Banach space let be a subspace of the space of -equivalence classes of strongly -measurable functions and consisting of all those for which the scalar function belongs to . For a real Banach space a linear operator is said to be order-weakly compact whenever for each the set is relatively weakly compact in . In this paper we examine order-weakly compact operators . We give a characterization of an order-weakly compact operator in terms of the continuity of the conjugate operator of with respect to some weak topologies. It is shown that if is an order continuous Banach function space, is a Banach space containing no isomorphic copy of and is a weakly sequentially complete Banach space, then every continuous linear operator is order-weakly compact. Moreover, it is proved that if is a Banach function space, then for every Banach space any continuous linear operator is order-weakly compact iff the norm is order continuous and is reflexive. In particular, for every Banach space any continuous linear operator is order-weakly compact iff is reflexive.

     

Some Hopf Galois structures arising from elementary abelian -groups

Let be an odd prime, , the elementary abelian -group of rank , and let be the group of principal units of the ring . If is a Galois extension with Galois group , then we show that for , the number of Hopf Galois structures on afforded by -Hopf algebras with associated group is greater than , where .

     

Noncoherence of some rings of functions

Let , denote the unit disc and unit circle, respectively, in , with center 0. If , then let denote the set of complex-valued functions defined on that are analytic in , and continuous and bounded on . Then is a ring with pointwise addition and multiplication. We prove that if the intersection of with the set of limit points of is not empty, then the ring is not coherent.

     

On local irreducibility of the spectrum

Let be the algebra of complex matrices, and for denote by and the spectrum and spectral radius of respectively. Let be a domain in containing 0, and let be a holomorphic map. We prove: (1) if for , then for ; (2) if for , then again for . Both results are special cases of theorems expressing the irreducibility of the spectrum near .

     

Hereditary and maximal crossed product orders

We first deal with classical crossed products , where is a finite group acting on a Dedekind domain and (the -invariant elements in ) a DVR, admitting a separable residue fields extension. Here is a 2-cocycle. We prove that is hereditary if and only if is semi-simple. In particular, the heredity property may hold even when is not tamely ramified (contradicting standard textbook references). For an arbitrary Krull domain , we use the above to prove that under the same separability assumption, is a maximal order if and only if its height one prime ideals are extended from . We generalize these results by dropping the residual separability assumptions. An application to non-commutative unique factorization rings is also presented.

     

Cross -sections of star bodies and dual mixed volumes

In this paper, we establish an extension of Funk's section theorem. Our result has the following corollary: If is a star body in whose central -slices have the same volume (with appropriate dimension) as the central -slices of a centered body , then the dual quermassintegrals satisfy , for any , with equality if and only if . The case that is a centered body implies Funk's section theorem.

     

Embeddings of -dimensional separable metric spaces into the product of Sierpinski curves

We give a short proof of the following fact: the set of embeddings of any -dimensional separable metric space into a certain -dimensional subset of the -product of Sierpinski curves is residual in .

     

A strong comparison principle for the -Laplacian

We consider weak solutions of the differential inequality of p-Laplacian type

such that on a smooth bounded domain in and either or is a weak solution of the corresponding Dirichlet problem with zero boundary condition. Assuming that on the boundary of the domain we prove that , and assuming that on the boundary of the domain we prove unless . The novelty is that the nonlinearity is allowed to change sign. In particular, the result holds for the model nonlinearity with .

     

Dimension des familles de courbes lisses sur une surface quartique normale de

Dans cette note, on montre que les courbes, lisses connexes, de degré et genre , tracées sur une surface quartique normale variable de , et n'y étant pas intersection complète, forment des familles de dimensions . Cette majoration est la meilleure possible. Comme application on prouve que le schéma de Hilbert des courbes lisses connexes de de degré et genre est irréductible.

     

Approximation of holomorphic maps with a lower bound on the rank

Let be a closed polydisc or ball in , and let be a quasi-projective algebraic manifold which is Zariski locally equivalent to , or a complement of an algebraic subvariety of codimension in such a manifold. If is an integer satisfying , then every holomorphic map from a neighborhood of to with rank at every point of can be approximated uniformly on by entire maps with rank at every point of .

     

Polynomial maps and even dimensional spheres

We construct, for every even dimensional sphere , , and every odd integer , a homogeneous polynomial map of Brouwer degree and algebraic degree .

     

Unprovability of sharp versions of Friedman's sine-principle

For every and every function of one argument, we introduce the statement : ``for all , there is such that for any set of rational numbers, there is of size such that for any two -element subsets and in , we have

We prove that for and any function eventually dominated by , the principle is not provable in . In particular, the statement is not provable in Peano Arithmetic. In dimension 2, the result is: does not prove , where and is the inverse of the Ackermann function.