Option to return the minimal generating set B_A of K[B] as K[A]-module. Used by isSeminormalMA and isNormalMA.
The object ReturnMingens is a symbol.