Գրեք սա: Modules over discrete valuation domains