Reflexive ideals and completely faithful modules of Iwasawa algebras (Q2322910)

For any compact \(p\)-adic Lie group \(G\), let us denote the integral Iwasawa algebra \(\Lambda_G\) of \(G\) over the ring \(\mathbb{Z}_p\) of \(p\)-adic integers. \textit{K. Ardakov} [J. Inst. Math. Jussieu 7, No. 3, 457--468 (2008; Zbl 1232.11115)] proved the following result: Let \(G=H\times Z\), where \(H\) is a torsion-free compact \(p\)-adic Lie group such that its Lie algebra is split semisimple over \(\mathbb{Q}_p\) and \(Z\cong \mathbb{Z}_p\). Let \(M\) be a finitely generated \(\Lambda_G\)-torsion module, which has no non-zero pseudo-null submodules. Let \(q(M)\) denote the image of \(M\) in the quotient category mod-\(\Lambda_G/\mathcal{C}^1_{\lambda_G}\) via the quotient functor \(q\), where \(\mathcal{C}^1_{\Lambda_G}\) denotes the Serre-subcategory of pseudo-null \(\Lambda_G\)-modules in mod-\(\Lambda_G\). Then \(q(M)\) is completely faithful if and only if \(M\) is \(\Lambda_Z\)-torsion free. It turns out that this result can be developed further, but it becomes considerably more subtle when allow \(Z\) to be isomorphic to the product of any finite number of copies of \(\mathbb{Z}_p\). The author of the present paper gives a natural generalization of Ardakov's result. More precisely, Let \(G\) be the group \(H\times Z\), where \(H\) is a torsion free compact \(p\)-Lie analytic group such that its Lie algebra is split semisimple over \(\mathbb{Q}_p\) and \(Z\cong\mathbb{Z}_p^n\), where \(n\geq 0\). Let \(M\) be a finitely generated torsion \(\Lambda_Z\)-module such that it has no non-zero pseudo-null submodules. Then \(q(M)\) is completely faithful if and only if \(M\) is \(\Lambda_Z\)-torsion free. The author also classify all the prime \(c\)-ideals of the Iwasawa algebra \(\Lambda_G\). The prime \(c\)-ideals of \(\Lambda_G\) are the ideals \(f\Lambda_G\), where \(f\) is a prime element of \(\Lambda_Z\).