模同构

module isomorphism