  A criterion for comonadicity of the extension-of- scalars functor associated
to an extension of (not necessarily commutative) rings is given. As an
application of this criterion, some known results on the comonadicity of such
functors are obtained.
