  We study the combinatorics of hyperplane arrangements over arbitrary fields.
Specifically, we determine in which situation an arrangement and its reduction
modulo a prime number have isomorphic lattices via the use of minimal strong
$\sigma$-Gr\"obner bases. Moreover, we prove that the Terao's conjecture over
finite fields implies the conjecture over the rationals.
