共查询到20条相似文献,搜索用时 265 毫秒
1.
Ludomir Newelski 《Proceedings of the American Mathematical Society》1996,124(8):2519-2525
Assume is superstable, is a formula over , is countable and is countable and . We investigate models in assuming has the prime model property. We prove some corollaries on the number of models in . We show an example of an -stable and with having exactly 3 models.
2.
José L. Gó mez Pardo Pedro A. Guil Asensio 《Proceedings of the American Mathematical Society》1996,124(8):2301-2309
Let be a ring, its injective envelope, and the Jacobson radical of . It is shown that if every finitely generated submodule of embeds in a finitely presented module of projective dimension , then every finitley generated right -module is canonically isomorphic to . This fact, together with a well-known theorem of Osofsky, allows us to prove that if, moreover, is completely pure-injective (a property that holds, for example, when the right pure global dimension of is and hence when is a countable ring), then is semiperfect and is finite-dimensional. We obtain several applications and a characterization of right hereditary right noetherian rings.
3.
Let be a division algebra with uncountable center . If contains a noncommutative free -algebra, then also contains the -group algebra of the free group of rank 2.
4.
Michael Renardy 《Proceedings of the American Mathematical Society》1996,124(8):2451-2453
Let be the infinitesimal generator of a -semigroup of operators in a Hilbert space. We consider the class of operators , where is bounded. It is proved that the spectrum of determines the growth of the associated semigroup for ``most" operators (in the sense of Baire category).
5.
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 .
6.
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 .
7.
To a given basis on an -dimensional Hilbert space , we associate the algebra of all linear operators on having every as an eigenvector. So, is commutative, semisimple, and -dimensional. Given two algebras of this type, and , there is a natural algebraic isomorphism of and . We study the question: When does preserve the operator norm?
8.
J. C. Perry 《Proceedings of the American Mathematical Society》1996,124(8):2479-2489
Lipscomb's one-dimensional space on an arbitrary index set is injected into the Tychonoff cube . The image of is shown to be the attractor of an iterated function system indexed by . This system is conjugate, under an injection, with a set of right-shift operators on Baire's space regarded as a code space. This view of extends the fractal nature of initiated in a 1992 joint paper by the author and S. Lipscomb. In addition, we give a new proof that as a subspace of Hilbert's space , the space is complete and hence is closed in .
9.
Let and be real Banach spaces. A map between and is called an -bi-Lipschitz map if for all . In this note we show that if is an -bi-Lipschitz map with from onto , then is almost linear. We also show that if is a surjective -bi-Lipschitz map with , then there exists a linear isomorphism such that
where as and .
10.
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 .
11.
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.
12.
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.
13.
Julius M. Zelmanowitz 《Proceedings of the American Mathematical Society》1996,124(10):2955-2960
If is an -faithful -module, then there is an order-preserving correspondence between the closed -submodules of and the closed -submodules of , where .
14.
Sophie Frisch 《Proceedings of the American Mathematical Society》1996,124(12):3595-3604
If is a subring of a Krull ring such that is a valuation ring for every finite index , in Spec, we construct polynomials that map into the maximal possible (for a monic polynomial of fixed degree) power of , for all in Spec simultaneously. This gives a direct sum decomposition of Int, the -module of polynomials with coefficients in the quotient field of that map into , and a criterion when Int has a regular basis (one consisting of 1 polynomial of each non-negative degree).
15.
P. M. Gadea J. Muñ oz Masqué 《Proceedings of the American Mathematical Society》1996,124(5):1437-1443
Let be a finite-dimensional commutative algebra over and let , and be the ring of -differentiable functions of class , the ring of real analytic mappings with values in and the ring of -analytic functions, respectively, defined on an open subset of . We prove two basic results concerning -differentiability and -analyticity: ) , ) if and only if is defined over .
16.
Meng-Kiat Chuah 《Proceedings of the American Mathematical Society》1996,124(11):3481-3491
Let be a compact semi-simple Lie group, and let be a maximal unipotent subgroup of the complexified group . In this paper, we classify all the -invariant Kaehler structures on . For each Kaehler structure , let be the line bundle with connection whose curvature is . We then study the holomorphic sections of , which constitute a -representation space.
17.
L. J. Bunce J. D. Maitland Wright 《Proceedings of the American Mathematical Society》1996,124(8):2377-2381
Let be a -algebra, and let be a (local) quasi-trace on . Then is linear if, and only if, the restriction of to the closed unit ball of is uniformly weakly continuous.
18.
It is proved that if are bounded -semigroups on Banach spaces and , resp., and , are bounded operators with dense ranges such that intertwines with and commutes with , then is strongly stable provided ---the generator of ---does not have eigenvalue on . An analogous result holds for power-bounded operators.
19.
A. N. Krasil'nikov Samuel M. Vovsi 《Proceedings of the American Mathematical Society》1996,124(9):2613-2618
Let be the group algebra of a free noncyclic group over an integral domain . It is proved that if is not a field, then there exists a fully invariant ideal of such is torsion-free but not projective as an -module. In other words, there exists a pure nonprojective variety of group representations over .
20.
David Handel 《Proceedings of the American Mathematical Society》1996,124(5):1609-1613
A continuous map is said to be -regular if whenever are distinct points of , then are linearly independent over . For smooth manifolds we obtain new lower bounds on the minimum for which a -regular map can exist in terms of the dual Stiefel-Whitney classes of .