Fiber criteria for flatness and homomorphisms of flat affine group schemes

A very useful result concerning flatness in Algebraic Geometry is EGA’s fiber'' criterion. We propose similar fiber criteria to verify flatness of a module while avoiding finiteness’’ assumptions. Motivated by a Tannakian viewpoint (where the category of representations comes to the front), we derive applications to the theory of affine and flat group schemes.