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.     

Absolute Valued Algebras Satisfying ( x 2, x 2, x 2) = 0

Abstract

Let A be an absolute valued algebra. We prove that if A satisfies the identity (x ², x ², x ²) = 0 for all x in A, and contains a central idempotent e, that is ex = xe for all x in A, then A is finite dimensional. This result enables us to prove that if A satisfies (x ², x ², x ²) = 0 and admits an involution then A is finite dimensional. To show that our assumptions on A are essential we recall that in El-Mallah [El-Mallah, M. L. (1988). Absolute valued algebras with an involution. Arch. Math. 51:39–49] it was shown that the existence of a central idempotent in A is not a sufficient condition for A to be finite dimensional; and the example given in El-Mallah [El-Mallah, M. L. (2003). Semi-algebraic absolute valued algebras with an involution. Comm. Algebra 31(7):3135–3141] shows that there exist infinite dimensional semi-algebraic absolute valued algebras satisfying the identity (x ², x ², x ²) = 0.     

Semi-algebraic Absolute Valued Algebras with an Involution

Abstract

Let A be an absolute valued algebra. In El-Mallah (El-Mallah,M. L. (1988). Absolute valued algebras with an involution. Arch. Math. 51: 39–49) we proved that,if A is algebraic with an involution,then A is finite dimensional. This result had been generalized in El-Amin et al. (El-Amin,K.,Ramirez,M. I.,Rodriguez,A. (1997). Absolute valued algebraic algebras are finite dimensional. J. Algebra 195:295–307),by showing that the condition “algebraic” is sufficient for A to be finite dimensional. In the present paper we give a generalization of the concept “algebraic”,which will be called “semi-algebraic”,and prove that if A is semi-algebraic with an involution then A is finite dimensional. We give an example of an absolute valued algebra which is semi-algebraic and infinite dimensional. This example shows that the assumption “with an involution” cannot be removed in our result.     

Some New Class of Absolute Valued Algebras with Left Unit

Let A be an absolute valued algebra with left unit. We prove that if A contains a nonzero central element, then A is finite dimensional and is isomorphic to \mathbb R, \mathbb C{\mathbb {R}, \mathbb {C}} or new classes of four and eight–dimensional absolute valued algebras with left unit. This is more general than those results in [2] and [3].     

<Emphasis Type="Italic">N</Emphasis>-homogeneous <Emphasis Type="Italic">C</Emphasis>*-algebras generated by idempotents

In this paper we consider n-homogeneous C*-algebras generated by idempotents. We prove that a finitely generated unital n-homogeneous (when n is greater than or equals 2) C*-algebra A can be generated by a finite set of idempotents if and only if the algebra A contains at least one nontrivial idempotent.     

On ∗-minimal ∗-ideals and ∗-biideals in involution rings

For semiprime involution rings, we determine some ∗-minimal ∗-ideals using idempotent elements. Nevertheless, ∗-minimal ∗-biideals are characterized by idempotent elements. Moreover, the involutive version of a theorem due to Steinfeld, which investigates a semiprime involution ring A if A=SocA, is given. Finally, semiprime involution rings having no proper nonzero ∗-biideals are characterized.     

Derivations on ideals in commutative AW*-algebras

LetA be a commutativeAW*-algebra.We denote by S(A) the *-algebra of measurable operators that are affiliated with A. For an ideal I in A, let s(I) denote the support of I. Let Y be a solid linear subspace in S(A). We find necessary and sufficient conditions for existence of nonzero band preserving derivations from I to Y. We prove that no nonzero band preserving derivation from I to Y exists if either Y ? Aor Y is a quasi-normed solid space. We also show that a nonzero band preserving derivation from I to S(A) exists if and only if the boolean algebra of projections in the AW*-algebra s(I)A is not σ-distributive.     

Absolute Valued Algebras with Involution

We study absolute valued algebras with involution, as defined in Urbanik (1961 Urbanik , K. ( 1961 ). Absolute valued algebras with an involution . Fundamenta Math. 49 : 247 – 258 . [Google Scholar]). We prove that these algebras are finite-dimensional whenever they satisfy the identity (x, x ², x) = 0, where (·, ·, ·) means associator. We show that, in dimension different from two, isomorphisms between absolute valued algebras with involution are in fact *-isomorphisms. Finally, we give a classification up to isomorphisms of all finite-dimensional absolute valued algebras with involution. As in the case of a parallel situation considered in Rochdi (2003 Rochdi , A. ( 2003 ). Eight-dimensional real absolute valued algebras with left unit whose automorphism group is trivial . Int. J. Math. Math. Sci. 70 : 4447 – 4454 .[Crossref] , [Google Scholar]), the triviality of the group of automorphisms of such an algebra can happen in dimension 8, and is equivalent to the nonexistence of 4-dimensional subalgebras.     

