An effective version of the first Bertini theorem in nonzero characteristic and its applications

We suggest an effective algorithm for the first Bertini theorem in nonzero characteristic of the ground field. This allows us to improve the double-exponential lower bound for the degree of any system of generators of a polynomial ideal over a finite ground field.