A Sehgal's problem

Group rings (16S34) Group rings of finite groups and their modules (group-theoretic aspects) (20C05) Group rings of infinite groups and their modules (group-theoretic aspects) (20C07) Subgroup theorems; subgroup growth (20E07)

Review text

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

Recommendations

Cited in

(1)

A Pearcy-Shields problem

This page was built for publication: A Sehgal's problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2707211)