Situation 16.9.1. We are given a Noetherian ring $R$ and an $R$-algebra map $A \to \Lambda$ and a prime $\mathfrak q \subset \Lambda$. We assume $A$ is of finite presentation over $R$. In this situation we denote $\mathfrak h_ A = \sqrt{H_{A/R} \Lambda }$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).