Ring structure theorems and arithmetic comprehension

DOI10.1007/S00153-020-00738-3MaRDI QIDQ2219093zbMATH OpenOpenAlexFDO

Authors H. S. Wu

Publication date 19 January 2021

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-020-00738-3

zbMATH Keywords

ringreverse mathematicsmoduleendomorphism ringSchur's lemmaWedderburn-Artin theoremJacobson density theorem

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Commutative Artinian rings and modules, finite-dimensional algebras (13E10) Complexity of computation (including implicit computational complexity) (03D15) Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Perfect rings for which the converse of Schur's lemma holds
• Modules with a“nice”endomorphism ring and a new characterization of semisimple modules and rings
• Structure of semisimple rings in reverse and computable mathematics
• Isomorphism between endomorphism rings of modules over a semisimple ring
• Modules whose endomorphism rings are division rings.
• The Converse of Schur's Lemma in Noetherian Rings and Group Algebras
• Regular endomorphism rings of injective modules.
• Very Semisimple Modules
• scientific article; zbMATH DE number 4210340
• Krull-Schmidt theorem and semilocal endomorphism rings

Cites work

• scientific article; zbMATH DE number 1633834 (Why is no real title available?)
• scientific article; zbMATH DE number 107550 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 464655 (Why is no real title available?)
• Chain conditions in computable rings
• Countable algebra and set existence axioms
• Ideals in computable rings
• Subspaces of computable vector spaces
• The complexity of radicals and socles of modules

Cited in

(8)

• The complexity of radicals and socles of modules
• Structure of semisimple rings in reverse and computable mathematics
• The computability, definability, and proof theory of Artinian rings
• scientific article; zbMATH DE number 3960878 (Why is no real title available?)
• scientific article; zbMATH DE number 5532104 (Why is no real title available?)
• Reverse mathematics and semisimple rings
• Effective aspects of Jacobson radicals of rings
• Arithmetic of commutative rings

This page was built for publication: Ring structure theorems and arithmetic comprehension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2219093)