The Complexity of Nilradicals and Jacobson Radicals in Computable Rings

Xun Wang
DOI: https://doi.org/10.3969/j.issn.1674-3202.2022.03.003
2022-01-01
Abstract:This paper expands upon the work by Downey et al.(2007),who proved that there are computable commutative rings with identity where the nilradical is ∑01-complete,and the Jacobson radical is Π02-complete,respectively.We simplify the proof,showing that there is a computable commutative ring with identity where the nilradical is ∑01-complete and meanwhile the Jacobson radical is Π02-complete.Moreover,we show that for any c.e.set A there exists a computable commutative ring with identity where the nilradical is Turing equivalent to A,and for any Π02 set B there exists a computable commutative ring with identity where the Jacobson radical is Turing equivalent to B.
What problem does this paper attempt to address?