Krull-Remak-Schmidt fails for Artinian modules over local rings (Q5934276): Difference between revisions

The author constructs a local ring \(R\) such that the Krull-Schmidt theorem fails for Artinian \(R\)-modules. Let \(K\) be a field which satisfies \(K(X)\cong K\), and let \(\mathcal P'\) be the set of irreducible polynomials in \(K[X]\) with the exception of four different linear polynomials. Then it is known that the Krull-Schmidt theorem fails for the category \(\mathcal F\) of reduced torsionfree \(K[X]\)-modules \(F\) of finite rank with \(pF=F\) for \(p\in\mathcal P'\). The local ring \(R\) is obtained as a ring of matrices with entries in \(K(X)\). It has the form of an idealizer of a bimodule \(_DI_D\) where \(D\) is an amalgamation of four discrete valuation domains (corresponding to the excluded irreducible polynomials in \(\mathcal P'\)). The failure of Krull-Schmidt is proved by an embedding of \(\mathcal F\) into the category of finitely generated Artinian \(R\)-modules. This answers a question of \textit{A. Facchini} [Module theory. Endomorphism rings and direct sum decompositions in some classes of modules. Birkhäuser, Basel (1998; Zbl 0930.16001)].