Operations over a local ring (R, P)