category theory

# Contents

## Definition

###### Definition

$(F\dashv G) : D \to C$

is a Frobenius pair if $F$ is not only a left adjoint to $G$ but also a right adjoint to $G$, hence if we have an adjoint triple

$(F \dashv G \dashv F) : D \to C \,.$

In this case one often says that $F$ (or $G$) is a Frobenius functor.

###### Note

There is no relation to the notion of Frobenius monoidal functor.

## Properties

• K. Morita proved that the extension of scalars functor for a morphism of rings $f:R\to S$ is Frobenius iff the morphism $f$ itself is Frobenius in the sense of (Kasch), that is: ${}_R S$ is finitely generated projective and ${}_S S_R\cong Hom_R({}_R S, {}_R R)$ as $R-S$-bimodules.

This is in the spirit of the finite-dimensional duality coded e.g. in the notion of Frobenius algebra.

## References

• Stefaan Caenepeel, Gigel Militaru, Shenglin Zhu, Frobenius and separable functors for generalized module categories and nonlinear equations, Springer Lec. Notes in Math. 1787 (2002) xiv+354 pp, gBooks

• F. Kasch, Projektive Frobenius-Erweiterungen, Sitzungsber, Heidelberger Akad. Wiss., Math.- Naturw. Kl. 1960/61 (1961), 89–109.

Revised on April 13, 2011 11:02:50 by Urs Schreiber (188.201.208.83)