Die struktur endlicher schwach abgeschlossener Jordanalgebren Teil II. Diskrete Jordanalgebren

In the preceding note [6] we reduced the study of continuous finite weakly closed Jordan algebras to real associative W^*-algebras of type II₁. Here we treat the remaining case of discrete finite weakly closed Jordan algebras and describe them completely by finite dimensional simple formally real Jordan algebras and by simple formally real Jordan algebras of quadratic forms of real Hilbert spaces. Jacobsons theory of Jordan algebras with minimum condition combined with W^*-algebra techniques constitutes an essential tool in the proof.     

Reelle Jordanalgebren mit endlicher Spur

We study real Jordan algebras of arbitrary dimension which admit an associative, positive definite trace form and have suitable continuity properties. We construct certain completions until we arrive at a class of Jordan algebras corresponding to associative W^*-algebras of finite type. For these Jordan algebras we derive some basic properties concerning positive elements and idempotents. In contrast to other related investigations exceptional Jordan algebras are not excluded.     

The arens closure of a nonassociative algebra

Given a nonassociative algebra A and an Arens pair A₁, A₂, for A, we identify a subalgcbra ? of A₂ with i (A) ? A ? A₂ and show that ? better reflects the algebraic structure ot A, in parti-cular. any multilinear identity satisfied by ? is also satisfied by ? Hence, ? is commutative or Lie when A is and Jordan when A is a Jordan algebra of characteristic not 2 or 3. Also, we list examples (1) where ? = End_D(V) for A a primitive, associative algebra with commuting ring D and irreducible faithful module V,(2) where ? is the norm closure of A in the arens algebra of all bounded functionals of the bounded functionals for a normed algebra A and (3) where ? is the Arens algebra of all bounded functionals of the bounded functionals with A again normed. Note that dif-ferent Arens closures can arise form the same choice of A, A₁, , A₂ since ? is determined by A, A₁, A₂ and subspaces A₃ ? A₂ ^*, A₄,?A₃ ^*.     

A note on skew differential operators on commutative rings

