Presentation of the Iwasawa algebra of the first congruence kernel of a semi-simple, simply connected Chevalley group over \(\mathbb{Z}_p\) (Q1663532)

\textit{M. Lazard}, in his seminal work [Publ. Math., Inst. Hautes Étud. Sci. 26, 389--603 (1965; Zbl 0139.02302)] studied non-commutative Iwasawa algebras for pro-\(p\) groups. They are completed group algebras \[ \Lambda(P) :=\varprojlim_{N\underline P} \mathbb{Z}_p[P/N], \] where \(\mathbb{Z}_p\) is the ring of \(p\)-adic integers, \(P\) is a pro-\(p\) group and the inverse limit is taken over the open normal subgroups \(N\) of \(P\). It seems that explicit description, by generators and relations, of these algebras was inaccessible. However, as noticed by \textit{L. Clozel} [Doc. Math. 16, 545--559 (2011; Zbl 1263.22011)], \textit{J.-P. Serre}'s presentation of semi-simple Lie algebras [Complex semisimple Lie algebras. Translated from the French by G. A. Jones. Reprint of the 1987 ed. New York, NY: Springer (2001; Zbl 1058.17005)] and \textit{R. Steinberg}'s presentation of Chevalley groups [Lectures on Chevalley groups. Notes prepared by John Faulkner and Robert Wilson. New Haven, CT: Yale University (1968; Zbl 1196.22001)] make us believe that the objects coming from semi-simple split groups have explicit presentation. In this well-written paper under review, the author gives an explicit presentation (by generators and relations) of the Iwasawa algebra for the first congruence kernel of a semi-simple, simply connected Chevalley group over \(\mathbb{Z}_p\), extending the proof given by Clozel [loc. cit] for the group \(\Gamma_1(\text{SL}_2(\mathbb{Z}_p))\), the first congruence kernel of \(\text{SL}_2(\mathbb{Z}_p)\) for primes \(p>2\). Let \(G\) be a semi-simple, simply connected Chevalley group over \(\mathbb{Z}_p\). We can view \(G\) as a group scheme over \(\mathbb{Z}\) and denote \(G(1):= \text{ker}(G(\mathbb{Z}_p)\longrightarrow G(\mathbb{Z}/p\mathbb{Z}))\) to be the principal congruence kernel. It should be remarked that the subtle construction of ordered basis for \(G(1)\) will be very useful for the cohomology of uniform pro-\(p\) groups.