On Universal Central Extensions of Leibniz Algebras

We construct the endofunctor 𝔲𝔠𝔢 between the category of Leibniz algebras which assigns to a perfect Leibniz algebra its universal central extension, and we obtain the isomorphism 𝔲𝔠𝔢_Lie(𝔮_Lie) ? (𝔲𝔠𝔢_Leib(𝔮))_Lie, where 𝔮 is a perfect Leibniz algebra satisfying the condition [x, [x, y]] + [[x, y], x] = 0, for all x, y ∈ 𝔮. Moreover, we obtain several results concerning the lifting of automorphisms and derivations in a covering. We also study the relationship between the universal central extension of a semidirect product of perfect Leibniz algebras and the semidirect product of the universal central extension of both of them.     

Hyperbolic Involutions and Quadratic Extensions

This is a variation on a theme of Bayer-Fluckiger, Shapiro, and Tignol related to hyperbolic involutions. More precisely, criteria for the hyperbolicity of involutions of quadratic extensions of simple algebras and involutions of the form σ ? τ and σ ? ρ, where σ is an involution of a central simple algebra A, τ is the nontrivial automorphism of a quadratic extension of the center of A, and ρ is an involution of a quaternion algebra are obtained.     

Universal Central Extensions of Lie Groups

We call a central Z-extension of a group G weakly universal for an Abelian group A if the correspondence assigning to a homomorphism ZA the corresponding A-extension yields a bijection of extension classes. The main problem discussed in this paper is the existence of central Lie group extensions of a connected Lie group G which is weakly universal for all Abelian Lie groups whose identity components are quotients of vector spaces by discrete subgroups. We call these Abelian groups regular. In the first part of the paper we deal with the corresponding question in the context of topological, Fréchet, and Banach–Lie algebras, and in the second part we turn to the groups. Here we start with a discussion of the weak universality for discrete Abelian groups and then turn to regular Lie groups A. The main results are a Recognition and a Characterization Theorem for weakly universal central extensions.     

The solution to the embedding problem of a (differential) Lie algebra into its Wronskian envelope

Any commutative algebra equipped with a derivation may be turned into a Lie algebra under the Wronskian bracket. This provides an entirely new sort of a universal envelope for a Lie algebra, the Wronskian envelope. The main result of this paper is the characterization of those Lie algebras which embed into their Wronskian envelope as Lie algebras of vector fields on a line. As a consequence we show that, in contrast to the classical situation, free Lie algebras almost never embed into their Wronskian envelope.     

Codimension Growth of Strong Lie Nilpotent Associative Algebras

We study Lie nilpotent varieties of associative algebras. We explicitly compute the codimension growth for the variety of strong Lie nilpotent associative algebras. The codimension growth is polynomial and found in terms of Stirling numbers of the first kind. To achieve the result we take the free Lie algebra of countable rank L(X), consider its filtration by the lower central series and shift it. Next we apply generating functions of special type to the induced filtration of the universal enveloping algebra U(L(X)) = A(X).     

On the First Galois Cohomology Group of the Algebraic Group SL1(D)

Let A be a central simple algebra over a field F. Denote the reduced norm of A over F by Nrd: A* → F* and its kernel by SL₁(A). For a field extension K of F, we study the first Galois Cohomology group H ¹(K,SL₁(A)) by two methods, valuation theory for division algebras and K-theory. We shall show that this group fails to be stable under purely transcendental extension and formal Laurent series.     

Algebras with bracket

An algebra with bracket is an associative algebra A equipped with a bilinear operation [−,−] satisfying [a · b, c] = [a, c]·b+a · [b, c]. Our main result claims that the operad corresponding to algebras with bracket is Koszul.     

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.     

Functorial Properties of Star Operations

We define a universal star operation to be an assignment *: A ? * _A of a star operation * _A on A to every integral domain A. Prime examples of universal star operations include the divisorial closure star operation v, the t-closure star operation t, and the star operation w = F _∞ of Hedstrom and Houston. For any universal star operation *, we say that an extension B ? A of integral domains is *-ideal class linked if there is a group homomorphism Cl_{* A} (A) → Cl_{* B} (B) of star class groups induced by the map I ? (IB)^{* _B} on the set of * _A -ideals I of A. We study several natural subclasses of the class of *-ideal class linked extensions.     

More on the Hochschild and Cyclic Homologies of Crossed Modules of Algebras

