Lie algebras with quadratic dimension equal to 2

The quadratic dimension of a Lie algebra is defined as the dimension of the linear space spanned by all its invariant non-degenerate symmetric bilinear forms. We prove that a quadratic Lie algebra with quadratic dimension equal to 2 is a local Lie algebra, this is to say, it admits a unique maximal ideal. We describe local quadratic Lie algebras using the notion of double extension and characterize those with quadratic dimension equal to 2 by the study of the centroid of such Lie algebras. We also give some necessary or sufficient conditions for a Lie algebra to have quadratic dimension equal to 2. Examples of local Lie algebras with quadratic dimension larger than 2 are given.     

Commutative Power-Associative Nilalgebras of Nilindex 5

In this paper we study the structure of commutative power-associative nilalgebras of dimension 8 and nilindex ≤ 5 over a field of characteristic different from 2, 3 and 5. We prove that every algebra in this class verifies the identities x⁴y = 0 and x(x(x(x(xy)))) = 0. In particular, we finish the proof of the Albert’s problem [0] in the following case: every commutative power-associative nilalgebra of dimension ≤ 8 over a field of characteristic ≠ 2, 3 and 5 is solvable. The solvability of these algebras for dimension 4, 5 and 6 were proved in [0], [0] and [0] respectively.     

Embedding a quantum rank three quadric in a quantum P3

We continue the classification, begun in [11], [14] and [12], of quadratic Artin-Schelter regular algebras of global dimension 4 which map onto a twisted homogeneous coordinate ring of a quadric hypersurfcice in P³. In this paper, we consider those cases where the quadric has rank 3. We also give sufficient conditions for the point scheme of any quadratic regular algebra of global dimension 4 to be the graph of an automorphism.     

Binary lie algebras of small dimensions

We give a simple and shorter proof of the Gainov theorem in [1], which dealt with classifying non-Lie binary Lie algebras of dimension ≤4 over a field of characteristic ≠2. Concurrently, the case of characteristic 2 is treated, and we find out an exotic 4-dimensional non-Lie Mal'tsev algebra, which is a split extension of an irreducible 1-dimensional Mal'tsev module over a simple 3-dimensional Lie algebra. Translated fromAlgebra i Logika, Vol. 37, No. 3, pp. 320–328, May–June, 1998.     

Zur Struktur der vierdimensionalen quadratischen Algebren

Assuming properties, which are essential for division algebras, but mostly invariant to extensions of the ground field, we investigate the structure of quadratic division algebras of dimension four over an arbitrary field of characteristic not two. We relate the size of the group of automorphisms of such an algebra A to algebraic laws valid in A, characterize Lie-admissibility by means of the skew-commutative vector algebra of A and outline the possibilities of describing A by irreducible identities of degree 3. Some results of the last chapter apply to arbitrary dimensions. We show, that a simple quadratic algebra with the right (left) inverse property for invertible elements is a composition algebra. Finally we conclude, that a quadratic division algebra of dimension four with a right (left) nucleus different from the center is associative.     

The Grunewald–O'Halloran Conjecture for Nilpotent Lie Algebras of Rank ≥1

Grunewald and O'Halloran conjectured in 1993 that every complex nilpotent Lie algebra is the degeneration of another, nonisomorphic, Lie algebra. We prove the conjecture for the class of nilpotent Lie algebras admitting a semisimple derivation, and also for 7-dimensional nilpotent Lie algebras. The conjecture remains open for characteristically nilpotent Lie algebras of dimension grater than or equal to 8.     

Anosov Lie algebras and algebraic units in number fields

We study nilmanifolds admitting Anosov automorphisms by applying elementary properties of algebraic units in number fields to the associated Anosov Lie algebras. We identify obstructions to the existence of Anosov Lie algebras. The case of 13-dimensional Anosov Lie algebras is worked out as an illustration of the technique. Also, we recapture the following known results: (1) Every 7-dimensional Anosov nilmanifold is toral, and (2) every 8-dimensional Anosov Lie algebra with 3 or 5-dimensional derived algebra contains an abelian factor.     

