installed \/ for a finite field element and an external ring