Monads and comonads on module categories

G. Böhm, Tomasz Brzeziński, Robert Wisbauer

Research output: Contribution to journalArticle

27 Citations (Scopus)

Abstract

Let A be a ring and MA the category of right A-modules. It is well known in module theory that any A-bimodule B is an A-ring if and only if the functor - ⊗A B : MA → MA is a monad (or triple). Similarly, an A-bimodule C is an A-coring provided the functor - ⊗A C : MA → MA is a comonad (or cotriple). The related categories of modules (or algebras) of - ⊗A B and comodules (or coalgebras) of - ⊗A C are well studied in the literature. On the other hand, the right adjoint endofunctors HomA (B, -) and HomA (C, -) are a comonad and a monad, respectively, but the corresponding (co)module categories did not find much attention so far. The category of HomA (B, -)-comodules is isomorphic to the category of B-modules, while the category of HomA (C, -)-modules (called C-contramodules by Eilenberg and Moore) need not be equivalent to the category of C-comodules. The purpose of this paper is to investigate these categories and their relationships based on some observations of the categorical background. This leads to a deeper understanding and characterisations of algebraic structures such as corings, bialgebras and Hopf algebras. For example, it turns out that the categories of C-comodules and HomA (C, -)-modules are equivalent provided C is a coseparable coring. Furthermore, we describe equivalences between categories of HomA (C, -)-modules and comodules over a coring D in terms of new Galois properties of bicomodules. Finally, we characterise Hopf algebras H over a commutative ring R by properties of the functor HomR (H, -) and the category of mixed HomR (H, -)-bimodules. This generalises in particular the fact that a finite dimensional vector space H is a Hopf algebra if and only if the dual space H* is a Hopf algebra.

Original languageEnglish
Pages (from-to)1719-1747
Number of pages29
JournalJournal of Algebra
Volume322
Issue number5
DOIs
Publication statusPublished - Sep 1 2009

Fingerprint

Monads
Module
Comodule
Coring
Hopf Algebra
Bimodule
Functor
If and only if
Ring
Bialgebra
Coalgebra
Dual space
Galois
Algebraic Structure
Commutative Ring
Categorical
Vector space
Isomorphic
Equivalence

Keywords

  • (Co)modules
  • (Co)monads
  • (Co)rings
  • Contramodules
  • Hopf algebras
  • Hopf monads

ASJC Scopus subject areas

  • Algebra and Number Theory

Cite this

Monads and comonads on module categories. / Böhm, G.; Brzeziński, Tomasz; Wisbauer, Robert.

In: Journal of Algebra, Vol. 322, No. 5, 01.09.2009, p. 1719-1747.

Research output: Contribution to journalArticle

Böhm, G, Brzeziński, T & Wisbauer, R 2009, 'Monads and comonads on module categories', Journal of Algebra, vol. 322, no. 5, pp. 1719-1747. https://doi.org/10.1016/j.jalgebra.2009.06.003
Böhm, G. ; Brzeziński, Tomasz ; Wisbauer, Robert. / Monads and comonads on module categories. In: Journal of Algebra. 2009 ; Vol. 322, No. 5. pp. 1719-1747.
@article{0aa42d5811524ed2bad09b0554b5bc14,
title = "Monads and comonads on module categories",
abstract = "Let A be a ring and MA the category of right A-modules. It is well known in module theory that any A-bimodule B is an A-ring if and only if the functor - ⊗A B : MA → MA is a monad (or triple). Similarly, an A-bimodule C is an A-coring provided the functor - ⊗A C : MA → MA is a comonad (or cotriple). The related categories of modules (or algebras) of - ⊗A B and comodules (or coalgebras) of - ⊗A C are well studied in the literature. On the other hand, the right adjoint endofunctors HomA (B, -) and HomA (C, -) are a comonad and a monad, respectively, but the corresponding (co)module categories did not find much attention so far. The category of HomA (B, -)-comodules is isomorphic to the category of B-modules, while the category of HomA (C, -)-modules (called C-contramodules by Eilenberg and Moore) need not be equivalent to the category of C-comodules. The purpose of this paper is to investigate these categories and their relationships based on some observations of the categorical background. This leads to a deeper understanding and characterisations of algebraic structures such as corings, bialgebras and Hopf algebras. For example, it turns out that the categories of C-comodules and HomA (C, -)-modules are equivalent provided C is a coseparable coring. Furthermore, we describe equivalences between categories of HomA (C, -)-modules and comodules over a coring D in terms of new Galois properties of bicomodules. Finally, we characterise Hopf algebras H over a commutative ring R by properties of the functor HomR (H, -) and the category of mixed HomR (H, -)-bimodules. This generalises in particular the fact that a finite dimensional vector space H is a Hopf algebra if and only if the dual space H* is a Hopf algebra.",
keywords = "(Co)modules, (Co)monads, (Co)rings, Contramodules, Hopf algebras, Hopf monads",
author = "G. B{\"o}hm and Tomasz Brzeziński and Robert Wisbauer",
year = "2009",
month = "9",
day = "1",
doi = "10.1016/j.jalgebra.2009.06.003",
language = "English",
volume = "322",
pages = "1719--1747",
journal = "Journal of Algebra",
issn = "0021-8693",
publisher = "Academic Press Inc.",
number = "5",

}