We investigate the Hochschild and cyclic homologies of crossed modules of algebras in some special cases. We prove that the cotriple cyclic homology of a crossed module of algebras (I, A, ρ) is isomorphic to HC _*(ρ): HC _*(I) → HC _*(A), provided I is H-unital and the ground ring is a field with characteristic zero. We also calculate the Hochschild and cyclic homologies of a crossed module of algebras (R, 0, 0) for each algebra R with trivial multiplication. At the end, we give some applications proving a new five term exact sequence.     

Homology of Centralizers

Given a group Π, we study the group homology of centralizers Π _g , g ? Π, and of their central quotients Π _g /〈 g〉. This study is motivated by the structure of the Hochschild and the cyclic homology of group algebras, and is based on Quillen's approach to the cyclic homology of algebras via algebra extensions. A method of computing the de Rham complex of a group algebra by means of a Gruenberg resolution is also developed.     

Four-Dimensional Real Third-Power Associative Division Algebras

We study third-power associative division algebras A over a field 𝕂 of characteristic different from 2. Those algebras having dimension ≤2 are commutative. When 𝕂 is the field ? of real numbers, those algebras having dimension 4 are power-commutative in each of the following two cases:

1. A contains a central element;

2. A satisfies the additional identity (x, x³, x) = 0.

     

On Clean Rings

A ring R is called clean if every element of R is the sum of an idempotent and a unit. Let M be a R-module. It is obtained in this article that the endomorphism ring End(M) is clean if and only if, whenever A = M′ ⊕ B = A₁ ⊕ A₂ with M′ ? M, there is a decomposition M′ =M₁ ⊕ M₂ such that A = M′ ⊕ [A₁ ∩ (M₁ ⊕ B)] ⊕ [A₂ ∩ (M₂ ⊕ B)]. Then unit-regular endomorphism rings are also described by direct decompositions.     

Tree Oriented Pullback

Given two epimorphisms of algebras A ? B and C ? B, we consider the pullback R. We introduce a particular class of algebras, the tree oriented pullback, where there is a close relationship between the category of indecomposable modules of these algebras. This leads us to prove that if A and C are hereditary algebras, then R is a tilted algebra.     

A Note on K-Theory of Azumaya Algebras

For an Azumaya algebra A which is free over its centre R, we prove that K-theory of A is isomorphic to K-theory of R up to its rank torsions. We conclude that K _i (A, ?/m) = K _i (R, ?/m) for any m relatively prime to the rank and i ≥ 0. This covers, for example, K-theory of division algebras, K-theory of Azumaya algebras over semilocal rings, and K-theory of graded central simple algebras indexed by a totally ordered abelian group.     

A Decomposition Theorem for CK1 of Central Simple Algebras

Let A be a central simple algebra over its center F. Define CK₁ A = Coker(K₁ F → K₁ A). We prove that if A and B are F-central simple algebras of coprime degrees, then CK₁(A? _F B) = CK₁ A × CK₁ B.     

Smash Products of H-Simple Module Algebras

Let H be a finite-dimensional Hopf algebra and A a finite-dimensional H-simple left H-module algebra. We show that the smash product A#H is isomorphic to End _A′(V ? H*), where V ≠ 0 is a finite-dimensional left A-module and (A′, V′) the stabilizer of (A, V). As an application it is proved that A#H is isomorphic to a full matrix algebra over A′ when H is semisimple and dim V|dim A.     

Algebraic geometry over free metabelian lie algebras. I. U-algebras and universal classes

This paper is the first in a series of three, the object of which is to lay the foundations of algebraic geometry over the free metabelian Lie algebra F. In the current paper, we introduce the notion of a metabelian U-Lie algebra and establish connections between metabelian U-Lie algebras and special matrix Lie algebras. We define the Δ-localization of a metabelian U-Lie algebra A and the direct module extension of the Fitting radical of A and show that these algebras lie in the universal closure of A. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 9, No. 3, pp. 37–63, 2003.     

Derivations nilpotent on subsets of prime rings

ABSTRACT

Let D be a division algebra with center F. Consider the group CK ₁(D) = D*/F*D′ where D* is the group of invertible elements of D and D′ is its commutator subgroup. In this note we shall show that, assuming a division algebra D is a product of cyclic algebras, the group CK ₁(D) is trivial if and only if D is an ordinary quaternion algebra over a real Pythagorean field F. We also characterize the cyclic central simple algebras with trivial CK ₁ and show that CK ₁ is not trivial for division algebras of index 4. Using valuation theory, the group CK ₁(D) is computed for some valued division algebras.