Text this: Noetherian module matrix over commutative ring