An algorithm for determining the simplicity of a modular group representation

Let G be a finite group an F and arbitrary splitting field for G. Using the Amitsur-Levitzki theorem on the polynomial identities satisfied by a matrix ring over a commutative ring an algorithm is given for finding the minimal dimension t for which there is a simple t-dimensional FG-submodule U in a faithful FG-module M of dimension n