Talk:Pseudo algebraically closed field

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
WikiProject Mathematics (Rated Start-class, Low-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Low Importance
 Field:  Algebra

I'm afraid the new lead does not make sense. The Nullstellensatz does not hold for any non-algebraically closed field. In fact, already the weak Nullstellensatz for univariate polynomials implies that the field is algebraically closed: if f is a non-constant polynomial, then I = f K[x] is a proper ideal in K[x], hence V(I) is nonempty, i.e., f has a root. — Emil J. 13:35, 26 November 2009 (UTC)

Examples[edit]

The comment (consequence of Riemann Hypothesis for function fields) (twice) seems to be nonsense. I have removed it. Lichfielder (talk) 08:49, 20 September 2012 (UTC)

It appears to be correct, at least as far as the ultraproduct example is concerned. See Fried & Jarden (2004) p.217. Deltahedron (talk) 18:32, 21 September 2012 (UTC)

Formulation[edit]

I don't quite follow the statement If is a finitely generated integral domain over with quotient field which is regular over , then there exist a homomorphism such that for each . The field K = C is algebraically closed and so PAC. The field C(X) is a regular extension of C (any extension of an AC field is regular), and hence R = C(X) is a finitely generated integral domain with itself as field of fractions. But there is no C-homomorphism of C(X) to C. Is there a reference for this claim? Deltahedron (talk) 07:30, 13 November 2012 (UTC)

While I know nothing about the claim or any references, C(X) is not finitely generated over C as a ring. C[X] is, but then there are plenty of evaluation homomorphisms.—Emil J. 11:39, 13 November 2012 (UTC)
Yes, my mistake — finitely generated as a field but not as a ring. But a reference would still be good. Deltahedron (talk) 18:14, 13 November 2012 (UTC)