Pre-Lie algebras, their multiplicative lattice, and idempotent endomorphisms

TL;DR

This paper explores the structure of pre-Lie algebras, introducing new concepts like pre-morphisms and pre-derivations, and investigates their ideal structure, lattice properties, and idempotent endomorphisms, advancing the algebraic theory of non-associative algebras.

Contribution

It introduces the notions of pre-morphism and pre-derivation for non-associative algebras and studies the ideal lattice and idempotent endomorphisms of pre-Lie algebras, connecting these to multiplicative lattice theory.

Findings

The commutator of two ideals in a pre-Lie algebra satisfies (Huq=Smith).

The multiplicative lattice of ideals in a pre-Lie algebra is well-structured.

Idempotent endomorphisms correspond to semidirect-product decompositions.

Abstract

We introduce the notions of pre-morphism and pre-derivation for arbitrary non-associative algebras over a commutative ring $k$ with identity. These notions are applied to the study of pre-Lie $k$-algebras and, more generally, Lie-admissible $k$-algebras. Associating with any algebra $(A,\cdot)$ its sub-adjacent anticommutative algebra $(A,[-,-])$ is a functor from the category of $k$-algebras with pre-morphisms to the category of anticommutative $k$-algebras. We describe the commutator of two ideals of a pre-Lie algebra, showing that the condition (Huq=Smith) holds for pre-Lie algebras. This allows to make use of all the notions concerning multiplicative lattices in the study of the multiplicative lattice of ideals of a pre-Lie algebra. We study idempotent endomorphisms of a pre-Lie algebra $L$, i.e., semidirect-product decompositions of $L$ and bimodules over $L$.