Effective aspects of Jacobson radicals of rings. Issue 4 (17th November 2021) - Wu, Huishan
Abstract: This paper studies effective aspects of Jacobson radicals of rings and their applications from the viewpoint of reverse mathematics. First, we propose four radicals of rings, showing that the first order (resp., second order) left and right Jacobson radical coincide in RCA 0 (resp., ACA 0 ). Second, we study Jacobson radicals in left (resp., right) local rings and show that the second order left and right Jacobson radical of left (resp., right) local rings coincide within RCA 0 . Third, we apply our results about Jacobson radicals of rings and local rings to study properties of left (resp., right) strongly indecomposable modules; furthermore, we study effective aspects of typical lemmas and theorems related to strongly indecomposable modules, and show that RCA 0 proves the Fitting Lemma as well as the Krull‐Schmidt‐Azumaya Theorem and that ACA 0 proves the Krull‐Schmidt Theorem.