Actions in the Category of Precrossed Modules in Lie Algebras

For any object L in the category of precrossed modules in Lie algebras PXLie, we construct the object Act(L), which we call the actor of this object. From this construction, we derive the notions of action, center, semidirect product, derivation, commutator, and abelian precrossed module in PXLie. We show that the notion of action is equivalent to the one given in semi-abelian categories, and Act(L) is the split extension classifier for L. In the case of a crossed module in Lie algebras we show how to recover its actor in the category of crossed modules from its actor in the category of precrossed modules.     

Baer Invariants and Cohomology of Precrossed Modules

In this paper we study Baer invariants of precrossed modules relative to the subcategory of crossed modules, following Fröhlich and Furtado-Coelho’s general theory on Baer invariants in varieties of Ω-groups and Modi’s theory on higher dimensional Baer invariants. Several homological invariants of precrossed and crossed modules were defined in the last two decades. We show how to use Baer invariants in order to connect these various homology theories. First, we express the low-dimensional Baer invariants of precrossed modules in terms of a new non-abelian tensor product of a precrossed module. This expression is used to analyze the connection between the Baer invariants and the homological invariants of precrossed modules defined by Conduché and Ellis. Specifically we prove that the second homological invariant of Conduché and Ellis is in general a quotient of the first component of the Baer invariant we consider. The definition of classical Baer invariants is generalized using homological methods. These generalized Baer invariants of precrossed modules are applied to the construction of five term exact sequences connecting the generalized Baer invariants with the cohomology theory of crossed modules considered by Carrasco, Cegarra and R.-Grandjeán and the cohomology theory of precrossed modules.     

Central Extensions of Precrossed Modules

We classify the precrossed module central extensions using the second cohomology group of precrossed modules. We relate these central extensions to the relative central group extensions of Loday, and to other notions of centrality defined in general contexts. Finally we establish a Universal Coefficient Theorem for the (co)homology of precrossed modules, which we use to describe the precrossed module central extensions in terms of the generalized Galois theory developed by Janelidze.     

Ganea Term for the Homology of Precrossed Modules

We construct a Ganea term for the homology of precrossed modules, which generalizes the classical Ganea term for the integral homology of groups. We also introduce a central precrossed submodule which relates the Ganea term with capable, unicentral and perfect precrossed modules. Finally, we apply these constructions to the resolution of some open questions in the theory of universal central extensions of precrossed and crossed modules.     

A non-abelian tensor product of precrossed modules in lie algebras

Abstract

In this paper, we introduce the non-abelian tensor square of precrossed modules in Lie algebras and investigate some of its properties. In particular, for an arbitrary Lie algebra L, we study the relation of the second homology of a precrossed L-module and the non-abelian exterior square. Also, we show how this non-abelian tensor product is related to the universal central extensions (with respect to the subcategory of crossed modules) of a precrossed module.     

On universal central extensions of precrossed and crossed modules

We study the connection between universal central extensions in the categories of precrossed and crossed modules. They are compared with several kinds of universal central extensions in the categories of groups, epimorphisms of groups, groups with operators and modules over a group. We study the relationship between the homologies defined in these categories. Applications to relative algebraic K-theory are also obtained.     

Ideals and clots in universal algebra and in semi-abelian categories

We clarify the relationship between basic constructions of semi-abelian category theory and the theory of ideals and clots in universal algebra. To name a few results in this frame, which establish connections between hitherto separated subjects, 0-regularity in universal algebra corresponds to the requirement that regular epimorphisms are normal; we describe clots in categorical terms and show that ideals are images of clots under regular epimorphisms; we show that the relationship between internal precrossed modules and internal reflexive graphs extends the relationship between compatible reflexive binary relations and clots.     

Higher Hopf formulae for homology via Galois Theory

We use Janelidze's Categorical Galois Theory to extend Brown and Ellis's higher Hopf formulae for homology of groups to arbitrary semi-abelian monadic categories. Given such a category A and a chosen Birkhoff subcategory B of A, thus we describe the Barr-Beck derived functors of the reflector of A onto B in terms of centralization of higher extensions. In case A is the category Gp of all groups and B is the category Ab of all abelian groups, this yields a new proof for Brown and Ellis's formulae. We also give explicit formulae in the cases of groups vs. k-nilpotent groups, groups vs. k-solvable groups and precrossed modules vs. crossed modules.     

The tensor product of Gorenstein-projective modules over category algebras

For a finite free and projective EI category, we prove that Gorenstein-projective modules over its category algebra are closed under the tensor product if and only if each morphism in the given category is a monomorphism.     

Algebras Graded by Discrete Doi–Hopf Data and the Drinfeld Double of a Hopf Group-Coalgebra

