# Pseudo algebraically closed field

PAC field

A field $K$ for which every non-empty algebraic variety defined over $K$ has a $K$-rational point. Clearly an algebraically closed field is PAC. The Brauer group of a PAC field is trivial.

More generally, let $O$ be a subset of $K$. The field $K$ is said to be PAC over $O$ if for every affine absolutely irreducible variety $V$ of dimension $n\ge0$ and for each dominating separable rational map $\phi : V \rightarrow A^r$ over $K$ there exists $a \in V(K)$ such that $\phi(a) \in O^r$. Each PAC field is PAC over itself.