Nice connecting paths in connected components of sets of algebraic elements in a Banach algebra

Generalizing earlier results about the set of idempotents in a Banach algebra, or of self-adjoint idempotents in a C*-algebra, we announce constructions of nice connecting paths in the connected components of the set of elements in a Banach algebra, or of self-adjoint elements in a C*-algebra, that satisfy a given polynomial equation, without multiple roots. In particular, we prove that in the Banach algebra case every such non-central element lies on a complex line, all of whose points satisfy the given equation. We also formulate open questions.     

Classification of the finite dimensional absolute valued algebras having a non-zero central idempotent or a one-sided unity

An absolute valued algebra is a non-zero real algebra that is equipped with a multiplicative norm. We classify all finite dimensional absolute valued algebras having a non-zero central idempotent or a one-sided unity, up to algebra isomorphism. This completes earlier results of Ramírez Álvarez and Rochdi which, in our self-contained presentation, are recovered from the wider context of composition k-algebras with an LR-bijective idempotent.     

Single elements in Banach algebras

This paper provides an abstract characterization of quasitriangular algebras of operators on a separable Hilbert space. The main tool used is the (purely algebraic) concept of a single element. An element s of an algebra A is called single element of A if whenever asb=0 for some a, b in A, at least one of as,sb is zero. A part of this work is of independent interest and this is an attempt to determine an involution in a Banach algebra.     

Module operator virtual diagonals on the Fourier algebra of an inverse semigroup

For an amenable inverse semigroup S with the set of idempotents E and a minimal idempotent, we explicitly construct a contractive and positive module operator virtual diagonal on the Fourier algebra A(S), as a completely contractive Banach algebra and operator module over \(\ell ^1(E)\). This generalizes a well known result of Zhong-Jin Ruan on operator amenability of the Fourier algebra of a (discrete) group Ruan (Am J Math 117:1449–1474, 1995).     

Degenerations of Algebras and Ranks of Grothendieck Groups

A basic algebra A ₀ is an idempotent rigid degeneration of a basic algebra A ₁ if and only if it is a classical degeneration of A ₁ and additionally rk K₀(A ₀)?=?rk K₀(A ₁).     

Representation of tripotents and representations via tripotents

Let A be an algebra. An element A∈A is called tripotent if A³=A. We study the questions: if both A and B are tripotents, then: Under what conditions are A+B and AB tripotent? Under what conditions do A and B commute? We extend the partial order from the Hilbert space idempotents to the set of all tripotents and show that every normal tripotent is self-adjoint. For A=M_n(C) we describe the set of all finite sums of tripotents, the convex hull of tripotents and the set of all tripotents averages. We also give the new proof of rational trace matrix representations by Choi and Wu [2].     

On semiperfect associative pairs

It is known [8] that a semiperfect ring is characterized by the existence of a frame, i.e, a complete set of local orthogonal idempotents. We prove in this paper that a similar behaviour occurs when dealing with an associative pair A, namelyAis semiperfect if and only if Acontains a frame and ā=A/Rad Ais unital. Moreover, we show that, when ā is unital, the existence of a frame for Ais equivalent to the condition that every irreducible right A-module is isomorphic to _e A/e(RadA) for some idempotent e of A.     

Absolute valued algebras satisfying (x,x,x2) = 0

Let A be an absolute valued algebra satisfying the identity (x,x,x²) = 0. We give some conditions which imply that A is isomorphic to R, \mathbbC \mathbb{C} , H or D. These results enable us to show that if A is an algebra with involution then A is one of those classical algebras. We construct an example of A having dimension two and is not isomorphic to \mathbbC \mathbb{C} .     

A Remarkable Class of Rings

We consider a remarkable class of rings, which we call corpids, that is the rings (K, +, ·), such that (K, ·) is an inverse semigroup (or groupid, which is the name used by Tallini (Ann Math 71:295–322, 1966). We prove several theorems concerning this structure, an order relation which allows us to formulate characterization theorems. We define the notion of simple idempotent and prove theorems about zero-divisors, idempotents, subcorpids, ideals and characteristic in a corpid.     

The Antipode of a Dual Quasi-Hopf Algebra with Nonzero Integrals is Bijective

For a Hopf algebra A of arbitrary dimension over a field K, it is well-known that if A has nonzero integrals, or, in other words, if the coalgebra A is co-Frobenius, then the space of integrals is one-dimensional and the antipode of A is bijective. Bulacu and Caenepeel recently showed that if H is a dual quasi-Hopf algebra with nonzero integrals, then the space of integrals is one-dimensional, and the antipode is injective. In this short note we show that the antipode is bijective.