Chain conditions in computable rings
HTML articles powered by AMS MathViewer
- by Chris J. Conidis PDF
- Trans. Amer. Math. Soc. 362 (2010), 6523-6550 Request permission
Abstract:
Friedman, Simpson, and Smith showed that, over RCA$_0$, the statements “Every ring has a maximal ideal” and “Every ring has a prime ideal” are equivalent to ACA$_0$ and WKL$_0$, respectively. More recently, Downey, Lempp, and Mileti have shown that, over RCA$_0$, the statement “Every ring that is not a field contains a nontrivial ideal” is equivalent to WKL$_0$.
In this article we explore the reverse mathematical strength of the classic theorems from commutative algebra which say that every Artinian ring is Noetherian, and every Artinian ring is of finite length. In particular we show that, over RCA$_0$, the former implies WKL$_0$ and is implied by ACA$_0$, while over RCA$_0$+B$\Sigma _2$, the latter is equivalent to ACA$_0$.
References
- Y. Akizuki, Teilerkettenatz und vielfachenkettensatz, Proc. Phys.–Math. Soc. Japan 17 (1935), 337–345.
- M. F. Atiyah and I. G. Macdonald, Introduction to commutative algebra, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1969. MR 0242802
- Walter Baur, Rekursive Algebren mit Kettenbedingungen, Z. Math. Logik Grundlagen Math. 20 (1974), 37–46 (German). MR 351781, DOI 10.1002/malq.19740200105
- Rodney G. Downey, Denis R. Hirschfeldt, Asher M. Kach, Steffen Lempp, Joseph R. Mileti, and Antonio Montalbán, Subspaces of computable vector spaces, J. Algebra 314 (2007), no. 2, 888–894. MR 2344589, DOI 10.1016/j.jalgebra.2006.08.040
- Rodney G. Downey, Steffen Lempp, and Joseph R. Mileti, Ideals in computable rings, J. Algebra 314 (2007), no. 2, 872–887. MR 2344588, DOI 10.1016/j.jalgebra.2007.02.058
- David S. Dummit and Richard M. Foote, Abstract algebra, 3rd ed., John Wiley & Sons, Inc., Hoboken, NJ, 2004. MR 2286236
- Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith, Countable algebra and set existence axioms, Ann. Pure Appl. Logic 25 (1983), no. 2, 141–181. MR 725732, DOI 10.1016/0168-0072(83)90012-X
- Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith, Addendum to: “Countable algebra and set existence axioms” [Ann. Pure Appl. Logic 25 (1983), no. 2, 141–181; MR0725732 (85i:03157)], Ann. Pure Appl. Logic 28 (1985), no. 3, 319–320. MR 790391, DOI 10.1016/0168-0072(85)90020-X
- A. Fröhlich and J. C. Shepherdson, Effective procedures in field theory, Philos. Trans. Roy. Soc. London Ser. A 248 (1956), 407–432. MR 74349, DOI 10.1098/rsta.1956.0003
- Petr Hájek and Pavel Pudlák, Metamathematics of first-order arithmetic, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1998. Second printing. MR 1748522
- Grete Hermann, Die Frage der endlich vielen Schritte in der Theorie der Polynomideale, Math. Ann. 95 (1926), no. 1, 736–788 (German). MR 1512302, DOI 10.1007/BF01206635
- Philip Hingston, Effective decomposition in Noetherian rings, Aspects of effective algebra (Clayton, 1979) Upside Down A Book Co., Yarra Glen, Vic., 1981, pp. 122–127. MR 629253
- Charles Hopkins, Rings with minimal condition for left ideals, Ann. of Math. (2) 40 (1939), 712–730. MR 12, DOI 10.2307/1968951
- Carl G. Jockusch Jr. and Robert I. Soare, $\Pi ^{0}_{1}$ classes and degrees of theories, Trans. Amer. Math. Soc. 173 (1972), 33–56. MR 316227, DOI 10.1090/S0002-9947-1972-0316227-0
- L. Kronecker, Grundzüge einer arithmetischen theorie der algebraischen grössen, J. Reine Angew. Math. 92 (1882), 1–122.
- Serge Lang, Algebra, 3rd ed., Graduate Texts in Mathematics, vol. 211, Springer-Verlag, New York, 2002. MR 1878556, DOI 10.1007/978-1-4613-0041-0
- Hideyuki Matsumura, Commutative ring theory, Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge, 1986. Translated from the Japanese by M. Reid. MR 879273
- J. B. Paris and L. A. S. Kirby, $\Sigma _{n}$-collection schemas in arithmetic, Logic Colloquium ’77 (Proc. Conf., Wrocław, 1977) Studies in Logic and the Foundations of Mathematics, vol. 96, North-Holland, Amsterdam-New York, 1978, pp. 199–209. MR 519815
- S.G. Simpson, Degrees of unsolvability: A survey of results, Handbook of Mathematical Logic (J. Barwise, ed.), North-Holland (Elsevier), 1977.
- Stephen G. Simpson, Subsystems of second order arithmetic, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1999. MR 1723993, DOI 10.1007/978-3-642-59971-2
- Robert I. Soare, Recursively enumerable sets and degrees, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1987. A study of computable functions and computably generated sets. MR 882921, DOI 10.1007/978-3-662-02460-7
- V. Stoltenberg-Hansen and J. V. Tucker, Computable rings and fields, Handbook of computability theory, Stud. Logic Found. Math., vol. 140, North-Holland, Amsterdam, 1999, pp. 363–447. MR 1720739, DOI 10.1016/S0049-237X(99)80028-7
- B. L. van der Waerden, Algebra. Vol. I, Springer-Verlag, New York, 1991. Based in part on lectures by E. Artin and E. Noether; Translated from the seventh German edition by Fred Blum and John R. Schulenberger. MR 1080172, DOI 10.1007/978-1-4612-4420-2
Additional Information
- Chris J. Conidis
- Affiliation: Department of Mathematics, University of Chicago, Chicago, Illinois 60637
- Address at time of publication: Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1
- Email: conidis@math.uchicago.edu
- Received by editor(s): December 1, 2008
- Published electronically: July 15, 2010
- Additional Notes: The author was partially supported by NSERC grant PGS D2-344244-2007. Furthermore, he would like to acknowledge the helpful input he received from his thesis advisors, R.I. Soare, D.R. Hirschfeldt, and A. Montalbán. He would also like to especially thank J.R. Mileti for suggesting this topic, and A. Montalbán for his help in editing the initial drafts.
- © Copyright 2010 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 362 (2010), 6523-6550
- MSC (2000): Primary 03B30, 03D80; Secondary 03F35
- DOI: https://doi.org/10.1090/S0002-9947-2010-05013-5
- MathSciNet review: 2678985
Dedicated: This paper is dedicated to the author’s thesis advisors: Robert I. Soare, Denis R. Hirschfeldt, and Antonio Montalbán.