Deductive systems of a cone algebra — II: Isomorphism theorem

We prove that there is an isomorphism φ of the lattice of deductive systems of a cone algebra onto the lattice of convex ℓ-subgroups of a lattice ordered group (determined by the cone algebra) such that for any deductive system A of the cone algebra, A is respectively a prime, normal or polar if and only if φ(A) is a prime convex ℓ-subgroup, ℓ-ideal or polar subgroup of the ℓ-group, thus generalizing and extending the result of Rachůnek that the lattice of ideals of a pseudo MV-algebra is isomorphic to the lattice of convex ℓ-subgroups of a unital lattice ordered group.      

Resolutions of Some Gorenstein Algebras with Nonunimodal Hilbert Functions

Given a compressed Artin level algebra A which satisfies certain properties, it is possible to use this algebra to construct a Gorenstein Artin algebra with a nonunimodal Hilbert function. We show how to construct a minimal free resolution for these algebras, using the minimal free resolution of A.     

The Hilbert series of prime PI rings

We study the Hilbert series of finitely generated prime PI algebras. We show that given such an algebraA there exists some finite dimensional subspaceV ofA which contains 1 _A and generatesA as an algebra such that the Hilbert series ofA with respect to the vector spaceV is a rational function.     

A relationship between two almost f-algebra products

Let A be an uniformly complete almost f-algebra. Then is a positively generated ordered vector subspace of A with as a positive cone. If is a positive linear operator, we put the linear operator defined by with for all is the algebra of all order bounded linear operators of A). Let denote the range of and let's define a new product by putting for all . It is easily checked that if then , this shows that if it happens that the product is associative then A is an almost f- algebra with respect to this new product. It turns out that a necessarily and sufficient condition in order that be an associative product is that is a commutative subalgebra of . We find necessarily and sufficient conditions on T in order that is an almost f-algebra (respect.; d-algebra, f-algebra) product. Such conditions are described in terms of the algebraic and order structure of the algebra .?The converse problem is also studied. More precisely, let A be an uniformly complete almost f-algebra and assume that is another almost f-algebra product on A. The aim is to find sufficient conditions in order that there exist such that for all . It will be showed that a sufficient condition is that A is a d-algebra with respect to the initial product. An example is produced which shows that the condition "A is a d-algebra with respect to the initial product" can not be weakened. Received November 8, 1999; accepted in final form February 14, 2000.     

Quotient rings of algebras of functions and operators

Abstract. Various quotient rings of rings B of Banach algebra A-valued continuous functions on a completely regular Hausdorff Space X are constructed in terms of continuous functions defined on dense open subsets of X taking values in the maximal quotient ring of the Banach algebra A. This extends the results proved by N. J. Fine, L., Gillman and J. Lambek (1965) for the case of A, the field of real numbers. The pattern is similar and utilizes as well as generalises the results proved for algebras of multipliers of B by C. A. Akemann, G. K. Pedersen and J. Tomiyama (1973). The techniques combine those from algebra, analysis and topology. The details of the cases when A is the normed division algebra of real quaternions or the operator algebra B(H) of a Hilbert space H are given to illustrate our results. Received February 1, 1999; in final form June 18, 1999 / Published online May 8, 2000     

Nevanlinna–Pick Interpolation and Factorization of Linear Functionals

If \mathfrakA{\mathfrak{A}} is a unital weak-* closed algebra of multiplication operators on a reproducing kernel Hilbert space which has the property \mathbbA₁(1){\mathbb{A}_1(1)}, then the cyclic invariant subspaces index a Nevanlinna–Pick family of kernels. This yields an NP interpolation theorem for a wide class of algebras. In particular, it applies to many function spaces over the unit disk including Bergman space. We also show that the multiplier algebra of a complete NP space has \mathbbA₁(1){\mathbb{A}_1(1)}, and thus this result applies to all of its subalgebras. A matrix version of this result is also established. It applies, in particular, to all unital weak-* closed subalgebras of H ^∞ acting on Hardy space or on Bergman space.     

Tor gives the inverse to the Hilbert function of a graded algebra

The Hilbert generating function of Tor^U(A, A) gives the inverse of the Hilbert generating function of U where U is a graded A algebra.     

