Talk:Pseudo algebraically closed field
![]() | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
|
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)