Universal strict general actors and actors in categories of interest (Q2268748): Difference between revisions

For any category of interest \({\mathcal C}\) [in the of sense of \textit{G. Orzech}, J. pure appl. Algebra 2, 287--314 (1972; Zbl 0251.18016)], the authors define a general category of groups with operations \({\mathcal C}_G\), \({\mathcal C}\hookrightarrow{\mathcal C}_G\), and a universal strict general actor USGA(\(A\)) of an object \(A\) in \({\mathcal C}\), which is an object of \({\mathcal C}_G\). The notion of actor is equivalent to the one of split extension classifier defined for an object in more general settings of semi-abelian categories. It is proved that there exists an actor of \(A\) in \({\mathcal C}\) if and only if the semidirect product USGA\((A)\propto A\) is an object of \({\mathcal C}_G\) and if it is the case, then USGA(\(A\)) is an actor of \(A\). A construction of a universal strict general actor for any \(A \in{\mathcal C}_G\), which helps to detect more properties of this object, is given. The cases of groups, Lie, Leibniz, associative, commutative associative, alternative algebras, crossed and precrossed modules are considered. The examples of algebras are given, for which actors always exist.