Оценка числа решений совокупности полиномиальных уравнений над $\mathbb{F}_p$

Я планирую рассказать об оценке числа решений совокупности полиномиальных уравнений над $\mathbb{F}_p$, которые принадлежат некоторой подгруппе мультипликативной группы поля вычетов. Эта оценка переносится на случай $\mathbb{Z}_{p^2}$ и может быть применена для оценки мощности пересечений между последовательностями, задаваемыми линейными рекуррентными соотношениями в $\mathbb{F}_p$.