  We present the theory of higher order invariants and higher order automorphic
forms in the simplest case, that of a compact quotient. In this case many
things simplify and we are thus able to prove a more precise structure theorem
than in the general case.
