共查询到10条相似文献,搜索用时 84 毫秒
1.
Y. Bahturin A. Giambruno M. Zaicev 《Proceedings of the American Mathematical Society》1999,127(1):63-69
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.
2.
Janusz Mierczynski 《Proceedings of the American Mathematical Society》1999,127(2):543-551
We consider dissipative strongly competitive systems of ordinary differential equations. It is known that for a wide class of such systems there exists an invariant attracting hypersurface , called the carrying simplex. In this note we give an amenable condition for to be a submanifold-with-corners. We also provide conditions, based on a recent work of M. Benaïm (On invariant hypersurfaces of strongly monotone maps, J. Differential Equations 136 (1997), 302-319), guaranteeing that is of class .
3.
Konrad J. Swanepoel 《Proceedings of the American Mathematical Society》1999,127(7):2155-2162
A hollow axis-aligned box is the boundary of the cartesian product of compact intervals in . We show that for , if any of a collection of hollow axis-aligned boxes have non-empty intersection, then the whole collection has non-empty intersection; and if any of a collection of hollow axis-aligned rectangles in have non-empty intersection, then the whole collection has non-empty intersection. The values for and for are the best possible in general. We also characterize the collections of hollow boxes which would be counterexamples if were lowered to , and to , respectively.
4.
Sy D. Friedman 《Proceedings of the American Mathematical Society》1999,127(12):3707-3709
We use ``iterated square sequences' to show that there is an -definable partition such that if is an inner model not containing :
- (a)
- For some is stationary.
- (b)
- For each there is a generic extension of in which does not exist and is non-stationary.
5.
Erkki Laitinen Krzysztof Pawalowski 《Proceedings of the American Mathematical Society》1999,127(1):297-307
Using smooth one-fixed-point actions on spheres and a result due to Bob Oliver on the tangent representations at fixed points for smooth group actions on disks, we obtain a similar result for perfect group actions on spheres. For a finite group , we compute a certain subgroup of the representation ring . This allows us to prove that a finite perfect group has a smooth -proper action on a sphere with isolated fixed points at which the tangent representations of are mutually nonisomorphic if and only if contains two or more real conjugacy classes of elements not of prime power order. Moreover, by reducing group theoretical computations to number theory, for an integer and primes , we prove similar results for the group , , or . In particular, has Smith equivalent representations that are not isomorphic if and only if , , .
6.
J. M. Isidro 《Proceedings of the American Mathematical Society》1999,127(2):437-446
Consider a compact Hausdorff topological space , a -triple and , the -triple of all continuous -valued functions with the pointwise operations and the norm of the supremum. Let be the group of all holomorphic automorphisms of the unit ball of that map every equicontinuous subset lying strictly inside into another such a set. The real Banach-Lie group and its Lie algebra are investigated. The identity connected component of is identified when has the strong Banach-Stone property. This extends to the infinite dimensional setting a well known result concerning the case .
7.
The main theorem says that any module-finite (but not necessarily commutative) algebra over a commutative Noetherian universally catenary ring is catenary. Hence the ring is catenary if is Cohen-Macaulay. When is local and is a Cohen-Macaulay -module, we have that is a catenary ring, for any , and the equality holds true for any pair of prime ideals in and for any saturated chain of prime ideals between and .
8.
Paolo Lipparini 《Proceedings of the American Mathematical Society》2000,128(2):605-609
We prove the following: Theorem A. If is a -regular ultrafilter, then either
- (a)
- is -regular, or
- (b)
- the cofinality of the linear order is , and is -regular for all .
9.
Vladimir G. Troitsky 《Proceedings of the American Mathematical Society》2000,128(2):521-525
We show that the celebrated Lomonosov theorem cannot be improved by increasing the number of commuting operators. Specifically, we prove that if is the operator without a non-trivial closed invariant subspace constructed by C. J. Read, then there are three operators , and (non-multiples of the identity) such that commutes with , commutes with , commutes with , and is compact. It is also shown that the commutant of contains only series of .
10.
Ian M. Musson 《Proceedings of the American Mathematical Society》1999,127(10):2821-2827
Let be the Lie superalgebra . We show that there is a surjective homomorphism from to the Weyl algebra , and we use this to construct an analog of the Joseph ideal. We also obtain a decomposition of the adjoint representation of on and use this to show that if is made into a Lie superalgebra using its natural -grading, then . In addition, we show that if and are isomorphic as Lie superalgebras, then . This answers a question of S. Montgomery.