Codex Wiki OurBigBook logoOurBigBook.comSite Source code
Every finitely generated torsion-free module over a principal ideal domain is free. In the structure theorem, torsion-freeness removes every cyclic torsion summand and leaves only the free summand.

Ancestors (7)

  1. Structure theorem for finitely generated modules over a principal ideal domain
  2. Module theory
  3. Commutative algebra
  4. Algebra
  5. Area of mathematics
  6. Mathematics
  7. Home