1
$\begingroup$

Let $A$ be an Artinian algebra. Let $S$ be a simple module over $A$. Let $\pi: S \rightarrow I$ be the injective hull and $\tau: P \rightarrow S$ be the projective cover of $S$. Then $I$ and $P$ must be indecomposable.

This statement was merely implied in a paper I was reading. After thinking about it I don't find it clear at all. I know that this statement must be true if $A$ was a finite dimension algebra but this is not the case. Does anyone know why this holds true? Any help is highly appreciated!

$\endgroup$
1
  • $\begingroup$ One way to prove this is for projective covers is using that idempotents lift modulo the radical. Hence a primitive idempotent lifts to a primitive idempotent $\endgroup$ Commented Dec 16, 2020 at 21:58

1 Answer 1

4
$\begingroup$

One definition of "projective cover" of $S$ is that it is a projective module $P$, together with an epimorphism $\phi\colon P\to S$ such that the kernel $K$ is a superfluous submodule of $P$, meaning that for any submodule $H$ of $P$, $K+H=P$ implies $H=P$. Suppose that $P$ is a direct sum $P=M+N$. Consider the restriction of $\phi$ to $M$. Since $S$ is simple, this restriction is either $0$ or an epimorphism. If it is $0$, then $K$ contains $M$, and therefore is not superfluous, since then $K+N=P$, while $N\neq P$. If, on the other hand, the restriction of $\phi$ is an epimorphism, then it is easy to see that $K+M=P$. Indeed, for every $p\in P$, there then exists an $m\in M$ such that $\phi(p)=\phi(m)$, so that $p-m\in K$. Thus, in this case again $K$ is not superfluous, since $K+M=P$, but $M\neq P$.

As you see, finite-dimensionality plays no role in this argument. The argument for injective hull is "dual" to this.

$\endgroup$
2
  • $\begingroup$ Thank you! I noticed that you didn't use that $A$ is an Artinian algebra. So the statement holds true for any algebra or am I missing something in your proof? $\endgroup$ Commented Dec 16, 2020 at 22:48
  • 1
    $\begingroup$ @mathStudent: I believe that's right. Note, however, that in general, a simple module may not have a projective cover at all. $\endgroup$
    – Alex B.
    Commented Dec 17, 2020 at 7:10

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .