Abstract
In this chapter, W denotes an infinite set, always used as an index set, on which we fix a non-principal ultrafilter.1 Given any collection of (first-order) structures indexed by W, we can define their ultraproduct. However, in this book, we will be mainly concerned with the construction of an ultraproduct of rings, an ultraring for short, which is then defined as a certain residue ring of their Cartesian product. From this point of view, the construction is purely algebraic, although it is originally a model-theoretic one (we only provide some supplementary background on the model-theoretic perspective). We review some basic properties (deeper theorems will be proved in the later chapters), the most important of which is Łoś Theorem, relating properties of the approximations with their ultraproduct. When applied to algebraically closed fields, we arrive at a result that is pivotal in most of our applications: the Lefschetz Principle (Theorem 2.4.3), allowing us to transfer many properties between positive and zero characteristic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ax, J.: The elementary theory of finite fields. Ann. of Math. 88, 239–271 (1968) 17
Barwise, J., Eklof, P.: Lefschetz’s principle. J. Algebra 13, 554–570 (1969) 16
Ein, L., Lazarsfeld, R., Smith, K.: Uniform bounds and symbolic powers on smooth varieties. Invent. Math. 144, 241–252 (2001) 78
Glaz, S.: Commutative coherent rings, Lect. Notes in Math., vol. 1371. Springer-Verlag, Berlin (1989) 20, 141
Hochster, M., Huneke, C.: Comparison of symbolic and ordinary powers of ideals. Invent. Math. 147, 349–369 (2002) 78
Kochen, S.: Ultraproducts in the theory of models. Ann. of Math. 74, 221–261 (1961) 1
Łoś, J.: Quelques remarques, théorèmes et problèmes sur les classes définissables d’algèbres. In: Mathematical interpretation of formal systems, pp. 98–113. North-Holland Publishing Co., Amsterdam (1955) 1
Rees, D.: A note on analytically unramified local rings. J. London Math. Soc. 36, 24–28 (1961) 124
Roberts, P.: Le théorème d’intersections. C. R. Acad. Sci. Paris 304, 177–180 (1987) 165
Swan, R.: Néron-Popescu desingularization (Spring 1995). Expanded notes from a Univ. of Chicago series of lectures 100
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Schoutens, H. (2010). Ultraproducts and Łoś’ Theorem. In: The Use of Ultraproducts in Commutative Algebra. Lecture Notes in Mathematics(), vol 1999. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13368-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-13368-8_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13367-1
Online ISBN: 978-3-642-13368-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)