We consider the problem of adaptive error control in the finite elemen
t method including the error resulting from inexact solution of the di
screte equations. We prove a posteriori error estimates for a prototyp
e elliptic model problem discretized by the finite element method with
a canonical multigrid algorithm. The proofs are based on a combinatio
n of so-called strong stability and the orthogonality inherent in both
the finite element method and the multigrid algorithm.