Modules over a PID - The Fundamental Theorem

#module_theory

We can use the structure theorem for free modules over a PID to prove a structure theorem for finitely generated modules over a PID.

The Fundamental Theorem: Invariant Factor Form

Fundamental Theorem for Finitely Generated Modules over a PID (Invariant Factor Form)

Let $R$ be a PID and $M$ be a finitely generated $R$ -module. Then:

There is an $R$ -module isomorphism
$M ≃ R^{n} \oplus R / ⟨ a_{1} ⟩ \oplus R / ⟨ a_{2} ⟩ \oplus \dots \oplus R / ⟨ a_{m} ⟩$
for some integer $n \geq 0$ and nonzero nonunit elements $a_{i} \in R$ that satisfy $a_{1} ∣ a_{2} ∣ \dots ∣ a_{m}$ ;
$M$ is torsion free if and only if $M$ is free; and
In the direct sum decomposition in (1),
$Tor (M) ≃ R / ⟨ a_{1} ⟩ \oplus R / ⟨ a_{2} ⟩ \oplus \dots \oplus R / ⟨ a_{m} ⟩ .$
In particular, $M$ is a torsion module if and only if $n = 0$ , in which case the annihilator of $M$ is the ideal $⟨ a_{m} ⟩$ .

Let's proves this result. Let ${m_{1}, \dots, m_{k}}$ be a set of generators for $M$ of minimal cardinality and let $π : F ({x_{1}, \dots, x_{k}}) \to M$ be the corresponding surjective $R$ -module morphism. By the First Isomorphism Theorem for modules we then have $F ({x_{1}, \dots, x_{k}}) / \ker (π) ≃ M$ . Using our structure theorem for free modules over a PID with the module $F ({x_{1}, \dots, x_{k}})$ and the submodule $\ker (π)$ , there is a new basis ${y_{1}, \dots, y_{k}}$ for $F ({x_{1}, \dots, x_{k}})$ and nonzero elements $a_{1}, \dots, a_{l} \in R$ with $a_{1} ∣ a_{2} ∣ \dots ∣ a_{l}$ such that ${a_{1} y_{1}, \dots, a_{l} y_{l}}$ is a basis for $\ker (π)$ .

For each index $1 \leq i \leq l$ , let $p_{i} : R \to R / ⟨ a_{i} ⟩$ be the $R$ -module projection, while for indices $l < i \leq k$ let $p_{i} : R \to R$ be the identity map. Noting that $F ({x_{1}, \dots, x_{k}}) ≃ ⟨ y_{1} ⟩ \oplus \dots \oplus ⟨ y_{k} ⟩$ and each submodule $⟨ y_{i} ⟩ = R y_{i} ≅ R$ , these morphisms together define a surjective $R$ -module morphism

ϕ : F ({x_{1}, \dots, x_{k}}) \to R / ⟨ a_{1} ⟩ \oplus \dots \oplus R / ⟨ a_{l} ⟩ \oplus \underset{k - l times}{\underset{⏟}{R \oplus \dots \oplus R}} .

In terms of the elements, this map is given by

⨁_{i = 1}^{k} α_{i} y_{i} \mapsto ⨁_{i = 1}^{l} (α_{i} + ⟨ a_{i} ⟩) + ⨁_{i = l + 1}^{k} α_{i} .