We study Doi–Hopf data and Doi–Hopf modules for Hopf group-coalgebras. We introduce modules graded by a discrete Doi–Hopf datum; to a Doi–Hopf datum over a Hopf group coalgebra, we associate an algebra graded by the underlying discrete Doi–Hopf datum, using a smash product type construction. The category of Doi–Hopf modules is then isomorphic to the category of graded modules over this algebra. This is applied to the category of Yetter–Drinfeld modules over a Hopf group coalgebra, leading to the construction of the Drinfeld double. It is shown that this Drinfeld double is a quasitriangular ${\mathbb{G}}$ -graded Hopf algebra.     

Tensor product decomposition rules for weight modules over the Hopf–Ore extensions of group algebras

In this paper, we investigate the tensor structure of the category of finite- dimensional weight modules over the Hopf–Ore extensions kG(χ^?1,a,0) of group algebras kG. The tensor product decomposition rules for all indecomposable weight modules are explicitly given under the assumptions that k is an algebraically closed field of characteristic zero, and the orders of χ and χ(a) are the same.     

Making the Category of Doi-Hopf Modules into a Braided Monoidal Category

We investigate how the category of Doi-Hopf modules can be made into a monoidal category. It suffices that the algebra and coalgebra in question are both bialgebras with some extra compatibility relation. We study tensor identies for monoidal categories of Doi-Hopf modules. Finally, we construct braidings on a monoidal category of Doi-Hopf modules. Our construction unifies quasitriangular and coquasitriangular Hopf algebras, and Yetter-Drinfel'd modules.     

Cleft Comodule Categories

We define crossed product categories and we show that they are equivalent with cleft comodule categories. We also prove that a comodule category is cleft if and only if it is Hopf–Galois and has a normal basis. As an application we show that the category of Hopf modules over a cleft linear category and the category of modules over the coinvariant subcategory are equivalent.     

Universal Strict General Actors and Actors in Categories of Interest

For any category of interest ℂ we define a general category of groups with operations \mathbbC_G, \mathbbC\hookrightarrow\mathbbC_G\mathbb{C_G}, \mathbb{C}\hookrightarrow\mathbb{C_G}, and a universal strict general actor USGA(A) of an object A in ℂ, which is an object of \mathbbC_G\mathbb{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 ℂ if and only if the semidirect product \textUSGA(A)\ltimes A{\text{USGA}}(A)\ltimes A is an object of ℂ and if it is the case, then USGA(A) is an actor of A. We give a construction of a universal strict general actor for any A ∈ ℂ, which helps to detect more properties of this object. 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 always exist actors.     

Group schemes of period 2

We give an explicit construction of the antiequivalence of the category of finite flat commutative group schemes of period 2 defined over a valuation ring of a 2-adic field with algebraically closed residue field and a suitable category of filtered modules. This result extends the earlier author’s approach to group schemes of period p > 2 from Proceedings LMS, 101, 2010, 207–259.     

弱Hopf代数上的弱Alternative Doi-Hopf模

该文首先引入了弱Hopf代数上的弱Alternative Doi-Hopf模,然后构造了从弱Alternative Doi-Hopf模范畴到模范畴(余模范畴)忘却函子的伴随函子.     

On functors between categories of modules over trusses

Categorical aspects of the theory of modules over trusses are studied. Tensor product of modules over trusses is defined and its existence established. In particular, it is shown that bimodules over trusses form a monoidal category. Truss versions of the Eilenberg-Watts theorem and Morita equivalence are formulated. Projective and small-projective modules over trusses are defined and their properties studied.     

Scalar Extension of Bicoalgebroids

After recalling the definition of a bicoalgebroid, we define comodules and modules over a bicoalgebroid. We construct the monoidal category of comodules, and define Yetter–Drinfel’d modules over a bicoalgebroid. It is proved that the Yetter–Drinfel’d category is monoidal and pre-braided just as in the case of bialgebroids, and is embedded into the one-sided center of the comodule category. We proceed to define braided cocommutative coalgebras (BCC) over a bicoalgebroid, and dualize the scalar extension construction of Brzeziński and Militaru (J Algebra 251:279–294, 2002) and Bálint and Szlachányi (J Algebra 296:520–560, 2006), originally applied to bialgebras and bialgebroids, to bicoalgebroids. A few classical examples of this construction are given. Identifying the comodule category over a bicoalgebroid with the category of coalgebras of the associated comonad, we obtain a comonadic (weakened) version of Schauenburg’s theorem. Finally, we take a look at the scalar extension and braided cocommutative coalgebras from a (co-)monadic point of view.      

One-Point Extensions of t-Koszul Algebras

We introduce the category of t-fold modules which is a full subcategory of graded modules over a graded algebra. We show that this subcategory and hence the subcategory of t-Koszul modules are both closed under extensions and cokernels of monomorphisms. We study the one-point extension algebras, and a necessary and sufficient condition for such an algebra to be t-Koszul is given. We also consider the conditions such that the category of t-Koszul modules and the category of quadratic modules coincide.