  Given a smooth projective variety $X$ over a field, consider the $\mathbb
Q$-vector space $Z_0(X)$ of 0-cycles (i.e. formal finite $\mathbb Q$-linear
combinations of the closed points of $X$) as a module over the algebra of
finite correspondences. Then the rationally trivial 0-cycles on $X$ form an
absolutely simple and essential submodule of $Z_0(X)$.
