Skip to main content
2 of 4
added 360 characters in body

Do the isomorphism classes of indecomposable objects in $R{\text{-mod}}$ form a set?

Let $R$ be a unital (associative) ring. Consider the category $R\text{-mod}$ of unitary left $R$-modules. Set $\text{Indec}(R)$ to be the class of all isomorphism classes of indecomposable objects in $R\text{-mod}$.

Is $\text{Indec}(R)$ a set? If not, for which ring $R$ is $\text{Indec}(R)$ a set, and for which ring $R$ is $\text{Indec}(R)$ a proper class?

Clearly, if $R$ is semisimple, then $\text{Indec}(R)$ coincides with the set $\text{Irred}(R)$ of isomorphism classes of simple $R$-modules. I am not sure what would happen if $R$ is nonsemisimple.

If possible, I would like to request a reference that discusses a more general result. That is, if $\mathscr{C}$ is an arbitrary abelian category, and $\text{Indec}(\mathscr{C})$ is the class of all isomorphism classes of indecomposable objects in $\mathscr{C}$. How do we tell when $\text{Indec}(\mathscr{C})$ is a set?

Just as in the case of $R\text{-mod}$, the same observation holds: if $\mathscr{C}$ is semisimple, then $\text{Indec}(\mathscr{C})$ is identical to the set $\text{Irred}(\mathscr{C})$ of isomorphism classes of simple objects in $\mathscr{C}$. However, I am very certain that there are nonsemisimple abelian category $\mathscr{C}$ such that $\text{Indec}(\mathscr{C})$ is a proper class. Such an example is very welcome.

Remark. I am even more interested in the case where $R$ is a (not necessarily finite-dimensional) $\mathbb{K}$-algebra for some field $\mathbb{K}$. Even more specifically, I would like to know what happens if $R$ is the universal enveloping algebra of some (not necessarily finite-dimensional) Lie algebra $\mathfrak{g}$ over some field $\mathbb{K}$. However, anything that can elaborate me on how to find out when $\text{Indec}(\mathscr{C})$ is a set will be greatly appreciated.