A Krull-Schmidt theorem for Noetherian modules
type: Item
instance of: scholarly article
title: A Krull-Schmidt theorem for Noetherian modules
zbMATH Open document ID: 1005.16023
author: Gary Brookfield
published in: Journal of Algebra
publication date: 2002-09-08T00:00:00Z
review text: Direct sum cancellation is known to fail for nonzero Noetherian modules in general: if \(A,B,C\) satisfy \(A\oplus C\cong B\oplus C\), then \(A\) is not necessarily isomorphic to \(B\), unless \(A\), \(B\), and \(C\) have finite length. In the latter case, this follows from the classical Krull-Schmidt theorem which asserts that a finite length module can be written uniquely (up to order of summands) as a direct sum of indecomposable modules. However, the Krull-Schmidt theorem does not apply to the entire category of Noetherian modules because endomorphism rings of indecomposable modules are not always local. The author circumvents this difficulty by introducing a new category whose objects are Noetherian modules, but whose morphisms are defined in such a way that an adaptation of Fitting's lemma can be used to show that indecomposable objects in this category do indeed have local endomorphism rings. The role of the length of a module in the classical version of Fitting's lemma is here played by the ordinal length of a Noetherian module as defined by \textit{T.~H.~Gulliksen} [J. Pure Appl. Algebra 3, 159-170 (1973; Zbl 0271.13005)], and the main theorem can be stated as follows. If \(A,B,C\) are Noetherian modules such that either \(A\oplus C\cong B\oplus C\) or \(A^n\cong B^n\) for some natural number \(n\), then there exist submodules \(A'\subseteq A\), \(B'\subseteq B\) whose (ordinal) lengths are equal to those of \(A\) and \(B\), respectively, such that \(A'\cong B'\).
reviewed by: Günter Krause
Mathematics Subject Classification ID: 16P40
Mathematics Subject Classification ID: 16D70
Mathematics Subject Classification ID: 16P60
zbMATH DE Number: 1797463
zbMATH Keywords: Noetherian modules
zbMATH Keywords: Krull-Schmidt theorem
zbMATH Keywords: direct sum cancellation
zbMATH Keywords: Fitting's lemma
zbMATH Keywords: ordinal lengths
zbMATH Keywords: local endomorphism rings
zbMATH Keywords: direct sums of indecomposable modules
MaRDI profile type: Publication
full work available at URL: jabr.2002.9142
OpenAlex ID: W1976976927
cites work: Q5562621
cites work: Direct sum cancellation of Noetherian modules
cites work: THE LENGTH OF NOETHERIAN MODULES
cites work: On semilocal rings
cites work: A theory of length for Noetherian modules
cites work: Cancellation and direct summands in dimension 1
cites work: Krull-Schmidt uniqueness fails dramatically over subrings of Z\(\oplus\dots \oplus Z\)
cites work: Q3215398
cites work: Q3997475
cites work: Q4039952
cites work: Q5340125
DOI: 10.1006/JABR.2002.9142
Recommended article: The Length of Noetherian Polynomial Rings
Recommended article: THE LENGTH OF NOETHERIAN MODULES
Recommended article: The theory of ordinal length
Recommended article: Conditions for a ring to be Noetherian or Artinian
Recommended article: A CHARACTERIZATION OF NOETHERIAN MODULES
Recommended article: On the Countability of Noetherian Dimension of Modules
Recommended article: Krull-Schmidt Fails for Artinian Modules
Recommended article: The structure of extending modules over noetherian rings
Recommended article: Q5324246
Recommended article: Power cancellation for artinian modules
description: scientific article; zbMATH DE number 1797463