A universal Kaluzhnin--Krasner embedding theorem

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Deval, Bo Shan, García-Martínez, Xabier, Van der Linden, Tim
Format: Preprint
Published: 2023
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866912077083312128
author Deval, Bo Shan
García-Martínez, Xabier
Van der Linden, Tim
author_facet Deval, Bo Shan
García-Martínez, Xabier
Van der Linden, Tim
contents Given two groups $A$ and $B$, the Kaluzhnin--Krasner universal embedding theorem states that the wreath product $A\wr B$ acts as a universal receptacle for extensions from $A$ to $B$. For a split extension, this embedding is compatible with the canonical splitting of the wreath product, which is further universal in a precise sense. This result was recently extended to Lie algebras and to cocommutative Hopf algebras. The aim of the present article is to explore the feasibility of adapting the theorem to other types of algebraic structures. By explaining the underlying unity of the three known cases, our analysis gives necessary and sufficient conditions for this to happen. From those we may for instance conclude that a version for crossed modules can indeed be attained, while the theorem cannot be adapted to, say, associative algebras, Jordan algebras or Leibniz algebras, when working over an infinite field: we prove that then, amongst non-associative algebras, only Lie algebras admit a universal Kaluzhnin--Krasner embedding theorem.
format Preprint
id arxiv_https___arxiv_org_abs_2306_15458
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle A universal Kaluzhnin--Krasner embedding theorem
Deval, Bo Shan
García-Martínez, Xabier
Van der Linden, Tim
Category Theory
Group Theory
Rings and Algebras
16B50, 16W25, 17A36, 18C05, 18E13, 20E22
Given two groups $A$ and $B$, the Kaluzhnin--Krasner universal embedding theorem states that the wreath product $A\wr B$ acts as a universal receptacle for extensions from $A$ to $B$. For a split extension, this embedding is compatible with the canonical splitting of the wreath product, which is further universal in a precise sense. This result was recently extended to Lie algebras and to cocommutative Hopf algebras. The aim of the present article is to explore the feasibility of adapting the theorem to other types of algebraic structures. By explaining the underlying unity of the three known cases, our analysis gives necessary and sufficient conditions for this to happen. From those we may for instance conclude that a version for crossed modules can indeed be attained, while the theorem cannot be adapted to, say, associative algebras, Jordan algebras or Leibniz algebras, when working over an infinite field: we prove that then, amongst non-associative algebras, only Lie algebras admit a universal Kaluzhnin--Krasner embedding theorem.
title A universal Kaluzhnin--Krasner embedding theorem
topic Category Theory
Group Theory
Rings and Algebras
16B50, 16W25, 17A36, 18C05, 18E13, 20E22
url https://arxiv.org/abs/2306.15458