Levels and sublevels of composition algebras over \mathfrak{p}-adic function fields

In [7], the level and sublevel of composition algebras are studied, wherein these quantities are determined for those algebras defined over local fields. In this paper, the level and sublevel of composition algebras, of dimension 4 and 8 over rational function fields over local non-dyadic fields, are determined completely in terms of the local ramification data of the algebras. The proofs are based on the “classification” of quadratic forms over such fields, as is given in [8]. The first author gratefully acknowledges financial support provided through the European Community’s Human Potential Programme, under contract HPRN-CT-2002-00287 KTAGS, which made possible an enjoyable stay at Ghent University.     

The double sign of a real division algebra of finite dimension greater than one

For any real division algebra A of finite dimension greater than one, the signs of the determinants of left multiplication and right multiplication by an element a ∈ A?{0} are shown to form an invariant of A, called its double sign. For each n ∈ {2, 4, 8}, the double sign causes the category $\mathbb {D}_nFor any real division algebra A of finite dimension greater than one, the signs of the determinants of left multiplication and right multiplication by an element a ∈ A?{0} are shown to form an invariant of A, called its double sign. For each n ∈ {2, 4, 8}, the double sign causes the category $\mathbb {D}_n$ of all n‐dimensional real division algebras to decompose into four blocks. The structures of these blocks are closely related, and their relationship is made precise for a sample of full subcategories of $\mathscr {D}_n$.     

On Gelfand-Kirillov Transcendence Degree

We study some basic properties of the Gelfand-Kirillov transcendence degree and compute the transcendence degree of various infinite-dimensional division algebras including quotient division algebras of quantized algebras related to quantum groups, 3-dimensional Artin-Schelter regular algebras and the 4-dimensional Sklyanin algebra.

     

Quadratic division algebras revisited (Remarks on an article by J. M. Osborn)

In his remarkable article ``Quadratic division algebras' (Trans. Amer. Math. Soc. 105 (1962), 202-221), J. M. Osborn claims to solve `the problem of determining all quadratic division algebras of order 4 over an arbitrary field of characteristic not two modulo the theory of quadratic forms over ' (cf. p. 206). While we shall explain in which respect he has not achieved this goal, we shall on the other hand complete Osborn's basic results (by a reasoning which is finer than his) to derive in the real ground field case a classification of all 4-dimensional quadratic division algebras and the construction of a 49-parameter family of pairwise nonisomorphic 8-dimensional quadratic division algebras.

To make these points clear, we begin by reformulating Osborn's fundamental observations on quadratic algebras in categorical terms.

     

Invariant Theory for Non-Associative Real Two-Dimensional Algebras and Its Applications

The set ${\mathcal A}$ of all non-associative algebra structures on a fixed 2-dimensional real vector space $A$ is naturally a ${\mbox{\rm GL}}(2,{\mbox{\bf R}})$-module. We compute the ring of ${\mbox{\rm SL}}(2,{\mbox{\bf R}})$-invariants in the ring of polynomial functions, ${\mathcal P}$, on ${\mathcal A}$. We use invariant theory to compute the exact number of nonzero idempotents of an arbitrary 2-dimensional real division algebra. We show that the absolute invariants (i.e.,the ${\mbox{\rm GL}}(2, {\mbox{\bf R}})$-invariants in the field of fractions of ${\mathcal P}$) distinguish the isomorphism classes of 2-dimensional non-associative real division algebras. We show that the (open) set $\Omega^+\subset{\mathcal A}$ of all division algebra structures on $A$ has four connected components. A similar result is proved for another class of regular 2-dimensional real algebras (the principal isotopes of the algebra ${\mbox{\bf R}}\oplus{\mbox{\bf R}}$).     

Matrix representations of octonions and their applications

As is well-known, the real quaternion division algebra ℍ is algebraically isomorphic to a 4-by-4 real matrix algebra. But the real division octonion algebra can not be algebraically isomorphic to any matrix algebras over the real number field ℝ, because is a non-associative algebra over ℝ. However since is an extension of ℍ by the Cayley-Dickson process and is also finite-dimensional, some pseudo real matrix representations of octonions can still be introduced through real matrix representations of quaternions. In this paper we give a complete investigation to real matrix representations of octonions, and consider their various applications to octonions as well as matrices of octonions.     

