Theorem

Structure Theorem for Finitely Generated Modules over a Principal Ideal Domain

Algebra

Every finitely generated module over a principal ideal domain decomposes uniquely as a direct sum of a free module and cyclic torsion modules. It generalizes the classification of finitely generated abelian groups and underlies the theory of canonical matrix forms such as Jordan normal form.

Facts

Statement

Every finitely generated module over a principal ideal domain is isomorphic to a direct sum of a free module of finite rank and finitely many cyclic torsion modules; the theorem has two standard forms, the invariant factor decomposition, where each torsion summand's order divides the next, and the primary decomposition, where each torsion summand has order a power of a single prime. 1

Classification

Statement Form

Classification Theorem 1

Connections

Has Statement Form

Classification Theorem

In Branch

Algebra

Sources

1. Structure theorem for finitely generated modules over a principal ideal domain (Wikipedia)

Wikimedia Foundation

Introduction
In mathematics, in the field of abstract algebra, the structure theorem for finitely generated modules over a principal ideal domain is a generalization of the fundamental theorem of finitely generated abelian groups and roughly states that finitely generated modules over a principal ideal domain (PID) can be uniquely decomposed in much the same way that integers have a prime factorization.
In Group: General and Universal Algebra, Lead section
In mathematics, in the field of abstract algebra, the structure theorem for finitely generated

Switch Atlas

The Inner World

The Civil World

The Natural World

Structure Theorem for Finitely Generated Modules over a Principal Ideal Domain

Has Statement Form

In Branch