Non-abelian Tensor Product of Leibniz Algebras and an Exact Sequence in Leibniz Homology

Abstract

Let 𝔪 and 𝔫 be two-sided ideals of a Leibniz algebra 𝔤 such that 𝔤 = 𝔪 + 𝔫. The goal of the paper is to achieve the exact sequence Ker(𝔪  𝔫 + 𝔫  𝔪 → 𝔤) → HL ₂(𝔤) → HL ₂(𝔤/𝔪) ⊕ HL ₂(𝔤/𝔫) → 𝔪 ∩ 𝔫/ [𝔪,𝔫] → HL ₁(𝔤) → HL ₁(𝔤/𝔪) ⊕ HL ₁(𝔤/𝔫) → 0, where HL denotes the Leibniz homology with trivial coefficients of a Leibniz algebra and denotes a non-abelian tensor product of Leibniz algebras.     

Leibniz and Hochschild homology

We construct and study the map from Leibniz homology HL_?(𝔥) of an abelian extension 𝔥 of a simple real Lie algebra 𝔤 to the Hochschild homology HH_??1(U(𝔥)) of the universal envelopping algebra U(𝔥). To calculate some homology groups, we use the Hochschild-Serre spectral sequences and Pirashvili spectral sequences. The result shows what part of the non-commutative Leibniz theory is detected by classical Hochschild homology, which is of interest today in string theory.     

Second Homology Groups and Universal Coverings of Steinberg Leibniz Algebras of Small Characteristic

It is known that the second Leibniz homology group HL ₂ (𝔰𝔱𝔩 _n (R)) of the Steinberg Leibniz algebra 𝔰𝔱𝔩 _n (R) is trivial for n ≥ 5. In this article, we determine HL ₂(𝔰𝔱𝔩 _n (R)) explicitly (which are shown to be not necessarily trivial) for n = 3, 4 without any assumption on the base ring.     

Some notes on the second homology of Leibniz algebras

Some properties of the second homology and cover of Leibniz algebras are established. By constructing a stem cover, the second Leibniz homology and cover of abelian, Heisenberg Lie algebras and cyclic Leibniz algebras are described. Also, for the dimension of a non-cyclic nilpotent Leibniz algebra L, we obtain dim(HL₂(L))≥2.     

Lattices of Subalgebras of Leibniz Algebras

I describe the lattice ?(L) of subalgebras of a one-generator Leibniz algebra L. Using this, I show that, apart from one special case, a lattice isomorphism φ: ?(L) → ?(L′) between Leibniz algebras L, L′ maps the Leibniz kernel Leib(L) of L to Leib(L′).     

The Classification of Naturally Graded p-Filiform Leibniz Algebras

In the present article the classification of n-dimensional naturally graded p-filiform (1 ≤ p ≤ n ? 4) Leibniz algebras is obtained. A splitting of the set of naturally graded Leibniz algebras into the families of Lie and non Lie Leibniz algebras by means of characteristic sequences (isomorphism invariants) is proved.     

Generalized Skew Derivations with Nilpotent Values in Prime Rings

Let ? be a prime ring, 𝒞 the extended centroid of ?, ? a Lie ideal of ?, F be a nonzero generalized skew derivation of ? with associated automorphism α, and n ≥ 1 be a fixed integer. If (F(xy) ? yx) ⁿ  = 0 for all x, y ∈ ?, then ? is commutative and one of the following statements holds:

(1) Either ? is central;

(2) Or ? ? M ₂(𝒞), the 2 × 2 matrix ring over 𝒞, with char(𝒞) = 2.     

A GENERALIZATION OF AUSLANDER–BUCHSBAUM AND BASS FORMULAS

Abstract

Given a contravariant functor F : 𝒞 → 𝒮ets for some category 𝒞, we say that F (𝒞) (or F) is generated by a pair (X, x) where X is an object of 𝒞 and x ∈ F(X) if for any object Y of 𝒞 and any y ∈ F(Y), there is a morphism f : Y → X such that F(f)(x) = y. Furthermore, when Y = X and y = x, any f : X → X such that F(f)(x) = x is an automorphism of X, we say that F is minimally generated by (X, x). This paper shows that if the ring R is left noetherian, then there exists a minimal generator for the functor ?xt (?, M) : ? → 𝒮ets, where M is a left R-module and ? is the class (considered as full subcategory of left R-modules) of injective left R-modules.     

On the toroidal Leibniz algebras

Toroidal Leibniz algebras are the universal central extensions of the iterated loop algebras g×C[t1^±1,...,tv^±1] in the category of Leibniz algebras. In this paper, some properties and representations of toroidal Leibniz algebras are studied. Some general theories of central extensions of Leibniz algebras are also obtained.     

