共查询到20条相似文献,搜索用时 31 毫秒
1.
Dimas José Gonç alves Plamen Koshlukov 《Proceedings of the American Mathematical Society》2008,136(8):2711-2717
Let be an algebraically closed field of characteristic 0, and let be the infinite dimensional Grassmann (or exterior) algebra over . Denote by the vector space of the multilinear polynomials of degree in , ..., in the free associative algebra . The symmetric group acts on the left-hand side on , thus turning it into an -module. This fact, although simple, plays an important role in the theory of PI algebras since one may study the identities satisfied by a given algebra by applying methods from the representation theory of the symmetric group. The -modules and are canonically isomorphic. Letting be the alternating group in , one may study and its isomorphic copy in with the corresponding action of . Henke and Regev described the -codimensions of the Grassmann algebra , and conjectured a finite generating set of the -identities for . Here we answer their conjecture in the affirmative.
2.
Let be the set of all positive integers , where are primes and possibly two, but not all three of them are equal. For any , define a function by where is the largest prime factor of . It is clear that if , then . For any , define , for . An element is semi-periodic if there exists a nonnegative integer and a positive integer such that . We use ind to denote the least such nonnegative integer . Wushi Goldring [Dynamics of the function and primes, J. Number Theory 119(2006), 86-98] proved that any element is semi-periodic. He showed that there exists such that , ind, and conjectured that ind can be arbitrarily large.
In this paper, it is proved that for any we have ind , and the Green-Tao Theorem on arithmetic progressions in the primes is employed to confirm Goldring's above conjecture.
3.
For all previous constructions of lattice space-time codes with a positive diversity product, the rank was at most . In this paper, we give an example of a lattice space-time code of rank with a positive diversity product.
4.
Istvá n Juhá sz Zoltá n Szentmikló ssy 《Proceedings of the American Mathematical Society》2008,136(8):2979-2984
All spaces below are Tychonov. We define the projective - character of a space as the supremum of the values where ranges over all (Tychonov) continuous images of . Our main result says that every space has a -base whose order is ; that is, every point in is contained in at most -many members of the -base. Since for compact , this is a significant generalization of a celebrated result of Shapirovskii.
5.
Sam Lichtenstein 《Proceedings of the American Mathematical Society》2008,136(10):3419-3428
Suppose that (resp. ) is a modular form of integral (resp. half-integral) weight with coefficients in the ring of integers of a number field . For any ideal , we bound the first prime for which (resp. ) is zero ( ). Applications include the solution to a question of Ono (2001) concerning partitions.
6.
Stefano Meda Peter Sjö gren Maria Vallarino 《Proceedings of the American Mathematical Society》2008,136(8):2921-2931
We prove that if is in , is a Banach space, and is a linear operator defined on the space of finite linear combinations of -atoms in with the property that then admits a (unique) continuous extension to a bounded linear operator from to . We show that the same is true if we replace -atoms by continuous -atoms. This is known to be false for -atoms.
7.
Jack Sonn 《Proceedings of the American Mathematical Society》2008,136(6):1955-1960
Let be a monic polynomial in with no rational roots but with roots in for all , or equivalently, with roots mod for all . It is known that cannot be irreducible but can be a product of two or more irreducible polynomials, and that if is a product of irreducible polynomials, then its Galois group must be a union of conjugates of proper subgroups. We prove that for any , every finite solvable group that is a union of conjugates of proper subgroups (where all these conjugates have trivial intersection) occurs as the Galois group of such a polynomial, and that the same result (with ) holds for all Frobenius groups. It is also observed that every nonsolvable Frobenius group is realizable as the Galois group of a geometric, i.e. regular, extension of .
8.
Rui Miguel Saramago 《Proceedings of the American Mathematical Society》2008,136(8):2699-2709
We use Dieudonné theory for periodically graded Hopf rings to determine the Dieudonné ring structure of the -graded Morava -theory , with an odd prime, when applied to the -spectrum (and to ). We also expand these results in order to accomodate the case of the full Morava -theory .
9.
Tomoaki Ono 《Proceedings of the American Mathematical Society》2008,136(9):3079-3087
Let be a tower of commutative rings where is a regular affine domain over an algebraically closed field of prime characteristic and is a regular domain. Suppose has a -basis over and . For a subset of whose elements satisfy a certain condition on linear independence, let be a set of maximal ideals of such that is a -basis of over . We shall characterize this set in a geometrical aspect.
10.
Serguei V. Astashkin Guillermo P. Curbera 《Proceedings of the American Mathematical Society》2008,136(10):3493-3501
Let be a rearrangement invariant function space on [0,1]. We consider the Rademacher multiplicator space of measurable functions such that for every a.e. converging series , where are the Rademacher functions. We characterize the situation when . We also discuss the behaviour of partial sums and tails of Rademacher series in function spaces.
11.
It is an observation due to J. J. Kohn that for a smooth bounded pseudoconvex domain in there exists such that the -Neumann operator on maps (the space of -forms with coefficient functions in -Sobolev space of order ) into itself continuously. We show that this conclusion does not hold without the smoothness assumption by constructing a bounded pseudoconvex domain in , smooth except at one point, whose -Neumann operator is not bounded on for any .
12.
We refine our earlier work on the existence and uniqueness of structures on -theoretic spectra to show that the connective versions of real and complex -theory as well as the connective Adams summand at each prime have unique structures as commutative -algebras. For the -completion we show that the McClure-Staffeldt model for is equivalent as an ring spectrum to the connective cover of the periodic Adams summand . We establish a Bousfield equivalence between the connective cover of the Lubin-Tate spectrum and .
13.
M. Drissi M. El Hodaibi E. H. Zerouali 《Proceedings of the American Mathematical Society》2008,136(5):1609-1617
Let be a Banach space and let be the class that consists of all operators such that for every , the range of has a finite-codimension when it is closed. For an integer , we define the class as an extension of . We then study spectral properties of such operators, and we extend some known results of multi-cyclic operators with .
14.
Lucian Badescu 《Proceedings of the American Mathematical Society》2008,136(5):1505-1513
Let be a submanifold of dimension of the complex projective space . We prove results of the following type.i) If is irregular and , then the normal bundle is indecomposable. ii) If is irregular, and , then is not the direct sum of two vector bundles of rank . iii) If , and is decomposable, then the natural restriction map is an isomorphism (and, in particular, if is embedded Segre in , then is indecomposable). iv) Let and , and assume that is a direct sum of line bundles; if assume furthermore that is simply connected and is not divisible in . Then is a complete intersection. These results follow from Theorem 2.1 below together with Le Potier's vanishing theorem. The last statement also uses a criterion of Faltings for complete intersection. In the case when this fact was proved by M. Schneider in 1990 in a completely different way.
15.
Kathleen L. Petersen 《Proceedings of the American Mathematical Society》2008,136(7):2387-2393
Let be a number field with real places and complex places, and let be the ring of integers of . The quotient has cusps, where is the class number of . We show that under the assumption of the generalized Riemann hypothesis that if is not or an imaginary quadratic field and if , then has infinitely many maximal subgroups with cusps. A key element in the proof is a connection to Artin's Primitive Root Conjecture.
16.
Edward M. Fan 《Proceedings of the American Mathematical Society》2008,136(9):3255-3261
Consider an -dimensional smooth Riemannian manifold with a given smooth measure on it. We call such a triple a Riemannian measure space. Perelman introduced a variant of scalar curvature in his recent work on solving Poincaré's conjecture , where and is the scalar curvature of . In this note, we study the topological obstruction for the -stable minimal submanifold with positive -scalar curvature in dimension three under the setting of manifolds with density.
17.
In a former paper we studied transformations on the set of all -dimensional subspaces of a Hilbert space which preserve the principal angles. In the case when , we could determine the general form of all such maps. The aim of this paper is to complete our result by considering the problem in the remaining case .
18.
William Y. C. Chen Carol J. Wang Larry X. W. Wang 《Proceedings of the American Mathematical Society》2008,136(11):3759-3767
We show that the limiting distributions of the coefficients of the -Catalan numbers and the generalized -Catalan numbers are normal. Despite the fact that these coefficients are not unimodal for small , we conjecture that for sufficiently large , the coefficients are unimodal and even log-concave except for a few terms of the head and tail.
19.
Srdjan Petrovic 《Proceedings of the American Mathematical Society》2008,136(12):4283-4288
We consider the spectral radius algebras associated to contractions. If is such an operator we show that the spectral radius algebra always properly contains the commutant of .
20.
Andrew G. Bakan 《Proceedings of the American Mathematical Society》2008,136(10):3579-3589
It has been proved that algebraic polynomials are dense in the space , , iff the measure is representable as with a finite non-negative Borel measure and an upper semi-continuous function such that is a dense subset of the space as equipped with the seminorm . The similar representation ( ) with the same and ( , and is also a dense
subset of ) corresponds to all those measures (supported by ) that are uniquely determined by their moments on ( ). The proof is based on de Branges' theorem (1959) on weighted polynomial approximation. A more general question on polynomial denseness in a separable Fréchet space in the sense of Banach has also been examined.