On the free implicative semilattice extension of a Hilbert algebra

Hilbert algebras provide the equivalent algebraic semantics in the sense of Blok and Pigozzi to the implication fragment of intuitionistic logic. They are closely related to implicative semilattices. Porta proved that every Hilbert algebra has a free implicative semilattice extension. In this paper we introduce the notion of an optimal deductive filter of a Hilbert algebra and use it to provide a different proof of the existence of the free implicative semilattice extension of a Hilbert algebra as well as a simplified characterization of it. The optimal deductive filters turn out to be the traces in the Hilbert algebra of the prime filters of the distributive lattice free extension of the free implicative semilattice extension of the Hilbert algebra. To define the concept of optimal deductive filter we need to introduce the concept of a strong Frink ideal for Hilbert algebras which generalizes the concept of a Frink ideal for posets.     

On Consistent Operators and Reflexivity

We study Hilbert space operators A=?_{i ? \mathbbN} A_i{A=\oplus_{i \in \mathbb{N} } A_i} which are consistent in the sense that each A _i+1 contains a copy of A _i . The formal definition is reminiscent of the classical ordering on projections in a von Neumann algebra. It is shown that if the powers of A are simultaneously consistent, then A must be reflexive. This is applied to study reflexivity of power partial isometries.     

Subdirect decompositions and the radical of a generalized Boolean algebra extension of a lattice ordered group

The extension of a lattice ordered group A by a generalized Boolean algebra B will be denoted by A _B . In this paper we apply subdirect decompositions of A _B for dealing with a question proposed by Conrad and Darnel. Further, in the case when A is linearly ordered we investigate (i) the completely subdirect decompositions of A _B and those of B, and (ii) the values of elements of A _B and the radical R(A _B ).     

Sur les algèbres absolument valuées qui vérifient l'identité (x, x, x) = 0

Let A denote a prehilbert absolute valued real algebra such that (x, x, x) = 0 for all x ε A; for this algebra we obtain the same results we have previously obtained for the flexible absolute valued algebra. Our main theorem is: A has a finite dimension 1, 2, 4 or 8, and is isotopic to or C. One of the results concerning the isomorphism between A and , C^*, or C shows that if for every two idempotents e₁ and e₂ in , then A is isomorphic to , C^*, or C. The example of infinite dimensional Hilbert absolute valued algebra given by Urbanik and Wright indicates that the assumption, (x, x, x) = 0 for all x ε A, is essential.     

COMPARATIVE PROBABILITY ON THE C* ALGEBRA OF COMPACT OPERATORS

Abstract

Let A be a von Neumann algebra on a Hilbert space H and let P(A) denote the projections of A. A comparative probability (CP) on A (or more correctly on P(A)) is a preorder ? on P(A) satisfying:

0 ? P ? P ε P(A) with Q ≠ 0 for some Q ε P(A).

If P, Q ε P(A) then either P ? Q or Q ? P.

If P, Q and R are all in P(A) and P⊥R, Q⊥R, then P ? Q ? P + R ? Q + R.

Let τ be any of the usual locally convex topologies on A. We say ? is τ continuous if the interval topology induced on P(A) by ? is weaker than the τ topology on P(A). If μ an additive (completely additive) measure on P(A) then μ induces a uniformly (weakly) continuous CP ?μ on P(A) given by P ?_μ Q if μ(P) ? μ(Q). We show that if A is the C* algebra C(H) of compact operators on an infinite dimensional Hilbert space H, the converse is true under an extra boundedness condition on the CP which is automatically satisfied whenever the identity is present in A = P(C(H)).     

Characterization of derivations on reflexive algebras

Let Alg? be a reflexive algebra on a Hilbert space H. We say that a linear map δ: Alg??→?Alg? is derivable at Ω?∈?Alg? if δ(A)B?+?Aδ(B)?=?δ(Ω) for every A, B?∈?Alg? with AB?=?Ω. In this article, we give a necessary and sufficient condition for a map δ on Alg? to be derivable at Ω. In particular, we show that every linear map δ derivable at Ω?≠?0 from an irreducible CDC algebra (in particular, a nest algebra) into itself is a derivation. Moreover, if Alg? is a CSL algebra, and if for some nontrivial projection P?∈??, PΩP and (I???P)Ω(I???P) are left or right separating points in PAlg?P and (I???P)Alg?(I???P) respectively, then a linear map δ on Alg? is derivable at Ω if and only if δ is a derivation.     

