共查询到20条相似文献,搜索用时 250 毫秒
1.
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 .
2.
Xian-Jin Li 《Proceedings of the American Mathematical Society》2008,136(6):1945-1953
An explicit Dirichlet series is obtained, which represents an analytic function of in the half-plane except for having simple poles at points that correspond to exceptional eigenvalues of the non-Euclidean Laplacian for Hecke congruence subgroups by the relation for . Coefficients of the Dirichlet series involve all class numbers of real quadratic number fields. But, only the terms with for sufficiently large discriminants contribute to the residues of the Dirichlet series at the poles , where is the multiplicity of the eigenvalue for . This may indicate (I'm not able to prove yet) that the multiplicity of exceptional eigenvalues can be arbitrarily large. On the other hand, by density theorem the multiplicity of exceptional eigenvalues is bounded above by a constant depending only on .
3.
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.
4.
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.
5.
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 .
6.
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.
7.
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.
8.
Stuart Zoble 《Proceedings of the American Mathematical Society》2008,136(5):1807-1814
There is a well-known global equivalence between sets having the universal Baire property, two-step generic absoluteness, and the closure of the universe under the sharp operation. In this note, we determine the exact consistency strength of sets being -cc-universally Baire, which is below . In a model obtained, there is a set which is weakly -universally Baire but not -universally Baire.
9.
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.
10.
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.
11.
Let , , be the sequence of Hecke eigenvalues of a cuspidal Siegel eigenform of degree . It is proved that if is not in the Maaß space, then there exist infinitely many primes for which the sequence , , has infinitely many sign changes.
12.
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.
13.
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 .
14.
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.
15.
Madjid Mirzavaziri Mohammad Sal Moslehian 《Proceedings of the American Mathematical Society》2006,134(11):3319-3327
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.
16.
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 .
17.
Lisa Orloff Clark Astrid an Huef 《Proceedings of the American Mathematical Society》2008,136(2):623-634
Suppose is a second countable, locally compact, Hausdorff, principal groupoid with a fixed left Haar system. We define a notion of integrability for groupoids and show is integrable if and only if the groupoid -algebra has bounded trace.
18.
Eliyahu Matzri 《Proceedings of the American Mathematical Society》2008,136(6):1925-1931
In 1982 Rowen and Saltman proved that every division algebra which is split by a dihedral extension of degree of the center, odd, is in fact cyclic. The proof requires roots of unity of order in the center. We show that for , this assumption can be removed. It then follows that , the -torsion part of the Brauer group, is generated by cyclic algebras, generalizing a result of Merkurjev (1983) on the and torsion parts.
19.
Christopher J. Bishop Hrant Hakobyan 《Proceedings of the American Mathematical Society》2008,136(7):2453-2461
The central set of a domain is the set of centers of maximal discs in . Fremlin proved that the central set of a planar domain has zero area and asked whether it can have Hausdorff dimension strictly larger than . We construct a planar domain with central set of Hausdorff dimension .
20.
Let be an algebraically closed field with trivial derivation and let denote the differential rational field , with , , , , differentially independent indeterminates over . We show that there is a Picard-Vessiot extension for a matrix equation , with differential Galois group , with the property that if is any differential field with field of constants , then there is a Picard-Vessiot extension with differential Galois group if and only if there are with well defined and the equation giving rise to the extension .