  We study the properties of the multiplicative structure on valuations on
convex sets. We prove a new version of the hard Lefschetz theorem for even
translation invariant continuous valuations, and discuss related problems of
integral geometry. Then we formulate a conjectural analogue of this result for
odd valuations.
