Krull-Schmidt fails for Artinian modules
Krull-Schmidt fails for Artinian modules
We prove that the Krull-Schmidt theorem fails for artinian modules. This answers a question asked by Krull in 1932. In fact we show that if S is a module-finite algebra over a semilocal noetherian commutative ring, then every nonunique decomposition of every noetherian S-module leads to an analogous nonunique decomposition …