Ideals in computable rings (Q2456205): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2007.02.058 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2027628811 / rank | |||
Normal rank |
Revision as of 23:25, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Ideals in computable rings |
scientific article |
Statements
Ideals in computable rings (English)
0 references
17 October 2007
0 references
Suppose (for all of the following) that \(R\) is a commutative ring with identity. If \(R\) has no nontrivial proper ideals, then \(R\) is a field. The authors analyze this statement in the setting of reverse mathematics. Over RCA\(_0\), they show that WKL\(_0\) is equivalent to ``if \(R\) has no nontrivial proper ideals then \(R\) is a field'' and also to ``if \(I\) is a maximal ideal of \(R\) then \(R/I\) is a field.'' They show that over RCA\(_0\), the system ACA\(_0\) is equivalent to ``if \(R\) has no nontrivial proper principal ideals then it is a field,'' and also to ``if \(R\) has no nontrivial proper finitely generated ideals then it is a field.'' Their work includes some computability-theoretic upper bounds, showing that for any computable ring, the nilradical is \(\Sigma^0_1\)-definable and the Jacobson radical is \(\Pi^0_2\)-definable. Applications of these results to the study of vector spaces can be found in [\textit{R. G. Downey} et al., J. Algebra 314, No. 2, 888--894 (2007; Zbl 1127.03036)]. The article includes some discussion of the history of computable algebra and reverse mathematics of algebra, and a substantial number of pointers into the literature in these areas.
0 references
computable ring
0 references
reverse mathematics
0 references
nilradical
0 references
Jacobson radical
0 references