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.     

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].     

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} .     

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.     

Finiteness of the strong global dimension of radical square zero algebras

The strong global dimension of a finite dimensional algebra A is the maximum of the width of indecomposable bounded differential complexes of finite dimensional projective A-modules. We prove that the strong global dimension of a finite dimensional radical square zero algebra A over an algebraically closed field is finite if and only if A is piecewise hereditary. Moreover, we discuss results concerning the finiteness of the strong global dimension of algebras and the related problem on the density of the push-down functors associated to the canonical Galois coverings of the trivial extensions of algebras by their repetitive algebras.     

A proof that commutative artinian rings are noetherian

Abstract

Integrals in Hopf algebras are an essential tool in studying finite dimensional Hopf algebras and their action on rings. Over fields it has been shown by Sweedler that the existence of integrals in a Hopf algebra is equivalent to the Hopf algebra being finite dimensional. In this paper we examine how much of this is true Hopf algebras over rings. We show that over any commutative ring R that is not a field there exists a Hopf algebra H over R containing a non-zero integral but not being finitely generated as R-module. On the contrary we show that Sweedler's equivalence is still valid for free Hopf algebras or projective Hopf algebras over integral domains. Analogously for a left H-module algebra A we study the influence of non-zero left A#H-linear maps from A to A#H on H being finitely generated as R-module. Examples and application to separability are given.     

Dynamical Systems Associated with Crossed Products

In this paper, we consider both algebraic crossed products of commutative complex algebras A with the integers under an automorphism of A, and Banach algebra crossed products of commutative C ^*-algebras A with the integers under an automorphism of A. We investigate, in particular, connections between algebraic properties of these crossed products and topological properties of naturally associated dynamical systems. For example, we draw conclusions about the ideal structure of the crossed product by investigating the dynamics of such a system. To begin with, we recall results in this direction in the context of an algebraic crossed product and give simplified proofs of generalizations of some of these results. We also investigate new questions, for example about ideal intersection properties of algebras properly between the coefficient algebra A and its commutant A′. Furthermore, we introduce a Banach algebra crossed product and study the relation between the structure of this algebra and the topological dynamics of a naturally associated system.     

Irreducible Representations for the Baby Tits–Kantor–Koecher Algebra

The baby Tits–Kantor–Koecher (TKK) algebra constructed from the smallest (nonlattice) semilattice is related to the “smallest” extended affine Lie algebras other than the finite dimensional simple Lie algebras and the affine Kac–Moody algebras. In this article, we classify the finite dimensional irreducible representations for the baby TKK algebra. It turns out that such representations can be lifted from modules of direct sums of finitely many copies of the simple Lie algebra sp ₄(?).     

The representation dimension of domestic weakly symmetric algebras

Auslander’s representation dimension measures how far a finite dimensional algebra is away from being of finite representation type. In [1], M. Auslander proved that a finite dimensional algebra A is of finite representation type if and only if the representation dimension of A is at most 2. Recently, R. Rouquier proved that there are finite dimensional algebras of an arbitrarily large finite representation dimension. One of the exciting open problems is to show that all finite dimensional algebras of tame representation type have representation dimension at most 3. We prove that this is true for all domestic weakly symmetric algebras over algebraically closed fields having simply connected Galois coverings.     

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.     

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.     

*-Regular Leavitt path algebras of arbitrary graphs

If K is a field with involution and E an arbitrary graph, the involution from K naturally induces an involution of the Leavitt path algebra L _K (E). We show that the involution on L _K (E) is proper if the involution on K is positive-definite, even in the case when the graph E is not necessarily finite or row-finite. It has been shown that the Leavitt path algebra L _K (E) is regular if and only if E is acyclic. We give necessary and sufficient conditions for L _K (E) to be *-regular (i.e., regular with proper involution). This characterization of *-regularity of a Leavitt path algebra is given in terms of an algebraic property of K, not just a graph-theoretic property of E. This differs from the known characterizations of various other algebraic properties of a Leavitt path algebra in terms of graphtheoretic properties of E alone. As a corollary, we show that Handelman’s conjecture (stating that every *-regular ring is unit-regular) holds for Leavitt path algebras. Moreover, its generalized version for rings with local units also continues to hold for Leavitt path algebras over arbitrary graphs.     

On solvability of systems of polynomial equations

We study the computational complexity of the solvability problem of systems of polynomial equations over finite algebras. We prove a new dichotomy theorem that extends most of the dichotomy results which have been obtained over different families of finite algebras so far. As a corollary, for example, we get that if \mathbbA{\mathbb{A}} is a finite algebra of finite signature and omits the Hobby-McKenzie type 1, then the problem is solvable in polynomial time whenever \mathbbA{\mathbb{A}} is a reduct of a generalized affine algebra, and NP-complete otherwise.     

Finite degree: algebras in general and semigroups in particular

An algebra A has finite degree if its term functions are determined by some finite set of finitary relations on A. We study this concept for finite algebras in general and for finite semigroups in particular. For example, we show that every finite nilpotent semigroup has finite degree (more generally, every finite algebra with bounded p _n -sequence), and every finite commutative semigroup has finite degree. We give an example of a five-element unary semigroup that has infinite degree. We also give examples to show that finite degree is not preserved in general under taking subalgebras, homomorphic images, direct products or subdirect factors.     

Algebras with involution that become hyperbolic over the function field of a conic

We study central simple algebras with involution of the first kind that become hyperbolic over the function field of the conic associated to a given quaternion algebra Q. We classify these algebras in degree 4 and give an example of such a division algebra with orthogonal involution of degree 8 that does not contain (Q,⁻), even though it contains Q and is totally decomposable into a tensor product of quaternion algebras.     

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.     

Endoprimal algebras

An algebra A is endoprimal if, for all the only maps from A ^k to A which preserve the endomorphisms of A are its term functions. One method for finding finite endoprimal algebras is via the theory of natural dualities since an endodualisable algebra is necessarily endoprimal. General results on endoprimality and endodualisability are proved and then applied to the varieties of sets, vector spaces, distributive lattices, Boolean algebras, Stone algebras, Heyting algebras, semilattices and abelian groups. In many classes the finite endoprimal algebras turn out to be endodualisable. We show that this fails in general by proving that , regarded as either a bounded semilattice or upper-bounded semilattice is dualisable, endoprimal but not endodualisable. Received May 16, 1997; accepted in final form November 6, 1997.     

Representations of Loop Kac-Moody Lie Algebras

We study representations of the Loop Kac-Moody Lie algebra 𝔤 ?A, where 𝔤 is any Kac-Moody algebra and A is a ring of Laurent polynomials in n commuting variables. In particular, we study representations with finite dimensional weight spaces and their graded versions. When we specialize 𝔤 to be a finite dimensional or affine Lie algebra we obtain modules for toroidal Lie algebras.     

Sur les Algèbres Absolument Valuées Contenant un Élément Central Non Nul

Let A be an absolute valued algebra containing a nonzero central element a. We prove that A is finite dimensional in the two following cases :