Ph. Hall's theorem on transversals for modules

The necessary and sufficient condition for the semisimple module matching is obtained. Also the case of arbitrary modules over associative ring is considered. The proof is based on module theory and matroid theory.