Bài tập 2, § 9

Giả sử K là ultrametric. Cho G là một nhóm Lie hữu hạn chiều, $\mathfrak{g}$ là đại số Lie của nó và A là một tập con hữu hạn của G. Khi đó $Z_G(A)$ là một nhóm con Lie của G với đại số Lie $\mathfrak{z}_\mathfrak{g}(A)$. (Lập luận như trong Mệnh đề 8.)