The Metaplectic Representation is Faithful

We develop methods to show that infinite-dimensional modules over the Iwasawa algebra $KG$ of a uniform pro-p group are faithful and apply them to show that the metaplectic representation for the symplectic group is faithful.