\alpha\in Z_p