Monads and comonads on module categories

DOI10.1016/J.JALGEBRA.2009.06.003MaRDI QIDQ734798zbMATH OpenOpenAlexFDO

Authors Tomasz Brzeziński, Robert Wisbauer, Gabriella Böhm

Publication date 13 October 2009

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

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

Hopf algebras Hopf monads (co)modules (co)monads (co)rings contramodules

Module categories in associative algebras (16D90) Hopf algebras and their applications (16T05) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Abstract: Let

A

be a ring and

M_{A}

the category of

A

-modules. It is well known in module theory that for any

A

-bimodule

B

,

B

is an

A

-ring if and only if the functor

- o t i m e s_{A} B : M_{A} o M_{A}

is a monad (or triple). Similarly, an

A

-bimodule

C

is an

A

-coring provided the functor

- o t i m e s_{A} C : M_{A} o M_{A}

is a comonad (or cotriple). The related categories of modules (or algebras) of

- o t i m e s_{A} B

and comodules (or coalgebras) of

- o t i m e s_{A} C

are well studied in the literature. On the other hand, the right adjoint endofunctors

H o m_{A} (B, -)

and

H o m_{A} (C, -)

are a comonad and a monad, respectively, but the corresponding (co)module categories did not find much attention so far. The category of

H o m_{A} (B, -)

-comodules is isomorphic to the category of

B

-modules, while the category of

H o m_{A} (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

H o m_{A} (C, -)

-modules are equivalent provided

C

is a coseparable coring. Furthermore, a bialgebra

H

over a commutative ring

R

is a Hopf algebra if and only if

H o m_{R} (H -)

is a Hopf bimonad on

M_{R}

and in this case the categories of

H

-Hopf modules and mixed

H o m_{R} (H, -)

-bimodules are both equivalent to

M_{R}

.

Recommendations

Cites work

Cited in

(48)

This page was built for publication: Monads and comonads on module categories

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