Galois theory for post algebras. I