Group Laws [x,y −1] ≡ u(x,y) and Varietal Properties

Let F = ?x, y? be a free group. It is known that the commutator [x, y ^?1] cannot be expressed in terms of basic commutators, in particular in terms of Engel commutators. We show that the laws imposing such an expression define specific varietal properties. For a property 𝒫 we consider a subset U(𝒫) ? F such that every law of the form [x, y ^?1] ≡ u, u ∈ U(𝒫) provides the varietal property 𝒫. For example, we show that each subnormal subgroup is normal in every group of a variety 𝔙 if and only if 𝔙 satisfies a law of the form [x, y ^?1] ≡ u, where u ∈ [F′, ?x?].     

Weak Cayley Table Groups II: Alternating Groups and Finite Coxeter Groups

A weak Cayley table isomorphism is a bijection φ: G → H of groups such that φ(xy) ～ φ(x)φ(y) for all x, y ∈ G. Here ～denotes conjugacy. When G = H the set of all weak Cayley table isomorphisms φ: G → G forms a group 𝒲(G) that contains the automorphism group Aut(G) and the inverse map I: G → G, x → x ^?1. Let 𝒲₀(G) = ?Aut(G), I? ≤ 𝒲(G) and say that G has trivial weak Cayley table group if 𝒲(G) = 𝒲₀(G). We show that all finite irreducible Coxeter groups (except possibly E ₈) have trivial weak Cayley table group, as well as most alternating groups. We also consider some sporadic simple groups.     

Über Die Assoziierten Primideale des Bidualen

Let (R, 𝔪) be a commutative, noetherian, local ring, E the injective hull of the residue field R/𝔪, and M ^○○ = Hom _R (Hom _R (M, E), E) the bidual of an R-module M. We investigate the elements of Ass(M ^○○) as well as those of Coatt(M) = {𝔭 ∈ Spec(R)|𝔭 = Ann _R (Ann _M (𝔭))} and provide criteria for equality in one of the two inclusions Ass(M) ? Ass(M ^○○) ? Coatt(M). If R is a Nagata ring and M a minimax module, i.e., an extension of a finitely generated R-module by an artinian R-module, we show that Ass(M ^○○) = Ass(M) ∪ {𝔭 ∈ Coatt(M)| R/𝔭 is incomplete}.     

Range-Inclusive Maps in Rings with Idempotents

Let 𝒜 be a ring, let ? be an 𝒜-bimodule, and let 𝒞 be the center of ?. A map F:𝒜 → ? is said to be range-inclusive if [F(x), 𝒜] ? [x, ?] for every x ∈ 𝒜. We show that if 𝒜 contains idempotents satisfying certain technical conditions (which we call wide idempotents), then every range-inclusive additive map F:𝒜 → ? is of the form F(x) = λx + μ(x) for some λ ∈ 𝒞 and μ:𝒜 → 𝒞. As a corollary we show that if 𝒜 is a prime ring containing an idempotent different from 0 and 1, then every range-inclusive additive map from 𝒜 into itself is commuting (i.e., [F(x), x] = 0 for every x ∈ 𝒜).     

The Wedderburn Principal Theorem for Generalized Almost-Jordan Algebras

We study commutative algebras A over fields of characteristic ≠2, 3 which satisfy the identity β{x(y(xx)) ? x(x(xy))} + γ{y(x(xx)) ? x(x(xy))} = 0. We do not assume power-associativity. We find the Peirce decomposition of these algebras. We prove the existence of a Wedderburn decomposition under some additional conditions.     

The Nilpotency Properties of the Leibniz Algebra Mn(C)D

We study the nilpotency properties of the Leibniz algebras constructed by means of D-mappings on the algebra of complex square matrices M _n (C). In particular, we obtain a criterion for nilpotency of these algebras in terms of the properties of a D-mapping. We prove also that the Leibniz algebras under consideration cannot be simple.     

On Certain Weak Engel-Type Conditions in Groups

Let w(x, y) be a word in two variables and 𝔚 the variety determined by w. In this paper we raise the following question: if for every pair of elements a, b in a group G there exists g ∈ G such that w(a ^g , b) = 1, under what conditions does the group G belong to 𝔚? In particular, we consider the n-Engel word w(x, y) = [x, _n y]. We show that in this case the property is satisfied when the group G is metabelian. If n = 2, then we extend this result to the class of all solvable groups.     

General solution of a simple Levi-Civitá functional equation on non-abelian groups

The general solution of the functional equation f(xy) = f(x)h(y) + f(y) on abelian groups is well-known. We present methods for solving this equation on various non-abelian groups. In particular we treat the equation on semidirect products, then extend this treatment to solvable groups. We also find the solution on perfect groups. These results also apply to the more general equation f(xy) = g(x)h(y) + k(y).