Let
be a nilpotent-by-finite
compact
-adic analytic
group for some
, and
be its finite-by-(nilpotent
-valuable) radical.
Fix a finite field
of
characteristic
, and
write
for the completed
group ring of
over
. We show that
almost faithful
-stable
prime ideals
of
extend to
prime ideals
of
.
This is a crucial building block in understanding the prime spectrum of
.