Matched Pairs of Leibniz Algebras

• Matched Pairs of Leibniz Algebras are systems where two Leibniz algebras interact via mutual actions, ensuring their direct sum forms a consistent Leibniz bracket.
• They underlie constructions like bicrossed products, playing a key role in addressing factorization problems and complement classifications in algebraic extensions.
• Their framework supports a rich cohomology theory and deformation analysis, connecting algebra extensions, Manin triples, and Leibniz bialgebra structures.

A matched pair of Leibniz algebras is a system of two Leibniz algebras equipped with mutual left and right actions whose compatibility conditions ensure that the direct sum carries a Leibniz bracket extending the brackets of the two factors. In the literature, matched pairs appear as the factorization-theoretic specialization of unified products, as the underlying datum for bicrossed products and complement classification, and as the input for cohomology, deformation, extension, Manin-triple, and Leibniz-bialgebra constructions (Agore et al., 2013, Lu et al., 20 Jul 2025, Sheng et al., 2019).

1. Definitional frameworks

A Leibniz algebra is a vector space $\mathfrak g$ with a bilinear bracket satisfying the left Leibniz identity

$$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$

If the bracket is skew-symmetric, this recovers the usual Jacobi identity (Sheng et al., 2019).

Three notational presentations of matched pairs are prominent in the cited literature.

Paper	Structural maps	Main emphasis
(Agore et al., 2013)	$$\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup$$	unified products, bicrossed products, complements
(Lu et al., 20 Jul 2025)	$\rho^l,\rho^r,\psi^l,\psi^r$	representations, cohomology, deformations, extensions
(Sheng et al., 2019)	$\rho^1_L,\rho^1_R,\rho^2_L,\rho^2_R$	Manin triples, Leibniz bialgebras, Yang–Baxter theory

In Agore–Militaru, a matched pair

$$(\mathfrak g,\mathfrak h,\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup)$$

consists of four bilinear maps

$$\triangleright:\mathfrak h\times \mathfrak g\to \mathfrak g,\qquad \triangleleft:\mathfrak h\times \mathfrak g\to \mathfrak h,\qquad \leftharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak h,\qquad \rightharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak g,$$

subject to twelve compatibility axioms (MP1)–(MP12). These include

$$(x\triangleleft g)\triangleleft h-(x\triangleleft h)\triangleleft g=x\triangleleft[g,h],$$

$$(g\leftharpoonup x)\leftharpoonup y-(g\leftharpoonup y)\leftharpoonup x=g\leftharpoonup\{x,y\},$$

together with mixed identities controlling how the two pairs of actions interact with both Leibniz brackets. Agore–Militaru state that these twelve conditions are exactly the specializations of the unified-product axioms (L1–L14) when the cocycle $f$ vanishes (Agore et al., 2013).

Lu–Zhang recast the same type of object by requiring $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$0 to be a representation of one Leibniz algebra on the underlying vector space of the other, $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$1 to be a representation in the opposite direction, and six further compatibility identities (1a)–(1f) to hold (Lu et al., 20 Jul 2025). Sheng–Tang similarly formulate a matched pair by four representation maps and six groups of identities (M1)–(M6) (Sheng et al., 2019). The common structural point is that a matched pair is not merely a pair of module structures; it is a mutually constrained action datum designed to make the sum algebraic.

2. Bicrossed products and the factorization problem

Given a matched pair in the sense of Sheng–Tang, the direct sum $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$2 carries the bracket

$$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$3

A direct computation shows that the Leibniz identity for this bracket holds if and only if the matched-pair identities hold (Sheng et al., 2019).

Agore–Militaru call the resulting object the bicrossed product, sometimes also the double cross sum, and identify it as the construction responsible for the factorization problem. In the same framework, crossed products are responsible for the extension problem, whereas bicrossed products are responsible for the factorization problem (Agore et al., 2013). This distinction is structurally important: a crossed product encodes how one algebra extends another, while a bicrossed product encodes how an ambient Leibniz algebra decomposes into complementary subalgebras.

The bicrossed product contains the two initial Leibniz algebras as complementary subalgebras. This complementary-subalgebra property is the basis for the later classification of complements and for the interpretation of matched pairs as algebraic factorization data.

3. Unified products, deformation maps, and classification of complements

Agore–Militaru place matched pairs inside a broader theory of unified products. For a Leibniz algebra $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$4 and a vector space $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$5 containing $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$6 as a subspace, they explicitly describe and classify all Leibniz algebra structures on $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$7 containing $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$8 as a subalgebra by two non-abelian cohomological type objects, one controlling classification up to an isomorphism that stabilizes $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$9 and one classifying such structures from the viewpoint of the extension problem (Agore et al., 2013).

