It is shown that every almost *-homomorphism h : A→B of a unital JC*-algebra A to a unital JC*-algebra B is a *-homomorphism when h(rx) = rh(x) (r 〉 1) for all x∈A, and that every almost linear mapping h : A→B is a *-homomorphism when h(2^nu o y) - h(2^nu) o h(y), h(3^nu o y) - h(3^nu) o h(y) or h(q^nu o y) = h(q^nu) o h(y) for all unitaries u ∈A, all y ∈A, and n = 0, 1,.... Here the numbers 2, 3, q depend on the functional equations given in the almost linear mappings. We prove that every almost *-homomorphism h : A→B of a unital Lie C*-algebra A to a unital Lie C*-algebra B is a *-homomorphism when h(rx) = rh(x) (r 〉 1) for all x ∈A. 相似文献
This paper is concerned with tight closure in a commutative Noetherian ring of prime characteristic , and is motivated by an argument of K. E. Smith and I. Swanson that shows that, if the sequence of Frobenius powers of a proper ideal of has linear growth of primary decompositions, then tight closure (of ) `commutes with localization at the powers of a single element'. It is shown in this paper that, provided has a weak test element, linear growth of primary decompositions for other sequences of ideals of that approximate, in a certain sense, the sequence of Frobenius powers of would not only be just as good in this context, but, in the presence of a certain additional finiteness property, would actually imply that tight closure (of ) commutes with localization at an arbitrary multiplicatively closed subset of .
Work of M. Katzman on the localization problem for tight closure raised the question as to whether the union of the associated primes of the tight closures of the Frobenius powers of has only finitely many maximal members. This paper develops, through a careful analysis of the ideal theory of the perfect closure of , strategies for showing that tight closure (of a specified ideal of ) commutes with localization at an arbitrary multiplicatively closed subset of and for showing that the union of the associated primes of the tight closures of the Frobenius powers of is actually a finite set. Several applications of the strategies are presented; in most of them it was already known that tight closure commutes with localization, but the resulting affirmative answers to Katzman's question in the various situations considered are believed to be new.
This paper investigates function spaces of structures consisting of a partially ordered set together with some directed family of projections.More precisely, given a fixed directed index set (I,), we consider triples (D,,(pi)iI) with (D,) a poset and (pi)iI a monotone net of projections of D. We call them (I,)-pop's (posets with projections). Our main purpose is to study structure preserving maps between (I,)-pop's. Such homomorphisms respect both order and projections.Any (I,)-pop is known to induce a uniformity and thus a topology. The set of all homomorphisms between two (I,)-pop's turns out to form an (I,)-pop itself. We show that its uniformity is the uniformity of uniform convergence. This enables us to prove that properties such as completeness and compactness transfer to function pop's.Concerning categorical properties of (I,)-pop's, we will see that we are in a lucky situation from a computer scientist's point of view: we obtain Cartesian closed categories. Moreover, by a D-construction we get (I,)-pop's that are isomorphic to their own exponent. This yields new models for the untyped -calculus. 相似文献
Given a collection of real vector bundles over a closed manifold , suppose that, for some is of the form , where is the trivial one-dimensional bundle. In this paper we prove that if is the fixed data of a -action, then the same is true for the Whitney sum obtained from by replacing by . This stability property is well-known for involutions. Together with techniques previously developed, this result is used to describe, up to bordism, all possible -actions fixing the disjoint union of an even projective space and a point. 相似文献
An n-ideal of a lattice L is a convex sublattice containing a fixed element nL and it is called standard if it is a standard element of the lattice of n-ideals In(L). In this paper we have shown that, for a neutral element n of a lattice L, the principal n-ideal an of a lattice L is a standard n-ideal if and only if an is standard and an is dual standard. We have also shown that if n is a neutral element and (n] and [n) are relatively complemented, then every homomorphism n-kernels of L is a standard n-ideal and every standard n-ideal is the n-kernel of precisely one congruence relation. Finally, we have shown that, for a relatively complemented lattice L with 0 and 1, C(L) is a Boolean algebra if and only if every standard n-ideal of L is a principal n-ideal.AMS Subject Classification (2000) 06B10 06B99 06C15 相似文献
Let X and Y be locally compact Hausdorff spaces and T : C0(X) C0(Y) a ring homomorphism. We completely characterize such homomorphisms and show that if T is R-linear, then T is either C-linear or C-antilinear. In any case T is continuous and there is a continuous map : YX such that Tf = f o , fC0(X) (if T is C-linear) or
(if T is C-antilinear). Thus, extending a result of Mólnar, we also derive the general form of an isometry T.AMS Subject Classification (2000): primary 46J05, 46E25(deceased) Passed away on 24 May 1999. 相似文献
Let be a locally -connected compact metric space. Then, the canonical homomorphism from the singular homology group to the Cech homology group is surjective. Consequently, if a compact metric space is locally connected, then the canonical homomorphism from to is surjective.
We prove that for certain classes of modules such that direct sums of -covers ( -envelopes) are -covers ( -envelopes), -covering ( -enveloping) homomorphisms are always right (left) minimal. As a particular case we see that over noetherian rings, essential monomorphisms are left minimal. The same type of results are given when direct products of -covers are -covers. Finally we prove that over commutative noetherian rings, any direct product of flat covers of modules of finite length is a flat cover. 相似文献
The aim of this paper is that of investigating the asymptotic exponential cone of a single Metzler matrix, introduced in [23], and of defining and analysing the new concept of asymptotic exponential cone of a family of Metzler matrices (along a certain direction). These results will provide necessary and/or sufficient conditions for the solvability of an interesting algebraic problem that arises in the context of continuous-time positive switched systems and, specifically, in the investigation of the reachability property [21,22,25]. 相似文献
Let ge(S) (respectively, go(S)) be the number of even (respectively, odd) gaps of a numerical semigroup S. In this work we study and characterize the numerical semigroups S that verify 2|ge(S)−go(S)|+1∈S. As a consequence we will see that every numerical semigroup can be represented by means of a numerical semigroup with maximal
embedding dimension with all its minimal generators odd.
The first author is supported by the project MTM2007-62346 and FEDER funds. The authors want to thank P.A. García-Sánchez
and the referee for their comments and suggestions. 相似文献