operations over a local ring (R, P)