For factorization, let $$\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup$$0 be a fixed Leibniz extension and choose a complement $$\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup$$1 such that

$$\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup$$2

Agore–Militaru then show that a second subalgebra $$\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup$$3 is again a complement of $$\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup$$4 if and only if it arises from a deformation map

$$\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup$$5

satisfying

$$\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup$$6

The corresponding $$\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup$$7-deformation of $$\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup$$8 has bracket

$$\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup$$9

Two deformation maps produce isomorphic complements precisely when they differ by a suitable gauge automorphism of $\rho^l,\rho^r,\psi^l,\psi^r$0. The set of isomorphism classes of complements is in bijection with

$\rho^l,\rho^r,\psi^l,\psi^r$1

Agore–Militaru further define the factorization index $\rho^l,\rho^r,\psi^l,\psi^r$2 as the cardinality of this cohomological object (Agore et al., 2013).

A common misunderstanding is to treat complements as rigid once one complement has been fixed. The complement-classification theorem shows that the space of complements can itself carry a nontrivial non-abelian moduli structure controlled by deformation maps and quotienting by gauge equivalence.

4. Representations of matched pairs and the cohomology complex

Lu–Zhang introduce a representation theory for matched pairs of Leibniz algebras. A representation of the matched pair $\rho^l,\rho^r,\psi^l,\psi^r$3 consists of two vector spaces $\rho^l,\rho^r,\psi^l,\psi^r$4 and $\rho^l,\rho^r,\psi^l,\psi^r$5, each carrying both an $\rho^l,\rho^r,\psi^l,\psi^r$6-module structure and an $\rho^l,\rho^r,\psi^l,\psi^r$7-module structure, together with four pairing maps

$\rho^l,\rho^r,\psi^l,\psi^r$8

satisfying 30 bilinear identities, namely Eqs. (3.1)–(3.30), so that one may form a semidirect-product matched pair $\rho^l,\rho^r,\psi^l,\psi^r$9 (Lu et al., 20 Jul 2025).

They define a cochain complex by decomposing cochains according to the number of $\rho^1_L,\rho^1_R,\rho^2_L,\rho^2_R$0- and $\rho^1_L,\rho^1_R,\rho^2_L,\rho^2_R$1-inputs. In low degrees,

$\rho^1_L,\rho^1_R,\rho^2_L,\rho^2_R$2

and

$\rho^1_L,\rho^1_R,\rho^2_L,\rho^2_R$3

For $\rho^1_L,\rho^1_R,\rho^2_L,\rho^2_R$4, the first differential is

$\rho^1_L,\rho^1_R,\rho^2_L,\rho^2_R$5

where

$\rho^1_L,\rho^1_R,\rho^2_L,\rho^2_R$6

$\rho^1_L,\rho^1_R,\rho^2_L,\rho^2_R$7

$\rho^1_L,\rho^1_R,\rho^2_L,\rho^2_R$8

$\rho^1_L,\rho^1_R,\rho^2_L,\rho^2_R$9

$$(\mathfrak g,\mathfrak h,\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup)$$0

$$(\mathfrak g,\mathfrak h,\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup)$$1

The higher differential $$(\mathfrak g,\mathfrak h,\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup)$$2 is arranged so that $$(\mathfrak g,\mathfrak h,\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup)$$3, and the paper states that its formulas follow the usual Eilenberg–Cartan pattern while intertwining the four actions and the two Leibniz brackets (Lu et al., 20 Jul 2025).

The resulting cohomology groups are

$$(\mathfrak g,\mathfrak h,\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup)$$4

with $$(\mathfrak g,\mathfrak h,\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup)$$5. This cohomology is explicitly adapted to matched-pair data rather than to a single Leibniz algebra in isolation.

5. Infinitesimal deformations, abelian extensions, and inducibility

In Lu–Zhang’s theory, $$(\mathfrak g,\mathfrak h,\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup)$$6 classifies one-cocycles $$(\mathfrak g,\mathfrak h,\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup)$$7 modulo inner ones and governs infinitesimal automorphisms of the semidirect product. A $$(\mathfrak g,\mathfrak h,\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup)$$8-cocycle

$$(\mathfrak g,\mathfrak h,\triangleright,\triangleleft,\leftharpoonup,\rightharpoonup)$$9

