Well, the various products (at least the ones I am familiar with) come in sort of a hierarchy, ranging from most general to least (knit product, semidirect product, direct product) (and wreath product is a special case of a semidirect product)
as to how invertible they are, as far as I recall, not even the direct product is particularly invertible unless one assumes something extra about the group(s)