Bimodule herds.

DOI10.1016/J.JALGEBRA.2009.01.020MaRDI QIDQ1028313zbMATH OpenOpenAlexFDO

Authors Tomasz Brzeziński, Joost Vercruysse

Publication date 30 June 2009

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0805.2510

zbMATH Keywords

torsorscoringsentwining structuresfaithfully flat Hopf algebrasGalois comodulesbicomodule coherdsbimodule herds

Mathematics Subject Classification ID

Bimodules in associative algebras (16D20)

Abstract: The notion of a bimodule herd is introduced and studied. A bimodule herd consists of a $B$-$A$ bimodule, its formal dual, called a pen, and a map, called a shepherd, which satisfies untiality and coassociativity conditions. It is shown that every bimodule herd gives rise to a pair of corings and coactions. If, in addition, a bimodule herd is tame i.e. it is faithfully flat and a progenerator, then these corings are associated to entwining structures; the bimodule herd is a Galois comodule of these corings. The notion of a bicomodule coherd is introduced as a formal dualisation of the definition of a bimodule herd. Every bicomodule coherd defines a pair of (non-unital) rings. It is shown that a tame $B$-$A$ bimodule herd defines a bicomodule coherd, and sufficient conditions for the derived rings to be isomorphic to $A$ and $B$ are discussed. The composition of bimodule herds via the tensor product is outlined. The notion of a bimodule herd is illustrated by the example of Galois co-objects of a commutative, faithfully flat Hopf algebra.

Recommendations

• On comatrix corings and bimodules.
• The bicategories of corings.
• Comatrix Coring Generalized and Equivalences of Categories of Comodules
• Compatibility Conditions Between Rings and Corings
• Galois comodules.

Cites work

• scientific article; zbMATH DE number 2185593 (Why is no real title available?)
• scientific article; zbMATH DE number 5159347 (Why is no real title available?)
• scientific article; zbMATH DE number 4073251 (Why is no real title available?)
• scientific article; zbMATH DE number 193191 (Why is no real title available?)
• scientific article; zbMATH DE number 1993749 (Why is no real title available?)
• scientific article; zbMATH DE number 2152046 (Why is no real title available?)
• Brauer groups, Hopf algebras and Galois theory
• Comatrix corings and Galois comodules over firm rings.
• Comatrix corings: Galois corings, descent theory, and a structure theorem for cosemisimple corings.
• Equivalences between categories of modules and categories of comodules.
• Frobenius and separable functors for generalized module categories and nonlinear equations
• Galois comodules.
• Hopf bigalois extensions
• Modules with decompositions that complement direct summands
• Morita theory for coring extensions and cleft bicomodules.
• On Galois Comodules
• Quantum heaps, cops and heapy categories
• Quantum torsors
• Representation theory of Hopf Galois extensions
• The ``closed subgroup theorem for localic herds and pregroupoids
• The structure of corings: induction functors, Maschke-type theorem, and Frobenius and Galois-type properties
• The ternary operation (𝑎𝑏𝑐)=𝑎𝑏⁻¹𝑐 of a group

Cited in

(3)

• Torsors, herds and flocks
• Pre-torsors and Galois comodules over mixed distributive laws
• The Eilenberg-Moore category and a Beck-type theorem for a Morita context

This page was built for publication: Bimodule herds.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1028313)