Bimodule herds.

DOI10.1016/J.JALGEBRA.2009.01.020zbMATH Open1173.16016arXiv0805.2510OpenAlexW4205153503MaRDI QIDQ1028313FDOQ1028313

Authors: Tomasz Brzeziński, Joost Vercruysse 

Publication date: 30 June 2009

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

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.

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

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.

zbMATH Keywords

torsorscoringsentwining structuresfaithfully flat Hopf algebrasGalois comodulesbicomodule coherdsbimodule herds

Mathematics Subject Classification ID

Bimodules in associative algebras (16D20)

Cites Work

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

Cited In (3)

• Pre-torsors and Galois comodules over mixed distributive laws
• Torsors, herds and flocks
• 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)