Centrality of ${\mathrm{K}}_2$ for Chevalley groups: a pro-group approach

Andrei Lavrenov, Sergey Sinchuk, Egor Voronetsky

We prove the centrality of ${\mathrm{K}}_2({\mathsf{F}}_4,R)$ for an arbitrary commutative ring $R$. This completes the proof of the centrality of ${\mathrm{K}}_2(\Phi ,R)$ for any roo…