Abstract
Hopf braces have been introduced as a Hopf-theoretic generalization of skew braces. Under the assumption of cocommutativity, these algebraic structures are equivalent to matched pairs of actions on Hopf algebras, that can be used to produce solutions of the quantum Yang-Baxter equation. We prove that the category of cocommutative Hopf braces is semi-abelian and strongly protomodular. In particular, this implies that the main homological lemmas known for groups, Lie algebras and other classical algebraic structures also hold for cocommutative Hopf braces. Abelian objects are commutative and cocommutative Hopf algebras, that form an abelian Birkhoff subcategory of the category of cocommutative Hopf braces. Moreover, we show that the full subcategories of "primitive Hopf braces" and of "skew braces" form an hereditary torsion theory in the category of cocommutative Hopf braces, and that "skew braces" are also a Birkhoff subcategory and a localization of the latter category. Finally, we describe central extensions and commutators for cocommutative Hopf braces.
本页仅发布可检索的书目信息与作者摘要。HTML 正文、PDF 和 LaTeX 源文件是独立阅读资源，不作为搜索引擎落地内容。打开页面后会按浏览器语言自动翻译标题与摘要，并写入缓存。