Pseudo Algebraically Closed Fields
A pseudo algebraically closed field (in short PAC) K is a field satisfying the following geometric property. Each absolutely irreducible algebraic variety V defined over K has a K-rational point.
Over PAC fields there is a firm link between arithmetic properties of the field and group theoretic properties of its absolute Galois group. A nice theorem in this spirit connects Hilbertian fields with ω-free fields (K is ω-free if any embedding problem for K is properly solvable).
Theorem. Let K be a PAC field. Then K is Hilbertian if and only if K is ω-free.
Peter Roquette proved the right-to-left direction of this theorem and conjectured the opposite direction. Michael Fried and Helmut Völklein applied algebraic topology and complex analysis to establish Roquette's conjecture in characteristic zero. Later Pop proved the Theorem for arbitrary characteristic by developing "rigid patching".
Read more about this topic: Field Arithmetic
Famous quotes containing the words pseudo, closed and/or fields:
“Logic is the last scientific ingredient of Philosophy; its extraction leaves behind only a confusion of non-scientific, pseudo problems.”
—Rudolf Carnap (1891–1970)
“Had I made capital on my prettiness, I should have closed the doors of public employment to women for many a year, by the very means which now makes them weak, underpaid competitors in the great workshop of the world.”
—Jane Grey Swisshelm (1815–1884)
“The greatest delight which the fields and woods minister, is the suggestion of an occult relation between man and the vegetable. I am not alone and unacknowledged. They nod to me, and I to them.”
—Ralph Waldo Emerson (1803–1882)