On Andrunakievich's chain and Koethe's problem. (Q616513): Difference between revisions

From MaRDI portal
Normalize DOI.
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1007/S11856-010-0096-8 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1007/S11856-010-0096-8 / rank
 
Normal rank

Latest revision as of 22:19, 9 December 2024

scientific article
Language Label Description Also known as
English
On Andrunakievich's chain and Koethe's problem.
scientific article

    Statements

    On Andrunakievich's chain and Koethe's problem. (English)
    0 references
    10 January 2011
    0 references
    Köthe's famous open problem asks whether the nil radical \(\text{Nil}(R)\) of any ring \(R\) contains all nil left (or equivalently, right) ideals of \(R\) [\textit{G. Köthe}, M. Z. 32, 161-186 (1930; JFM 56.0143.01)]. Recently it was shown that this is equivalent to ask whether \(A(R/A(R))=0\) for every ring \(R\) where, for a ring \(S\), \(A(S)\) denotes the ideal \(A(S)=\sum(L\mid L\) is a nil left ideal of \(S)\) [\textit{E. R. Puczyłowski}, in Algebra and its applications. Proc. int. conf., Athens, OH 2005. Contemp. Math. 419, 269-283 (2006; Zbl 1133.16018)]. In pursuit of an answer to these problems, the authors define and study a chain of ideals \(\{A_\alpha(R)\}\), \(\alpha\) an ordinal number, for a ring \(R\) called the `Andrunakievich chain' as follows: \(A_0(R)=0\). For \(\alpha>0\), suppose \(A_\beta(R)\) has been defined for all \(\beta<\alpha\). If \(\alpha\) is a limit ordinal, let \(A_\alpha(R)=\bigcup_{\beta<\alpha}A_\beta(R)\). If \(\alpha\) is not a limit ordinal, then \(A_\alpha(R)\) is the ideal of \(R\) containing \(A_{\alpha-1}(R)\) for which \(A(R/A_{\alpha-1}(R))=A_\alpha(R)/A_{\alpha-1}(R)\). One may then ask about the existence of an \(\alpha\) such that for every ring \(R\), the Andrunakievich chain of \(R\) stabilizes at an ordinal \(\leq\alpha\). The authors show that this question is also equivalent to Köthe's problem. In particular, it is shown that if Köthe's problem has a negative solution, there is a field \(F\) such that for every ordinal number \(\alpha\) there is an \(F\)-algebra \(R_\alpha\) such that \(A_\alpha(R_\alpha)=R_\alpha\) and \(R_\alpha/A_\beta(R_\alpha)\) is not nil for all \(\beta<\alpha\) (i.e. \(A_\beta(R_\alpha)\neq R_\alpha\) for all \(\beta<\alpha\)). This construction is achieved by considering a certain matrix algebra over the field \(F\).
    0 references
    Köthe problem
    0 references
    nil radical
    0 references
    Andrunakievich chains
    0 references
    nil rings
    0 references
    radicals of rings
    0 references
    Köthe conjecture
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers