Definition 10.133.4. Let R \to S be a ring map. Let M be an S-module. The module P^ k_{S/R}(M) constructed in Lemma 10.133.3 is called the module of principal parts of order k of M.
Definition 10.133.4. Let R \to S be a ring map. Let M be an S-module. The module P^ k_{S/R}(M) constructed in Lemma 10.133.3 is called the module of principal parts of order k of M.
Comments (0)