Modultheorie (kommutative Algebra)/Definition