3
$\begingroup$

Suppose that $R$ is a finite dimensional $k$-algebra. I say that $R$ is Frobenius if it is locally bounded (see this question for a definition) and indecomposable projectives and injectives coincide. Could you help me to prove the following:

$R$ is Frobenius if and only if $_RR$ is injective as an $R$-module.

Of course if $R$ is Frobenius then $_RR$ is injective as an $R$-module, how can I prove the converse?

  • 0
    it is from the book of happel "triangulated categories in the representation theory of finite dimensional algebras"2012-11-06

1 Answers 1

2

Of course a finite dimensional algebra is locally bounded. (If you need a proof of that, comment on this answer.) Now let $P$ be an indecomposable projective. Then (as noted in the answer to your previous question $P$ is a direct summand of $R$. Hence $P$ is injective (as $R$ is). EDIT: Now you get an injective map from isoclasses of indecomposable projectives to isoclasses of indecomposable injectives by mapping each projective to itself. Since there are equally many indecomposable projectives and indecomposable injectives (as many as simples) you have that this is a bijective map, so every indecomposable injective is projective. This is related to the Nakayama permutation. You can read this and similar things in Lam's Lectures on Modules and rings.

  • 0
    Each simple corresponds to an indecomposable projective, each indecomposable projective is a direct summand of the algebra, the algebra is finite-dimensional, so finitely many direct summands. Thus finitely many simples.2012-11-07