"Also consider gr Q G = ⨁ p ≥ 0 I p / I p + 1 {\displaystyle {\mbox{gr }}{\mathbb {Q} }G=\bigoplus _{p\geq 0}I^{p}/I^{p+1}} "
