Talk:Pseudo algebraically closed field

Latest comment: 11 years ago by Deltahedron in topic Formulation

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)Reply

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)Reply

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)Reply

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)Reply

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)Reply
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)Reply