TY - JOUR

T1 - Monads and comonads on module categories

AU - Böhm, G.

AU - Brzeziński, Tomasz

AU - Wisbauer, Robert

PY - 2009/9/1

Y1 - 2009/9/1

N2 - Let A be a ring and MA the category of right A-modules. It is well known in module theory that any A-bimodule B is an A-ring if and only if the functor - ⊗A B : MA → MA is a monad (or triple). Similarly, an A-bimodule C is an A-coring provided the functor - ⊗A C : MA → MA is a comonad (or cotriple). The related categories of modules (or algebras) of - ⊗A B and comodules (or coalgebras) of - ⊗A C are well studied in the literature. On the other hand, the right adjoint endofunctors HomA (B, -) and HomA (C, -) are a comonad and a monad, respectively, but the corresponding (co)module categories did not find much attention so far. The category of HomA (B, -)-comodules is isomorphic to the category of B-modules, while the category of HomA (C, -)-modules (called C-contramodules by Eilenberg and Moore) need not be equivalent to the category of C-comodules. The purpose of this paper is to investigate these categories and their relationships based on some observations of the categorical background. This leads to a deeper understanding and characterisations of algebraic structures such as corings, bialgebras and Hopf algebras. For example, it turns out that the categories of C-comodules and HomA (C, -)-modules are equivalent provided C is a coseparable coring. Furthermore, we describe equivalences between categories of HomA (C, -)-modules and comodules over a coring D in terms of new Galois properties of bicomodules. Finally, we characterise Hopf algebras H over a commutative ring R by properties of the functor HomR (H, -) and the category of mixed HomR (H, -)-bimodules. This generalises in particular the fact that a finite dimensional vector space H is a Hopf algebra if and only if the dual space H* is a Hopf algebra.

AB - Let A be a ring and MA the category of right A-modules. It is well known in module theory that any A-bimodule B is an A-ring if and only if the functor - ⊗A B : MA → MA is a monad (or triple). Similarly, an A-bimodule C is an A-coring provided the functor - ⊗A C : MA → MA is a comonad (or cotriple). The related categories of modules (or algebras) of - ⊗A B and comodules (or coalgebras) of - ⊗A C are well studied in the literature. On the other hand, the right adjoint endofunctors HomA (B, -) and HomA (C, -) are a comonad and a monad, respectively, but the corresponding (co)module categories did not find much attention so far. The category of HomA (B, -)-comodules is isomorphic to the category of B-modules, while the category of HomA (C, -)-modules (called C-contramodules by Eilenberg and Moore) need not be equivalent to the category of C-comodules. The purpose of this paper is to investigate these categories and their relationships based on some observations of the categorical background. This leads to a deeper understanding and characterisations of algebraic structures such as corings, bialgebras and Hopf algebras. For example, it turns out that the categories of C-comodules and HomA (C, -)-modules are equivalent provided C is a coseparable coring. Furthermore, we describe equivalences between categories of HomA (C, -)-modules and comodules over a coring D in terms of new Galois properties of bicomodules. Finally, we characterise Hopf algebras H over a commutative ring R by properties of the functor HomR (H, -) and the category of mixed HomR (H, -)-bimodules. This generalises in particular the fact that a finite dimensional vector space H is a Hopf algebra if and only if the dual space H* is a Hopf algebra.

KW - (Co)modules

KW - (Co)monads

KW - (Co)rings

KW - Contramodules

KW - Hopf algebras

KW - Hopf monads

UR - http://www.scopus.com/inward/record.url?scp=67650535259&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=67650535259&partnerID=8YFLogxK

U2 - 10.1016/j.jalgebra.2009.06.003

DO - 10.1016/j.jalgebra.2009.06.003

M3 - Article

VL - 322

SP - 1719

EP - 1747

JO - Journal of Algebra

JF - Journal of Algebra

SN - 0021-8693

IS - 5

ER -