operations over a local ring R_p