Invariant factor: Difference between revisions

Revision as of 14:04, 25 March 2013

Revision as of 20:10, 12 September 2013

Line 1:

The '''invariant factors''' of a [[module (mathematics)|module]] over a [[principal ideal ___domain]] (PID) occur in one form of the [[structure theorem for finitely generated modules over a principal ideal ___domain]].

If <math>R</math> is a [[Principal ideal ___domain|PID]] and <math>M</math> a [[Finitely-generated module|finitely generated]] <math>R</math>-module, then

:<math>M\cong R^r\oplus R/(a_1)\oplus R/(a_2)\oplus\cdots\oplus R/(a_m)</math>