If ReturnMap is set to true, then instead of embedAsIdeal converting a module into an isomorphic ideal, this also returns the map from the module to the ring.
Functions with optional argument named ReturnMap :
embedAsIdeal(..., ReturnMap => ...), see embedAsIdeal -- embed a module as an ideal of a ring