A cancellation theorem for artinian local algebras (Q1077471)

Let k be a field of characteristic zero and denote by \({\mathcal L}_ k\) the category of all noetherian local k-algebras \((A,m_ A)\) for which the composition \(k\to A\to A/m_ A\) is an isomorphism. Theorem 1. Let \(N\otimes R\cong N\otimes S\) in \({\mathcal L}_ k\). If N is artinian, then \(R\cong S.\) Theorem 2. Every \(A\in {\mathcal L}_ k\) admits a decomposition \(A\cong A'\otimes A_ 1\otimes...\otimes A_ n\) with unique A' and with (up to reordering) unique indecomposable artinian \(A_ 1,..,A_ n\in {\mathcal L}_ k\setminus \{k\}\) such that A' contains no artinian factor \(\neq k\).