共查询到20条相似文献,搜索用时 343 毫秒
1.
Fangyan Lu 《Proceedings of the American Mathematical Society》2003,131(12):3883-3892
Let be a subalgebra of a nest algebra . If contains all rank one operators in , then is said to be large; if the set of rank one operators in coincides with that in the Jacobson radical of , is said to be radical-type. In this paper, algebraic isomorphisms of large subalgebras and of radical-type subalgebras are characterized. Let be a nest of subspaces of a Hilbert space and be a subalgebra of the nest algebra associated to (). Let be an algebraic isomorphism from onto . It is proved that is spatial if one of the following occurs: (1) () is large and contains a masa; (2) () is large and closed; (3) () is a closed radical-type subalgebra and ( is quasi-continuous (i.e. the trivial elements of are limit points); (4) () is large and one of and is not quasi-continuous.
2.
Masaharu Kusuda 《Proceedings of the American Mathematical Society》2003,131(10):3075-3081
Let be a -algebra and let be a full (right) Hilbert -module. It is shown that if the spectrum of is discrete, then every closed --submodule of is complemented in , and conversely that if is a -space and if every closed --submodule of is complemented in , then is discrete.
3.
Liana M. Sega 《Proceedings of the American Mathematical Society》2003,131(8):2313-2323
We prove that if , are finite modules over a Gorenstein local ring of codimension at most , then the vanishing of for is equivalent to the vanishing of for . Furthermore, if has no embedded deformation, then such vanishing occurs if and only if or has finite projective dimension.
4.
Rü diger Gö bel Warren May 《Proceedings of the American Mathematical Society》2003,131(10):2987-2992
Under the assumptions of MA and CH, it is proved that if is a field of prime characteristic and is an -separable abelian -group of cardinality , then an isomorphism of the group algebras and implies an isomorphism of and .
5.
Robert Gilmer 《Proceedings of the American Mathematical Society》2003,131(8):2337-2346
Let be an integral domain with quotient field and integral closure . An overring of is a subring of containing , and denotes the set of overrings of . We consider primarily two finiteness conditions on : (FO), which states that is finite, and (FC), the condition that each chain of distinct elements of is finite. (FO) is strictly stronger than (FC), but if , each of (FO) and (FC) is equivalent to the condition that is a Prüfer domain with finite prime spectrum. In general satisfies (FC) iff satisfies (FC) and all chains of subrings of containing have finite length. The corresponding statement for (FO) is also valid.
6.
Karel Dekimpe 《Proceedings of the American Mathematical Society》2003,131(3):973-978
We are dealing with Lie groups which are diffeomorphic to , for some . After identifying with , the multiplication on can be seen as a map . We show that if is a polynomial map in one of the two (sets of) variables or , then is solvable. Moreover, if one knows that is polynomial in one of the variables, the group is nilpotent if and only if is polynomial in both its variables.
7.
Donatella Danielli Nicola Garofalo Duy-Minh Nhieu 《Proceedings of the American Mathematical Society》2003,131(11):3487-3498
Let be a group of Heisenberg type with homogeneous dimension . For every we construct a non-divergence form operator and a non-trivial solution to the Dirichlet problem: in , on . This non-uniqueness result shows the impossibility of controlling the maximum of with an norm of when . Another consequence is the impossiblity of an Alexandrov-Bakelman type estimate such as
where is the dimension of the horizontal layer of the Lie algebra and is the symmetrized horizontal Hessian of .
where is the dimension of the horizontal layer of the Lie algebra and is the symmetrized horizontal Hessian of .
8.
Surjit Singh Khurana 《Proceedings of the American Mathematical Society》2003,131(3):937-939
Let be a completely regular Hausdorff space, a positive, finite Baire measure on , and a separable metrizable locally convex space. Suppose is a measurable mapping. Then there exists a sequence of functions in which converges to a.e. . If the function is assumed to be weakly continuous and the measure is assumed to be -smooth, then a separability condition is not needed.
9.
Monika Budzynska 《Proceedings of the American Mathematical Society》2003,131(9):2771-2777
If is the open unit ball in the Cartesian product furnished with the -norm , where and , then a holomorphic self-mapping of has a fixed point if and only if for some
10.
Jonathan Sondow 《Proceedings of the American Mathematical Society》2003,131(11):3335-3344
By modifying Beukers' proof of Apéry's theorem that is irrational, we derive criteria for irrationality of Euler's constant, . For 0$">, we define a double integral and a positive integer , and prove that with the following are equivalent:
1. The fractional part of is given by for some .
2. The formula holds for all sufficiently large .
3. Euler's constant is a rational number.
A corollary is that if infinitely often, then is irrational. Indeed, if the inequality holds for a given (we present numerical evidence for and is rational, then its denominator does not divide . We prove a new combinatorial identity in order to show that a certain linear form in logarithms is in fact . A by-product is a rapidly converging asymptotic formula for , used by P. Sebah to compute correct to 18063 decimals.
11.
Gabriel Navarro 《Proceedings of the American Mathematical Society》2003,131(10):3019-3020
If is a finite group and is a prime number, let be the number of Sylow -subgroups of . If is a subgroup of a -solvable group , we prove that divides .
12.
Stephen J. Gardiner Mary Hanley 《Proceedings of the American Mathematical Society》2003,131(3):773-779
Let denote a relatively closed subset of the unit ball of . The purpose of this paper is to characterize those sets which have the following property: any harmonic function on which satisfies on (where 0$">) can be locally uniformly approximated on by a sequence of harmonic polynomials which satisfy the same inequality on . This answers a question posed by Stray, who had earlier solved the corresponding problem for holomorphic functions on the unit disc.
13.
D. D. Anderson Muhammad Zafrullah 《Proceedings of the American Mathematical Society》2003,131(12):3689-3692
We show that a weakly Krull domain satisfies : for every pair there is an such that is -invertible. For Noetherian, satisfies if and only if every grade-one prime ideal of is of height one. We also show that a modification of can be used to characterize Noetherian domains that are one-dimensional.
14.
Richard Delaware 《Proceedings of the American Mathematical Society》2003,131(8):2537-2542
A set is -straight if has finite Hausdorff -measure equal to its Hausdorff -content, where is continuous and non-decreasing with . Here, if satisfies the standard doubling condition, then every set of finite Hausdorff -measure in is shown to be a countable union of -straight sets. This also settles a conjecture of Foran that when , every set of finite -measure is a countable union of -straight sets.
15.
Jü rgen Herzog Takayuki Hibi 《Proceedings of the American Mathematical Society》2003,131(9):2641-2647
Let be the polynomial ring in variables over a field and its graded maximal ideal. Let be homogeneous polynomials of degree generating an -primary ideal, and let be arbitrary homogeneous polynomials of degree . In the present paper it will be proved that the Castelnuovo-Mumford regularity of the standard graded -algebra is at most . By virtue of this result, it follows that the regularity of a simplicial semigroup ring with isolated singularity is at most , where is the multiplicity of and is the codimension of .
16.
D. D. Hai 《Proceedings of the American Mathematical Society》2003,131(8):2409-2414
We establish existence and multiplicity of positive solutions to the quasilinear boundary value problem
where is a bounded domain in with smooth boundary , is continuous and p-sublinear at and is a large parameter.
where is a bounded domain in with smooth boundary , is continuous and p-sublinear at and is a large parameter.
17.
Zhongwei Shen 《Proceedings of the American Mathematical Society》2003,131(11):3447-3456
Let be a noncompact complete Riemannian manifold. We consider the Schrödinger operator acting on , where is a nonnegative, locally integrable function on . We obtain some simple conditions which imply that , the bottom of the spectrum of , is strictly positive. We also establish upper and lower bounds for the counting function .
18.
Edward L. Green Nicole Snashall Ø yvind Solberg 《Proceedings of the American Mathematical Society》2003,131(11):3387-3393
This paper describes the Hochschild cohomology ring of a selfinjective algebra of finite representation type over an algebraically closed field , showing that the quotient of the Hochschild cohomology ring by the ideal generated by all homogeneous nilpotent elements is isomorphic to either or , and is thus finitely generated as an algebra. We also consider more generally the property of a finite dimensional algebra being selfinjective, and as a consequence show that if all simple -modules are -periodic, then is selfinjective.
19.
Nobuhiro Asai Izumi Kubo Hui-Hsiung Kuo 《Proceedings of the American Mathematical Society》2003,131(3):815-823
Let and denote the Gaussian and Poisson measures on , respectively. We show that there exists a unique measure on such that under the Segal-Bargmann transform the space is isomorphic to the space of analytic -functions on with respect to . We also introduce the Segal-Bargmann transform for the Poisson measure and prove the corresponding result. As a consequence, when and have the same variance, and are isomorphic to the same space under the - and -transforms, respectively. However, we show that the multiplication operators by on and on act quite differently on .
20.
YoungJu Choie Winfried Kohnen 《Proceedings of the American Mathematical Society》2003,131(11):3309-3317
The main result of the paper gives an explicit formula for the sum of the values of even order derivatives with respect to of the Weierstrass -function for the lattice (where is in the upper half-plane) extended over the points in the divisor of (where is a meromorphic Jacobi form) in terms of the coefficients of the Laurent expansion of around .