共查询到20条相似文献,搜索用时 46 毫秒
1.
A probability measure on a product space is said to be bistochastic with respect to measures on and on if the marginals and are exactly and . A solution is presented to a problem of Arveson about sets which are of measure zero for all such .
2.
Matthew Miller Rafael H. Villarreal 《Proceedings of the American Mathematical Society》1996,124(2):377-382
Assume is a polynomial ring over a field and is a homogeneous Gorenstein ideal of codimension and initial degree . We prove that the number of minimal generators of that are of degree is bounded above by , which is the number of minimal generators of the defining ideal of the extremal Gorenstein algebra of codimension and initial degree . Further, is itself extremal if .
3.
Jodie D. Novak 《Proceedings of the American Mathematical Society》1996,124(3):969-975
For the Lie group , let be the open orbit of Lagrangian planes of signature in the generalized flag variety of Lagrangian planes in . For a suitably chosen maximal compact subgroup of and a base point we have that the orbit of is a maximal compact subvariety of . We show that for the connected component containing in the space of translates of which lie in is biholomorphic to , where denotes with the opposite complex structure.
4.
P. D. Johnson Jr. R. N. Mohapatra Jr. David Ross Jr. 《Proceedings of the American Mathematical Society》1996,124(2):543-547
Suppose is a non-increasing sequence of non-negative numbers with , , , and is the lower triangular matrix defined by , , and , . We show that the operator norm of as a linear operator on is no greater than , for ; this generalizes, yet again, Hardy's inequality for sequences, and simplifies and improves, in this special case, more generally applicable results of D. Borwein, Cass, and Kratz. When the tend to a positive limit, the operator norm of on is exactly . We also give some cases when the operator norm of on is less than .
5.
Let denote the rational curve with nodes obtained from the Riemann sphere by identifying 0 with and with for , where is a primitive th root of unity. We show that if is even, then has no smooth Weierstrass points, while if is odd, then has smooth Weierstrass points.
6.
Carl Faith 《Proceedings of the American Mathematical Society》1996,124(2):341-344
An overlooked corollary to the main result of the stated paper (Proc. Amer. Math. Soc. 120 (1994), 989--993) is that any Goldie ring of Goldie dimension 1 has Artinian classical quotient ring , hence is a Kerr ring in the sense that the polynomial ring satisfies the on annihilators . More generally, we show that a Goldie ring has Artinian when every zero divisor of has essential annihilator (in this case is a local ring; see Theorem ). A corollary to the proof is Theorem 2: A commutative ring has Artinian iff is a Goldie ring in which each element of the Jacobson radical of has essential annihilator. Applying a theorem of Beck we show that any ring that has Noetherian local ring for each associated prime is a Kerr ring and has Kerr polynomial ring (Theorem 5).
7.
Jon F. Carlson Hans-Werner Henn 《Proceedings of the American Mathematical Society》1996,124(3):665-670
Suppose that is a compact Lie group or a discrete group of finite virtual cohomological dimension and that is a field of characteristic . Suppose that is a set of elementary abelian -subgroups such that the cohomology is detected on the centralizers of the elements of . Assume also that is closed under conjugation and that is in whenever some subgroup of is in . Then there exists a regular element in the cohomology ring such that the restriction of to an elementary abelian -subgroup is not nilpotent if and only if is in . The converse of the result is a theorem of Lannes, Schwartz and the second author. The results have several implications for the depth and associated primes of the cohomology rings.
8.
D. D. Anderson Bernadette Mullins 《Proceedings of the American Mathematical Society》1996,124(2):389-396
An integral domain is a finite factorization domain if each nonzero element of has only finitely many divisors, up to associates. We show that a Noetherian domain is an FFD for each overring of that is a finitely generated -module, is finite. For local this is also equivalent to each being finite. We show that a one-dimensional local domain is an FFD either is finite or is a DVR.
9.
On a polynomial inequality of Kolmogoroff's type 总被引:1,自引:0,他引:1
We prove an inequality of the form
for polynomials of degree and any fixed . Here is the -norm on with a weight . The coefficients and are given explicitly and depend on and only. The equality is attained for the Hermite orthogonal polynomials .
10.
D. Daigle 《Proceedings of the American Mathematical Society》1996,124(5):1337-1345
Let be a field of characteristic and a polynomial algebra in two variables. By a -generator of we mean an element of for which there exist and such that . We also define a -line of to mean any element of whose coordinate ring is that of a -generator. Then we prove that if is such that is a -line of (where is an indeterminate over ), then is a -generator of . This is analogous to the well-known fact that if is such that is a line of , then is a variable of . We also prove that if is a -line of for which there exist and such that , then is in fact a -generator of .
11.
Robert Sandling 《Proceedings of the American Mathematical Society》1996,124(5):1347-1350
It is shown that the isomorphism type of a metacyclic -group is determined by its group algebra over the field of elements. This completes work of Baginski. It is also shown that, if a -group has a cyclic commutator subgroup , then the order of the largest cyclic subgroup containing is determined by .
12.
We show that every action of a finite dihedral group on a closed orientable surface extends to a 3-dimensional handlebody , with . In the case of a finite abelian group , we give necessary and sufficient conditions for a -action on a surface to extend to a compact -manifold, or, equivalently in this case, to a 3-dimensional handlebody; in particular all (fixed-point) free actions of finite abelian groups extend to handlebodies. This is no longer true for free actions of arbitrary finite groups: we give a procedure which allows us to construct free actions of finite groups on surfaces which do not extend to a handlebody. We also show that the unique Hurwitz action of order of on a surface of genus does not extend to any compact 3-manifold with , thus resolving the only case of Hurwitz actions of type of low order which remained open in an earlier paper (Math. Proc. Cambridge Philos. Soc. 117 (1995), 137--151).
13.
We prove that if a commutative semi-simple Banach algebra is the range of a ring homomorphism from a commutative -algebra, then is -equivalent, i.e. there are a commutative -algebra and a bicontinuous algebra isomorphism between and . In particular, it is shown that the group algebras , and the disc algebra are not ring homomorphic images of -algebras.
14.
Let be a Banach space. For we prove that the identity map is -summing if and only if the operator is nuclear for every unconditionally summable sequence in , where is the conjugate number for . Using this result we find a characterization of Banach spaces in which every -weakly summable sequence lies inside the range of an -valued measure (equivalently, every -weakly summable sequence in , satisfying that the operator is compact, lies in the range of an -valued measure) with bounded variation. They are those Banach spaces such that the identity operator is -summing.
15.
Sze-kai Tsui 《Proceedings of the American Mathematical Society》1996,124(2):437-445
Let be unital -algebras and be the set of all completely positive linear maps of into . In this article we characterize the extreme elements in , for all , and pure elements in in terms of a self-dual Hilbert module structure induced by each in . Let be the subset of consisting of -module maps for a von Neumann algebra . We characterize normal elements in to be extreme. Results here generalize various earlier results by Choi, Paschke and Lin.
16.
Christian Friesen Doug Hensley 《Proceedings of the American Mathematical Society》1996,124(9):2661-2673
Given a finite field of order and polynomials of degrees respectively, there is the continued fraction representation . Let denote the number of such pairs for which and for . We give both an exact recurrence relation, and an asymptotic analysis, for . The polynomial associated with the recurrence relation turns out to be of P-V type. We also study the distribution of . Averaged over all and as above, this presents no difficulties. The average value of is , and there is full information about the distribution. When is fixed and only is allowed to vary, we show that this is still the average. Moreover, few pairs give a value of that differs from this average by more than
17.
Let be a real Banach space with norm and let be a nonexpansive sequence in (i.e., for all ). Let . We deal with the mean point of concerning a Banach limit. We show that if is reflexive and , then and there exists a unique point with such that . This result is applied to obtain the weak and strong convergence of .
18.
Oleg V. Belegradek 《Proceedings of the American Mathematical Society》1996,124(2):623-625
We show that for any arithmetical -degree there is a first order decision problem such that has -degree for the free 2-step nilpotent group of rank 2. This implies a conjecture of Sacerdote.
19.
Dusan Repovs Arkadij B. Skopenkov Evgenij V. Scepin 《Proceedings of the American Mathematical Society》1996,124(4):1219-1226
We give the characterization of -homogeneous compacta in : Let be a locally compact (possibly nonclosed) subset of . Then is -homogeneous if and only if is a -submanifold of .
20.
F. Thaine 《Proceedings of the American Mathematical Society》1996,124(1):35-45
Let be a prime number, a -th primitive root of 1 and the periods of degree of . Write with . Several characterizations of the numbers and (or, equivalently, of the cyclotomic numbers of order ) are given in terms of systems of equations they satisfy and a condition on the linear independence, over , of the or on the irreducibility, over , of the characteristic polynomial of the matrix .