Universal strict general actors and actors in categories of interest (Q2268748)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Universal strict general actors and actors in categories of interest |
scientific article |
Statements
Universal strict general actors and actors in categories of interest (English)
0 references
9 March 2010
0 references
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.
0 references
action
0 references
group with operations
0 references
category of interest
0 references
associative algebra
0 references
Lie algebra
0 references
Leibniz algebra
0 references
alternative algebra
0 references
crossed module
0 references