  Over an algebraically closed field, various finiteness results are known
regarding the automorphism group of a K3 surface and the action of the
automorphisms on the Picard lattice. We formulate and prove versions of these
results over arbitrary base fields, and give examples illustrating how
behaviour can differ from the algebraically closed case.
