Central series of cocommutative Hopf braces

TL;DR

This paper extends classical group and skew brace results to define and analyze central series of cocommutative Hopf braces, introducing new concepts like socle, annihilator, and homology formulas.

Contribution

It introduces the notions of central series, socle, and annihilator for cocommutative Hopf braces, and characterizes their central extensions and homology.

Findings

Defined left and right central series using a $igstar$-product.

Characterized central extensions relative to specific subcategories.

Established Hopf formulae for homology in the semi-abelian category.

Abstract

By extending some classical results known for groups and skew braces, we define and investigate central series of cocommutative Hopf braces. Both left and right central series are defined using a $\star$-product that measures the difference between the two algebra operations, and naturally leads to introducing the notions of socle and of annihilator of a cocommutative Hopf brace. We characterize the central extensions relative to the subcategories of cocommutative Hopf algebras and of commutative and cocommutative Hopf algebras, respectively. Since the category of cocommutative Hopf braces is semi-abelian and it has enough projectives with respect to the class of cleft extensions, one can then establish suitable Hopf formulae for their homology. These are expressed in terms of the corresponding notions of relative commutators of cocommutative Hopf braces. In particular, the one relative to the subcategory of commutative and cocommutative Hopf algebras turns out to be the Huq commutator.