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

endomorphism ringJacobson density theoremmodulereverse mathematicsringSchur's lemmaWedderburn-Artin theorem

Mathematics Subject Classification ID

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

Review text

The author formulates and proves a version of Schur's lemma in \(\mathsf{RCA}_0\). Schur's lemma asserts that for any simple \(R\)-module \(S\), if \(x\) is nonzero then the endomorphism ring with identity \(x\), \(\operatorname{End}( {}_R S ,x )\), is a division ring. The formulation relies on characterizing the endomorphism ring as a \(\Pi^0_1\) class and directly constructing inverses for nonzero elements. The author proves several results in \(\mathsf{ACA}_0\) including a density theorem for semisimple modules, the Jacobson density theorem, and Wedderburn-Artin theorems for left semisimple rings and simple Artinian rings. The reversals are open. Related work appears in the dissertation of \textit{T. Sato} [Reverse mathematics and countable algebraic systems. Sendai: Tohoku University (Ph.D. Thesis) (2016)]. Two characterization theorems for semisimple modules over commutative rings are extended to general (not necessarily commutative) rings, extending equivalences to \(\mathsf{ACA}_0\) proved by the author [Notre Dame J. Formal Logic 61, No. 1, 141--153 (2020; Zbl 1484.03019)] and by \textit{T. Yamazaki} [``Reverse mathematics and commutative ring theory, in: Computability theory and foundations of mathematics. Tokyo: Tokyo Institute of Technology (2013)].

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

• Chain conditions in computable rings
• Countable algebra and set existence axioms
• 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?)
• Ideals in computable rings
• Subspaces of computable vector spaces
• The complexity of radicals and socles of modules

Cited in

(8)

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