A Leibniz algebra structure on the second tensor power.
Leibniz algebras are a non-commutative version of usual Lie algebras. We introduce a notion of (pre)crossed Leibniz algebra which is a simultaneous generalization of notions of representation and two-sided ideal of a Leibniz algebra. We construct the Leibniz algebra of biderivations on crossed Leibniz algebras and we define a non-abelian tensor product of Leibniz algebras. These two notions are adjoint to each other. A (co)homological characterization of these new algebraic objects enables us to...