Almost invariant subspaces and operators

We give an elementary proof of an efficient version of the Wagner’s theorem on almost invariant subspaces and deduce some consequences in the context of Galois extensions.