  We develop a formalism for studying descent and codescent in the context of
Iwasawa theory. The main result essentially states that to control descent or
codescent amounts to the same. Arithmetic applications are given.
