Let ( R , m ) {\displaystyle {}(R,{\mathfrak {m}})} be a local noetherian K {\displaystyle {}K} -algebra. Then the intersection
is called the differential core of R {\displaystyle {}R} .