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)