algebra / Noncommutative ring theory

Köthe Conjecture

GPT-6 Astra constructs a unital algebra R=kAR=k\oplus A over the countable field k=F2, k=\overline{\mathbb F_2}, with I=AI=A a nil two-sided ideal, together with a matrix WM2(I) W\in M_2(I) that is not nilpotent. The algebra AA is generated by three weighted backward shifts. A diagonal construction chooses the weights so that every element of AA is nilpotent. At the same time, a suitable polynomial combination of the shifts fixes a nonzero vector; this yields a companion-type matrix with a nonzero eigenvalue, and hence a nonnilpotent matrix whose entries lie in II. This formally disproves Krempa's matrix formulation of Köthe's conjecture.

60Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraSep 3, 2026Significance 60/100Registry: lean verified

Köthe Conjecture

Prior state unknowndisproved

GPT-6 Astra constructs a unital algebra R=kAR=k\oplus A over the countable field k=F2, k=\overline{\mathbb F_2}, with I=AI=A a nil two-sided ideal, together with a matrix WM2(I) W\in M_2(I) that is not nilpotent. The algebra AA is generated by three weighted backward shifts. A diagonal construction chooses the weights so that every element of AA is nilpotent. At the same time, a suitable polynomial combination of the…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

GPT-6 Astra constructs a unital algebra R=kAR=k\oplus A over the countable field k=F2, k=\overline{\mathbb F_2}, with I=AI=A a nil two-sided ideal, together with a matrix WM2(I) W\in M_2(I) that is not nilpotent. The algebra AA is generated by three weighted backward shifts. A diagonal construction chooses the weights so that every element of AA is nilpotent. At the same time, a suitable polynomial combination of the shifts fixes a nonzero vector; this yields a companion-type matrix with a nonzero eigenvalue, and hence a nonnilpotent matrix whose entries lie in II. This formally disproves Krempa's matrix formulation of Köthe's conjecture.

GPT-6 Astra constructs a unital algebra R=kAR=k\oplus A over the countable field k=F2, k=\overline{\mathbb F_2}, with I=AI=A a nil two-sided ideal, together with a matrix WM2(I) W\in M_2(I) that is not nilpotent. The algebra AA is generated by three weighted backward shifts. A diagonal construction chooses the weights so that every element of AA is nilpotent. At the same time, a suitable polynomial combination of the shifts fixes a nonzero vector; this yields a companion-type matrix with a nonzero eigenvalue, and hence a nonnilpotent matrix whose entries lie in II. This formally disproves Krempa's matrix formulation of Köthe's conjecture.

Recorded attempts

Evidence graph

Connected research record