@JonPridham If we tensor with the maximal ideal of an Artin local ring, is these two definitions equivalent? I have edited my question and could you have a look again?
↧