A Sehgal's problem (Q2707211)

Let \(S\) be a commutative Noetherian ring and \(I\) a proper ideal in \(S\). The classical intersection theorem of Krull states that \(x\in\bigcap_{n=1}^\infty I^n\) if and only if \((1-t)x=0\) for some \(t\in I\). Assume now that \(RG\) is a group ring over a commutative integral domain \(R\). Let \(A(RG)\) denote the augmentation ideal and let \(A^\omega(RG)=\bigcap_{i=1}^\infty A^i(RG)\). By definition, the intersection theorem holds for \(A(RG)\) if \(A^\omega(RG)(1-a)=0\) for some \(a\in A(RG)\). The author gives necessary and sufficient conditions for the intersection theorem to hold, thereby extending results of \textit{M. M. Parmenter} and \textit{S. K. Sehgal} [Arch. Math. 24, 586-600 (1973; Zbl 0291.20008)] to arbitrary groups and coefficient rings. A necessary condition for the intersection theorem to hold is the following: Let \(D_\omega(RG)\) denote the subgroup of \(G\) of all \(g\), such that \(1-g\in A^\omega(RG)\). Then \(D_\omega(RG)\) has to be the largest finite subgroup of \(G\) of order invertible in \(R\).