is precisely the datum needed to deform the matched-pair structure over $$\triangleright:\mathfrak h\times \mathfrak g\to \mathfrak g,\qquad \triangleleft:\mathfrak h\times \mathfrak g\to \mathfrak h,\qquad \leftharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak h,\qquad \rightharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak g,$$0: $$\triangleright:\mathfrak h\times \mathfrak g\to \mathfrak g,\qquad \triangleleft:\mathfrak h\times \mathfrak g\to \mathfrak h,\qquad \leftharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak h,\qquad \rightharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak g,$$1 and $$\triangleright:\mathfrak h\times \mathfrak g\to \mathfrak g,\qquad \triangleleft:\mathfrak h\times \mathfrak g\to \mathfrak h,\qquad \leftharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak h,\qquad \rightharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak g,$$2 deform the brackets on the two factors, $$\triangleright:\mathfrak h\times \mathfrak g\to \mathfrak g,\qquad \triangleleft:\mathfrak h\times \mathfrak g\to \mathfrak h,\qquad \leftharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak h,\qquad \rightharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak g,$$3 and $$\triangleright:\mathfrak h\times \mathfrak g\to \mathfrak g,\qquad \triangleleft:\mathfrak h\times \mathfrak g\to \mathfrak h,\qquad \leftharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak h,\qquad \rightharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak g,$$4 deform $$\triangleright:\mathfrak h\times \mathfrak g\to \mathfrak g,\qquad \triangleleft:\mathfrak h\times \mathfrak g\to \mathfrak h,\qquad \leftharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak h,\qquad \rightharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak g,$$5, and $$\triangleright:\mathfrak h\times \mathfrak g\to \mathfrak g,\qquad \triangleleft:\mathfrak h\times \mathfrak g\to \mathfrak h,\qquad \leftharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak h,\qquad \rightharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak g,$$6 and $$\triangleright:\mathfrak h\times \mathfrak g\to \mathfrak g,\qquad \triangleleft:\mathfrak h\times \mathfrak g\to \mathfrak h,\qquad \leftharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak h,\qquad \rightharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak g,$$7 deform $$\triangleright:\mathfrak h\times \mathfrak g\to \mathfrak g,\qquad \triangleleft:\mathfrak h\times \mathfrak g\to \mathfrak h,\qquad \leftharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak h,\qquad \rightharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak g,$$8. The condition $$\triangleright:\mathfrak h\times \mathfrak g\to \mathfrak g,\qquad \triangleleft:\mathfrak h\times \mathfrak g\to \mathfrak h,\qquad \leftharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak h,\qquad \rightharpoonup:\mathfrak g\times \mathfrak h\to \mathfrak g,$$9 is exactly the requirement that the deformed maps satisfy the matched-pair axioms up to $$(x\triangleleft g)\triangleleft h-(x\triangleleft h)\triangleleft g=x\triangleleft[g,h],$$0, and deformations differing by a coboundary $$(x\triangleleft g)\triangleleft h-(x\triangleleft h)\triangleleft g=x\triangleleft[g,h],$$1 are precisely the trivial ones induced by the linear change of coordinates $$(x\triangleleft g)\triangleleft h-(x\triangleleft h)\triangleleft g=x\triangleleft[g,h],$$2. Consequently,

$$(x\triangleleft g)\triangleleft h-(x\triangleleft h)\triangleleft g=x\triangleleft[g,h],$$3

in the notation of the paper (Lu et al., 20 Jul 2025).

The same cohomology controls abelian extensions. An abelian extension of a matched pair by the trivial matched pair $$(x\triangleleft g)\triangleleft h-(x\triangleleft h)\triangleleft g=x\triangleleft[g,h],$$4 is a short exact sequence of matched pairs

$$(x\triangleleft g)\triangleleft h-(x\triangleleft h)\triangleleft g=x\triangleleft[g,h],$$5

with central injections and with $$(x\triangleleft g)\triangleleft h-(x\triangleleft h)\triangleleft g=x\triangleleft[g,h],$$6 an ideal with trivial bracket. Choosing a linear section produces six bilinear forms $$(x\triangleleft g)\triangleleft h-(x\triangleleft h)\triangleleft g=x\triangleleft[g,h],$$7, and their cohomology class in $$(x\triangleleft g)\triangleleft h-(x\triangleleft h)\triangleleft g=x\triangleleft[g,h],$$8 is independent of the section. Lu–Zhang state a classification theorem giving mutually inverse maps

$$(x\triangleleft g)\triangleleft h-(x\triangleleft h)\triangleleft g=x\triangleleft[g,h],$$9

(Lu et al., 20 Jul 2025).

The paper also studies the inducibility of pairs of automorphisms. For an abelian extension, a pair $$(g\leftharpoonup x)\leftharpoonup y-(g\leftharpoonup y)\leftharpoonup x=g\leftharpoonup\{x,y\},$$0 is inducible if it comes from an automorphism of the total extension preserving the ideal. The necessary and sufficient conditions are: first, six bilinear compatibilities with the four actions; second, the condition that the twisted cocycle differs from the original cocycle by a coboundary $$(g\leftharpoonup x)\leftharpoonup y-(g\leftharpoonup y)\leftharpoonup x=g\leftharpoonup\{x,y\},$$1. This is organized by the Wells map

