Misalkan daerah integral dan sebuah modul-. Submodul torsi adalah
(sebuah submodul: jika maka dengan ). Modul disebut bebas torsi jika , dan modul torsi jika .
Contoh
Contoh 3.2
Berikut tiga kasus yang memotivasinya.
- sebuah lapangan: modulnya adalah ruang vektor.
- : modulnya tepat berupa grup abelian (sebab terpaksa sama dengan ), dan submodulnya adalah subgrup.
- : modulnya berupa ruang vektor- beserta pemetaan linear- — sebaliknya, setiap pasangan dengan menjadi modul- lewat . Submodulnya tepat berupa subruang yang stabil terhadap .
Ideal tidak lain adalah submodul ; ring kuosien merupakan modul-. Berbeda dengan ruang vektor, modul dapat mempunyai torsi: di , unsur dimatikan oleh .