On derivations of algebras with involution

Summary Let X be a complex Hilbert space, let L(X) be the algebra of all bounded linear operators on X, and let A(X) ⊂ L(X) be a standard operator algebra, which is closed under the adjoint operation. Suppose there exists a linear mapping D: A(X) → L(X) satisfying the relation D(AA*A) = D(A) A*A + AD(A*)A + AA*D(A), for all A ∈ A(X). In this case D is of the form D(A) = AB-BA, for all A∈ A(X) and some B ∈ L(X), which means that D is a derivation. We apply this result to semisimple H*-algebras.     

The homomorphisms between the Dickson–Mùi algebras as modules over the Steenrod algebra

The Dickson–Mùi algebra consists of all invariants in the mod p cohomology of an elementary abelian p-group under the general linear group. It is a module over the Steenrod algebra, A{\mathcal {A}} . We determine explicitly all the A{\mathcal {A}} -module homomorphisms between the (reduced) Dickson–Mùi algebras and all the A{\mathcal {A}} -module automorphisms of the (reduced) Dickson–Mùi algebras. The algebra of all A{\mathcal {A}} -module endomorphisms of the (reduced) Dickson–Mùi algebra is claimed to be isomorphic to a quotient of the polynomial algebra on one indeterminate. We prove that the reduced Dickson–Mùi algebra is atomic in the meaning that if an A{\mathcal {A}} -module endomorphism of the algebra is non-zero on the least positive degree generator, then it is an automorphism. This particularly shows that the reduced Dickson–Mùi algebra is an indecomposable A{\mathcal {A}} -module. The similar results also hold for the odd characteristic Dickson algebras. In particular, the odd characteristic reduced Dickson algebra is atomic and therefore indecomposable as a module over the Steenrod algebra.     

Quiver varieties and Frenkel–Kac construction

An affine Lie algebra acts on cohomology groups of quiver varieties of affine type. A Heisenberg algebra acts on cohomology groups of Hilbert schemes of points on a minimal resolution of a Kleinian singularity. We show that in the case of type A the former is obtained by Frenkel–Kac construction from the latter.     

Sulle algebre per cui vale il teorema degli zeri di Hilbert generalizzato

Riassunto In questo lavoro studiamo quelleA-algebreB, chiamate algebre di Hilbert, in cui è vera una generalizzazione del teorema degli zeri di Hilbert. In particolare studiamo alcune proprietà che implicano cheB sia un'algebra di Hilbert e proviamo il passaggio di queste proprietà rispetto a certi cambiamenti di base. Infine studiamo alcuni anelli di frazioni dell'anello dei polinomi sopra un corpo algebricamente chiusoK ed in un insieme di indeterminate di cardinalità non inferiore a quella diK.

---

Summary In this paper we study thoseA-algebrasB, named Hilbert algebras, in which a generalization of Hilbert's Nullstellensatz is verified. Particularly we look at some properties implying thatB is an Hilbert algebra and we prove the passage of this property with respect to certain base change. At last we study some rings of fractions of the polynomial ring generated over an algebrically closed fieldK by a set of indeterminates with cardinality greater or equal then the cardinality ofK.

---

---

Lavoro eseguito nell'ambito dei gruppi di ricerca del C.N.R.     

Distributive implication groupoids

We introduce a concept of implication groupoid which is an essential generalization of the implication reduct of intuitionistic logic, i.e. a Hilbert algebra. We prove several connections among ideals, deductive systems and congruence kernels which even coincide whenever our implication groupoid is distributive.      

Banaschewski’s theorem for generalized <Emphasis Type="Italic">MV</Emphasis>-algebras

A generalized MV-algebra A is called representable if it is a subdirect product of linearly ordered generalized MV-algebras. Let S be the system of all congruence relations ϱ on A such that the quotient algebra A/ϱ is representable. In the present paper we prove that the system S has a least element. This work was supported by Science and Technology Assistance Agency under Contract No AVPT-51-032002. The work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information (grant I/2/2005).