The cancellation law for inf-convolution of convex functions
Conditions under which the inf-convolution of f and g has the cancellation property (i.e. f □ h ≡ g □ h implies f ≡ g) are treated in a convex analysis framework. In particular, we show that the set of strictly convex lower semicontinuous functions on a reflexive Banach space such that constitutes a semigroup, with inf-convolution as multiplication, which can be embedded in the group of its quotients.