In number theory, Mazur's control theorem, introduced by , describes the behavior in Z<sub>p</sub> extensions of the Selmer group of an abelian variety over a number field.