Definition 15.50.1. A ring $R$ is called a G-ring if $R$ is Noetherian and for every prime $\mathfrak p$ of $R$ the ring map $R_\mathfrak p \to (R_\mathfrak p)^\wedge$ is regular.

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).