We establish the faithfulness of Verma modules for rational Iwasawa algebras of split semisimple compact L-analytic groups. We also prove the algebraic independence of Arens–Michael envelopes over Iwasawa algebras and compute the center of affinoid enveloping algebras of semisimple p-adic Lie algebras.