Since their introduction by Kolyvagin, Euler systems have been used in several important applications in arithmetic algebraic geometry. For a $p$-adic Galois module $T$, Kolyvagin's machinery is designed to provide an upper bound for the size of the Selmer group associated to the Cartier dual $T^*$.