Prime-Dimensional Hopf Algebras

Ｐｒｉｍｅ－ＤｉｍｅｎｓｉｏｎａｌＨｏｐｆＡｌｇｅｂｒａｓＣａｉＣｈｕａｎｒｅｎ（蔡传仁）ａｎｄＣｈｅｎＨｕｉｘｉａｎｇ（陈惠香）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＹａｎｇｚｈｏｕＴｅａｃｈｅｒ＇ｓＣｏｌｌｅｇｅ，Ｊｉａｎｇｓｕ２２５...     

UNITARY GRASSMANNIANS OF DIVISION ALGEBRAS

We consider a central division algebra over a separable quadratic extension of a base field endowed with a unitary involution and prove 2-incompressibility of certain varieties of isotropic right ideals of the algebra. The remaining related projective homogeneous varieties are shown to be 2-compressible in general. Together with [17], where a similar issue for orthogonal and symplectic involutions has been treated, the present paper completes the study of Grassmannians of isotropic right ideals of division algebras.     

Invariance of dimension of p-subspaces in bernstein algebras *

The purpose of this paper is to prove that some vector subspaces, called p-subspaces, obtained from the Peirce decomposition of a Bernstein algebra A relative to an idempotent have dimensions which are independent of the idempotent used to decompose A. In particular, for Bernstein-Jordan algebras, this fact is true for every such subspace and this implies that all p-subspaces of a Bernstein algebra, contained in V, for A = Ke + U + V, have invariant dimension. Finally we classify all p-subspaces of degree ≥ 3, contained in U, in a Bernstein algebra A, relative to the invariance (or not) of dimension.     

Extended Grassmann and Clifford Algebras

This paper is intended to investigate Grassmann and Clifford algebras over Peano spaces, introducing their respective associated extended algebras, and to explore these concepts also from the counterspace viewpoint. The presented formalism explains how the concept of chirality stems from the bracket, as defined by Rota et all [1]. The exterior (regressive) algebra is shown to share the exterior (progressive) algebra in the direct sum of chiral and achiral subspaces. The duality between scalars and volume elements, respectively under the progressive and the regressive products is shown to have chirality, in the case when the dimension n of the Peano space is even. In other words, the counterspace volume element is shown to be a scalar or a pseudoscalar, depending on the dimension of the vector space to be respectively odd or even. The de Rham cochain associated with the differential operator is constituted by a sequence of exterior algebra homogeneous subspaces subsequently chiral and achiral. Thus we prove that the exterior algebra over the space and the exterior algebra constructed on the counterspace are only pseudoduals each other, if we introduce chirality. The extended Clifford algebra is introduced in the light of the periodicity theorem of Clifford algebras context, wherein the Clifford and extended Clifford algebras can be embedded in which is shown to be exactly the extended Clifford algebra. We present the essential character of the Rota’s bracket, relating it to the formalism exposed by Conradt [25], introducing the regressive product and subsequently the counterspace. Clifford algebras are constructed over the counterspace, and the duality between progressive and regressive products is presented using the dual Hodge star operator. The differential and codifferential operators are also defined for the extended exterior algebras from the regressive product viewpoint, and it is shown they uniquely tumble right out progressive and regressive exterior products of 1-forms. R. da Rocha is supported by CAPES     

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.     

Algebras whose right nucleus is a central simple algebra

We generalize Amitsur's construction of central simple algebras over a field F which are split by field extensions possessing a derivation with field of constants F to nonassociative algebras: for every central division algebra D over a field F of characteristic zero there exists an infinite-dimensional unital nonassociative algebra whose right nucleus is D and whose left and middle nucleus are a field extension K of F splitting D, where F is algebraically closed in K.We then give a short direct proof that every p-algebra of degree m, which has a purely inseparable splitting field K of degree m and exponent one, is a differential extension of K and cyclic. We obtain finite-dimensional division algebras over a field F of characteristic $p>0$ whose right nucleus is a division p-algebra.