$$(g\leftharpoonup x)\leftharpoonup y-(g\leftharpoonup y)\leftharpoonup x=g\leftharpoonup\{x,y\},$$2

and by the exact sequence

$$(g\leftharpoonup x)\leftharpoonup y-(g\leftharpoonup y)\leftharpoonup x=g\leftharpoonup\{x,y\},$$3

Vanishing of the obstruction class $$(g\leftharpoonup x)\leftharpoonup y-(g\leftharpoonup y)\leftharpoonup x=g\leftharpoonup\{x,y\},$$4 is equivalent to inducibility (Lu et al., 20 Jul 2025).

6. Duality, Manin triples, Leibniz bialgebras, and Yang–Baxter structures

Sheng–Tang show that matched pairs occupy a central place in the duality theory of Leibniz algebras. For dual vector spaces $$(g\leftharpoonup x)\leftharpoonup y-(g\leftharpoonup y)\leftharpoonup x=g\leftharpoonup\{x,y\},$$5 and $$(g\leftharpoonup x)\leftharpoonup y-(g\leftharpoonup y)\leftharpoonup x=g\leftharpoonup\{x,y\},$$6 each equipped with a Leibniz algebra structure, the following are equivalent: $$(g\leftharpoonup x)\leftharpoonup y-(g\leftharpoonup y)\leftharpoonup x=g\leftharpoonup\{x,y\},$$7 is a Leibniz bialgebra; $$(g\leftharpoonup x)\leftharpoonup y-(g\leftharpoonup y)\leftharpoonup x=g\leftharpoonup\{x,y\},$$8 is a matched pair of Leibniz algebras; and $$(g\leftharpoonup x)\leftharpoonup y-(g\leftharpoonup y)\leftharpoonup x=g\leftharpoonup\{x,y\},$$9 is a Manin triple with respect to the natural pairing

$f$0

This is Theorem 3.3 in the paper (Sheng et al., 2019).

The matched-pair framework is then used to formulate several further structures. Relative Rota–Baxter operators are characterized as Maurer–Cartan elements in a graded Lie algebra of multilinear maps: $f$1 A symmetric element

$f$2

is called a classical Leibniz $f$3-matrix if

$f$4

Sheng–Tang prove that $f$5 solves the tensor Yang–Baxter equation if and only if its dual map $f$6 is a relative Rota–Baxter operator for the coadjoint representation. If such an $f$7 is nondegenerate, then $f$8 becomes a triangular Leibniz bialgebra (Sheng et al., 2019).

These results place matched pairs beyond factorization theory alone. They become the mechanism by which the direct-sum algebra $f$9 acquires the structure needed for quadratic, bialgebraic, and Yang–Baxter-type constructions.

7. Worked examples and low-dimensional phenomena

Agore–Militaru provide a detailed finite-dimensional example in which $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$00 is the $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$01-dimensional Lie algebra with basis $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$02 and bracket $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$03, while $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$04 is the $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$05-dimensional abelian Lie algebra with basis $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$06. The resulting bicrossed product $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$07 is a $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$08-dimensional Leibniz algebra with basis $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$09 and nonzero brackets

$$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$10

all other products being zero. The deformation maps can be computed explicitly, and there are exactly two isomorphism classes of complements, so the factorization index is

$$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$11

(Agore et al., 2013).

Lu–Zhang also analyze a trivial matched pair with $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$12, both one-dimensional abelian Leibniz algebras with all actions zero. Then the bicrossed product is the $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$13-dimensional abelian Leibniz algebra $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$14. Taking $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$15 also trivial, they compute that only the mixed components $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$16 survive in cohomology, yielding

$$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$17

Accordingly, abelian extensions of $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$18 by $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$19 are classified by $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$20 (Lu et al., 20 Jul 2025).

Sheng–Tang include the corresponding minimal example with one-dimensional abelian factors and all actions zero; every matched-pair identity reduces to $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$21, and the direct sum is again abelian of dimension $$[x,[y,z]_{\mathfrak g}]_{\mathfrak g} = [[x,y]_{\mathfrak g},z]_{\mathfrak g} + [y,[x,z]_{\mathfrak g}]_{\mathfrak g}.$$22 (Sheng et al., 2019). Together, these examples show three distinct scales of the theory: the trivial case, where the compatibility identities collapse; the cohomological case, where mixed terms control extension classes; and the genuinely nontrivial factorization case, where the set of complements has more than one isomorphism class.

Matched pairs of Leibniz algebras therefore form a nexus between explicit algebra construction, non-abelian complement classification, low-dimensional computation, cohomological deformation theory, automorphism obstruction theory, and the duality formalism of Leibniz bialgebras.