Let A be a commutative integral domain that is a finitely generated algebra over a field k of characteristic 0 and let ø be a k-algebra automorphism of A of finite order m. In this note we study the ring D(A;ø of differential operators introduced by A.D. Bell. We prove that if A is a free module over the fixed sub-ring A ^ø, with a basis containing 1, then D(A;ø) is isomorphic to the matrix ring M_m(D(A ^ø). It follows from Grothendieck's Generic Flatness Theorem that for an arbitrary A there is an element c?Asuch that D(A[c^-1];ø)?M _m(D(A[c^-1]^ø)). As an application, we consider the structure of D(A;ø)when A is a polynomial or Laurent polynomial ring over k and ø is a diagonalizable linear automorphism.     

Minimal algebras of infinite representation type with preprojective component

Let A be a finite dimensional, basic and connected algebra (associative, with 1) over an algebraically closed field k. Denote by e₁,...,e_n a complete set of primitive orthogonal idempotents in A and by A_i= A/Ae_iA. A is called a minimal algebra of infinite representation type provided A is itself of infinite representation type,whereas all A_i, 1≤i≤n,are of finite representation type. The main result gives the classification of the minimal algebras having a preprojective component in their Auslander-Reiten quiver. The classification is obtained by realizing that these algebras are essentially given by preprojective tilting modules over tame hereditary algebras.     

Compact DG modules and Gorenstein DG algebras

When the base connected cochain DG algebra is cohomologically bounded, it is proved that the difference between the amplitude of a compact DG module and that of the DG algebra is just the projective dimension of that module. This yields the unboundedness of the cohomology of non-trivial regular DG algebras. When A is a regular DG algebra such that H(A) is a Koszul graded algebra, H(A) is proved to have the finite global dimension. And we give an example to illustrate that the global dimension of H(A) may be infinite, if the condition that H(A) is Koszul is weakened to the condition that A is a Koszul DG algebra. For a general regular DG algebra A, we give some equivalent conditions for the Gorensteiness. For a finite connected DG algebra A, we prove that D^c(A) and D^c(A ^op) admit Auslander-Reiten triangles if and only if A and A ^op are Gorenstein DG algebras. When A is a non-trivial regular DG algebra such that H(A) is locally finite, D^c(A) does not admit Auslander-Reiten triangles. We turn to study the existence of Auslander-Reiten triangles in D_lf^b(A) and D_lf^b (A ^op) instead, when A is a regular DG algebra. This work was supported by the National Natural Science Foundation of China (Grant No. 10731070) and the Doctorate Foundation of Ministry of Education of China (Grant No. 20060246003)     

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.     

Nearly generalized Jordan derivations

Let A be an algebra and let X be an A-bimodule. A ∂-linear mapping d: A → X is called a generalized Jordan derivation if there exists a Jordan derivation (in the usual sense) δ: A → X such that d(a ²) = ad(a)+δ(a)a for all a ∈ A. The main purpose of this paper is to prove the Hyers-Ulam-Rassias stability and superstability of the generalized Jordan derivations.     

Involutionen von Jordan-Algebren

In this paper we will give some algebraic results on certain Lie algebras defined by involutions of Jordan algebras. Most of the results will be used elsewhere for applications in analysis. Let A be the (-1)-eigenspace of an involution JId of a central simple Jordan algebra A of degree at least 3, let D be the Lie algebra of all inner derivations of A leaving A_{_} invariant, and let h be the Lie algebra D+L(A_{_}), where L denotes the regular representation of A. In the case where the 1-eigenspace A₊ of J is central simple too, we will show A₊=A_{_}A_{_} and prove that h is semi-simple and irreducible on A. If A₊ is not central simple, then A_{_}A_{_} has codimension 1 in A₊ and h is semi-simple, but irreducible on A_{_}A_{_}+A_{_} only if the characteristic of the groundfield does not divide the degree of A. At characteristic O we will view D as an extension of the derivationalgebra of A₊ and determine the structure of the kernel of this extension.     

On trivial and non-trivial n-homogeneousC * algebras

LetA be aC ^* — algebra for which all irrèducible representations are of dimensional n. Then ([F], [TT], [V]) algebraA is isomorphic to algebra of all continuous sections of an appropriate algebraic bundle _A . The basisX of this bundle coincides with the compact of all maximal two-sided ideals ofA. We obtain some conditions which provide that _A is trivial and this yields thatA is isomorphic to the algebra of alln×n matrix functions continuous onX. In the case whenX=S ⁿ is a sphere we describe the set of algebraic bundles overX and algebraic structures on this set. Some applications to algebras generated by idempotents are suggested.     

Un contre-exemple pour les formes invariantes sur un corps fini

Let A be a Jordan algebra over the reals which is a Banach space with respect to a norm satisfying the requirements: (i) ∥ a ° b ∥ ≤ ∥ a ∥ ∥ b ∥, (ii) ∥ a² ∥ = ∥ a ∥², (iii) ∥ a² ∥ ≤ ∥ a² + b² ∥ for a, b?A. It is shown that A possesses a unique norm closed Jordan ideal J such that $\text{A}\text{J}$ has a faithful representation as a Jordan algebra of self-adjoint operators on a complex Hilbert space, while every “irreducible” representation of A not annihilating J is onto the exceptional Jordan algebra M₃⁸.     

Jordan (Super)Coalgebras and Lie (Super)Coalgebras

We discuss the question of local finite dimensionality of Jordan supercoalgebras. We establish a connection between Jordan and Lie supercoalgebras which is analogous to the Kantor–Koecher–Tits construction for ordinary Jordan superalgebras. We exhibit an example of a Jordan supercoalgebra which is not locally finite-dimensional. Show that, for a Jordan supercoalgebra (J,) with a dual algebra J ^*, there exists a Lie supercoalgebra (L ^c (J), _L ) whose dual algebra (L ^c (J))^* is the Lie KKT-superalgebra for the Jordan superalgebra J ^*. It is well known that some Jordan coalgebra J ⁰ can be constructed from an arbitrary Jordan algebra J. We find necessary and sufficient conditions for the coalgebra (L ^c (J ⁰),_L) to be isomorphic to the coalgebra (Loc(L _in (J)⁰), _L ⁰), where L _in (J) is the adjoint Lie KKT-algebra for the Jordan algebra J.     

On the Lipschitzian property in linear complementarity problems over symmetric cones

Let V be a Euclidean Jordan algebra with symmetric cone K. We show that if a linear transformation L on V has the Lipschitzian property and the linear complementarity problem LCP(L,q) over K has a solution for every invertible q∈V, then 〈L(c),c〉>0 for all primitive idempotents c in V. We show that the converse holds for Lyapunov-like transformations, Stein transformations and quadratic representations. We also show that the Lipschitzian Q-property of the relaxation transformation R_A on V implies that A is a P-matrix.     

Polynomial Identities of Algebras of Small Dimension

It is well known that given an associative algebra or a Lie algebra A, its codimension sequence c _n (A) is either polynomially bounded or grows at least as fast as 2 ⁿ . In [2 Giambruno , A. , Mishchenko , S. , Zaicev , M. ( 2006 ). Algebras with intermediate growth of the codimensions . Adv. Appl. Math. 37 ( 3 ): 360 – 377 .[Crossref], [Web of Science ®] , [Google Scholar]] we proved that for a finite dimensional (in general nonassociative) algebra A, dim A = d, the sequence c _n (A) is also polynomially bounded or c _n (A) ≥ a ⁿ asymptotically, for some real number a > 1 which might be less than 2. Nevertheless, for d = 2, we may take a = 2. Here we prove that for d = 3 the same conclusion holds. We also construct a five-dimensional algebra A with c _n (A) < 2 ⁿ .     

On absolute valued algebras with involution

Let A be an absolute valued algebra with involution, in the sense of Urbanik [K. Urbanik, Absolute valued algebras with an involution, Fund. Math. 49 (1961) 247-258]. We prove that A is finite-dimensional if and only if the algebra obtained by symmetrizing the product of A is simple, if and only if eA_s = A_s, where e denotes the unique nonzero self-adjoint idempotent of A, and A_s stands for the set of all skew elements of A. We determine the idempotents of A, and show that A is the linear hull of the set of its idempotents if and only if A is equal to either McClay’s algebra [A.A. Albert, A note of correction, Bull. Amer. Math. Soc. 55 (1949) 1191], the para-quaternion algebra, or the para-octonion algebra. We also prove that, if A is infinite-dimensional, then it can be enlarged to an absolute valued algebra with involution having a nonzero idempotent different from the unique nonzero self-adjoint idempotent.     

Jordan代数上的可乘Jordan导子

设A是Jordan代数,如果映射d:A→A满足任给a,b∈A,都有d(aob)=d(a)o b+aod(b),则称d为可乘Jordan导子.如果A含有一个非平凡幂等p,且A对于p的Peirce分解A=A_1⊕A_(1/2)⊕A_0满足:(1)设ai∈Ai(i=1,0),如果任给t_(1/2)∈A_(1/2),都有a_i○t_(1/2)=0,则a_i=0,则A上的可乘Jordan导子d.如果满足d(p)=0,则d是可加的.由此得到结合代数和三角代数满足一定条件时,其上的任意可乘Jordan导子是可加的.     

On the structure of inner ideals of nest algebras

IfA is a nest algebra andA _s=A ∩ A* , whereA* is the set of the adjoints of the operators lying inA, then the pair (A, A _s) forms a partial Jordan *-triple. Important tools when investigating the structure of a partial Jordan *-triple are its tripotents. In particular, given an orthogonal family of tripotents of the partial Jordan *-triple (A, A _s), the nest algebraA splits into a direct sum of subspaces known as the Peirce decomposition relative to that family. In this paper, the Peirce decomposition relative to an orthogonal family of minimal tripotents is used to investigate the structure of the inner ideals of (A, A _s), whereA is a nest algebra associated with an atomic nest. A property enjoyed by inner ideals of the partial Jordan *-triple (A, A _s) is presented as the main theorem. This result is then applied in the final part of the paper to provide examples of inner ideals. A characterization of the minimal tripotents as a certain class of rank one operators is also obtained as a means to deduce the principal theorem.     

A Decomposition of the Descent Algebra of a Finite Coxeter Group

The purpose of this paper is twofold. First we aim to unify previous work by the first two authors, A. Garsia, and C. Reutenauer (see [2], [3], [4], [5] and [10]) on the structure of the descent algebras of the Coxeter groups of type A _n and B _n. But we shall also extend these results to the descent algebra of an arbitrary finite Coxeter group W. The descent algebra, introduced by Solomon in [14], is a subalgebra of the group algebra of W. It is closely related to the subring of the Burnside ring B(W) spanned by the permutation representations W/W _J, where the W _J are the parabolic subgroups of W. Specifically, our purpose is to lift a basis of primitive idempotents of the parabolic Burnside algebra to a basis of idempotents of the descent algebra.     

Gluing of idempotents,radical embeddings and two classes of stable equivalences

Stable equivalences are studied between any finite dimensional algebra A with a simple projective module and a simple injective module and an algebra B obtained from A by ‘gluing’ the corresponding idempotents of A; this extends results by Martinez-Villa. Stable equivalences modulo projectives are compared to stable equivalences modulo semisimples, and in either situation a characterization is given for a radical embedding to induce such a stable equivalence.     

The norm-strict bidual of a Banach algebra and the dual of Cu(G)

To each Banach algebra A we associate a (generally) larger Banach algebra A⁺ which is a quotient of its bidual A. It can be constructed using the strict topology on A and the Arens product on A. A⁺ has certain more pleasant properties than A, e.g. if A has a bounded right approximate identity, then A⁺ has a two-sided unit. In the special case A=L¹(G) (G a locally compact abelian group) one gets A⁺=C_u(G), the dual of the space of bounded, uniformly continuous functions on G, and we show that the center of the convolution algebra C_u(G) is precisely the space M(G) of finite measures on G.