Year: 2023
Type: preprint
Abstract: First of all, we recall the well known notion of semidirect product both for classical algebraic structures (like groups and rings) and for more recent ones (digroups, left skew braces, heaps, trusses). Then we analyse the concept of semidirect product for an arbitrary algebra $A$ in a variety $\cal{V}$ of type~$\cal{F}$. An inner semidirect-product decomposition $A=B \ltimesω$ of $A$ consists of a subalgebra $B$ of $A$ and a congruence $ω$ on $A$ such that $B$ is a set of representatives of the congruence classes of $A$ modulo $ω$. An outer semidirect product is the restriction to $B$ of a functor from a suitable category $\cal{C}_B$ containing $B$, called the enveloping category of $B$, to the category Set$_*$ of pointed sets.
Source: arXiv (Cornell University)
Authors: Facchini, Alberto, Stanovský, David
Institutions: University of Padua, Charles University
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4388555338