Noting that these are all formal sums (which we've tried to indicate using the formal sum notation), it's immediate that the kernel of this map is exactly $⟨ a_{1} y_{1} ⟩ \oplus \dots \oplus ⟨ a_{l} y_{l} ⟩ = \ker (π)$ . We can thus conclude

M ≃ F ({x_{1}, \dots, x_{k}}) / \ker (π) = F ({x_{1}, \dots, x_{k}}) / \ker (ϕ) ≃ R ⟨ a_{1} ⟩ \oplus \dots \oplus R / ⟨ a_{l} ⟩ \oplus \underset{k - l times}{\underset{⏟}{R \oplus \dots \oplus R}} .

For any of the $a_{i}$ that are units we have $R / ⟨ a_{i} ⟩ = {0}$ , so simply remove those terms from the direct sum. (Such $a_{i}$ would have to occur first in the list, since $a_{i}$ is a unit exactly when $⟨ a_{i} ⟩ = R$ , and the divisibility condition on the $a_{i}$ is equivalent to the containment condition $⟨ a_{1} ⟩ \supseteq ⟨ a_{2} ⟩ \supseteq \dots \supseteq ⟨ a_{l} ⟩$ .) Then upon letting $n = k - l$ and noting $\underset{n times}{\underset{⏟}{R \oplus \dots \oplus R}} ≃ R^{n}$ , we have proven (1).

Since $R / ⟨ a ⟩$ is a torsion $R$ -module for any nonzero $a \in R$ , property (1) immediately implies $M$ is torsion free exactly when $M ≃ R^{n}$ . This proves (2).

Finally, the annihilator of $R / ⟨ a ⟩$ is the ideal $⟨ a ⟩$ , so property (3) immediately follows.

Free rank and invariant factors

One can check the decomposition

M ≃ R^{n} \oplus R / ⟨ a_{1} ⟩ \oplus R / ⟨ a_{2} ⟩ \oplus \dots \oplus R / ⟨ a_{m} ⟩

is effectively unique. More precisely, if we have another decomposition

M ≃ R^{n^{'}} \oplus R / ⟨ b_{1} ⟩ \oplus R / ⟨ a_{2} ⟩ \oplus \dots \oplus R / ⟨ b_{m^{'}} ⟩

with $b_{1} ∣ b_{2} ∣ \dots ∣ b_{m^{'}}$ , then $n^{'} = n$ , $m^{'} = m$ and $⟨ b_{i} ⟩ = ⟨ a_{i} ⟩$ for each $i$ (hence $a_{i}$ and $b_{i}$ are the same up to unit). It is the divisibility condition that gives the uniqueness.

Definition of free rank and invariant factors

Let $R$ Be a PID and $M$ be a finitely generated $R$ -module. Suppose $M$ has a decomposition

M ≃ R^{n} \oplus R / ⟨ a_{1} ⟩ \oplus R / ⟨ a_{2} ⟩ \oplus \dots \oplus R / ⟨ a_{m} ⟩

with $a_{1} ∣ a_{2} ∣ \dots ∣ a_{m}$ . The integer $n$ is called the free rank of $M$ , and the elements $a_{1}, \dots, a_{m} \in R$ are called the invariant factors of $M$ .

Note that the invariant factors are only defined up to multiplication by units.

The Fundamental Theorem: Elementary Divisor Form

We can use the Chinese Remainder Theorem to decompose the cyclic modules in the invariant factor decomposition so that the new cyclic modules have annihilators that are as simple as possible. To do this, first note that since $R$ is a PID it's also a UFD. So for each nonzero element $a \in R$ we can write

a = u p_{1}^{α_{1}} \dots p_{s}^{α_{s}}

for some unit $u$ and distinct primes $p_{i}$ , unique up to multiplication by units. Since the primes are distinct, for each pair $i \neq j$ the ideals $⟨ p_{i} ⟩$ and $⟨ p_{j} ⟩$ are comaximal; i.e., $⟨ p_{i} ⟩ + ⟨ p_{j} ⟩ = R$ . The intersection of the ideals $⟨ p_{1} ⟩ \cap \dots ⟨ p_{s} ⟩$ is exactly $⟨ a ⟩$ , so by the Chinese Remainder Theorem we have

R / ⟨ a ⟩ ≃ R / ⟨ p_{1}^{α_{1}} ⟩ \oplus \dots \oplus R / ⟨ p_{s}^{α_{s}} ⟩ .

This is an isomorphism of both rings and $R$ -modules.

If we do this to each cyclic factor in the invariant form decomposition of a finitely generated $R$ -module $M$ , we obtain the following:

Fundamental Theorem for Finitely Generated Modules over a PID (Elementary Divisor Form)

Let $R$ be a PID and $M$ be a finitely generated $R$ -module. Then there is an $R$ -module isomorphism

M ≃ R^{n} \oplus R / ⟨ p_{1}^{α_{1}} ⟩ \oplus R / ⟨ p_{2}^{α_{2}} ⟩ \oplus \dots \oplus R / ⟨ p_{t}^{α_{t}} ⟩,

where $n$ is a nonnegative integer and $p_{1}^{α_{1}}, \dots, p_{t}^{α_{t}}$ are positive powers of (not necessarily distinct) primes in $R$ .

Note that the primes are no longer distinct, since different cyclic factors $R / ⟨ a_{i} ⟩$ and $R / ⟨ a_{j} ⟩$ may decompose into pieces with shared primes. However, as with the Invariant Factor Decomposition, this decomposition of $M$ is unique up to reordering and multiplication by units.

Definition of elementary divisors

Let $R$ Be a PID and $M$ be a finitely generated $R$ -module. Suppose $M$ has a decomposition

M ≃ R^{n} \oplus R / ⟨ p_{1}^{α_{1}} ⟩ \oplus R / ⟨ p_{2}^{α_{2}} ⟩ \oplus \dots \oplus R / ⟨ p_{t}^{α_{t}} ⟩,

as in the theorem above. The prime powers $p_{1}^{α_{1}}, \dots, p_{t}^{α_{t}}$ are called the elementary divisors of $M$ .

Note that the elementary divisors are only defined up to multiplication by units.

The Primary Decomposition Theorem

In the elementary divisor form decomposition of an $R$ -module $M$ , we can group together all of the cyclic summands with the same prime $p$ . What we obtain is the submodule $N$ of $M$ consisting of all elements of $M$ that are annihilated by some power of the prime $p$ . This idea leads to the following:

The Primary Decomposition Theorem

Let $R$ be a PID and $M$ be a nonzero torsion $R$ -module with nonzero annihilator $a$ . Suppose the prime factorization of $a$ in $R$ is

a = u p_{1}^{α_{1}} \dots p_{s}^{α_{s}},

and let $N_{i} = {m \in M ∣ p_{i}^{α_{i}} m = 0}$ . Then $N_{i}$ is a submodule of $M$ with annihilator $p_{i}^{α_{i}}$ and is the submodule of $M$ of all elements annihilated by some power of $p_{i}$ . We have

M ≃ N_{1} \oplus \dots \oplus N_{s} .

If $M$ is finitely generated then each $N_{i}$ is the direct sum of finitely many cyclic modules whose annhilators are divisors of $p_{i}^{α_{i}}$ .

In the above decomposition, the submodule $N_{i}$ is called the $p_{i}$ -primary component of $M$ .

Suggested next note

Rational Canonical Form I - Definition