Ring structure theorems and arithmetic comprehension (Q2219093): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Jeffry L. Hirst / rank | |||
Property / reviewed by | |||
Property / reviewed by: Jeffry L. Hirst / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00153-020-00738-3 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3039010767 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4023148 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Chain conditions in computable rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ideals in computable rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Subspaces of computable vector spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4271320 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Countable algebra and set existence axioms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2734153 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4220572 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The complexity of radicals and socles of modules / rank | |||
Normal rank |
Latest revision as of 09:17, 24 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Ring structure theorems and arithmetic comprehension |
scientific article |
Statements
Ring structure theorems and arithmetic comprehension (English)
0 references
19 January 2021
0 references
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)].
0 references
reverse mathematics
0 references
Schur's lemma
0 references
Jacobson density theorem
0 references
Wedderburn-Artin theorem
0 references
module
0 references
ring
0 references
endomorphism ring
0 references