Statement
When a vector space over a field F has a finite generating set, then one may extract from it a basis consisting of a finite number n of vectors, and the space is therefore isomorphic to Fn. The corresponding statement with the F generalized to a principal ideal domain R is no longer true, as a finitely generated module over R need not have any basis. However such a module is still isomorphic to a quotient of some module Rn with n finite (to see this it suffices to construct the morphism that sends the elements of the canonical basis Rn to the generators of the module, and take the quotient by its kernel.) By changing the choice of generating set, one can in fact describe the module as the quotient of some Rn by a particularly simple submodule, and this is the structure theorem.
The structure theorem for finitely generated modules over a principal ideal domain usually appears in the following two forms.
Read more about this topic: Structure Theorem For Finitely Generated Modules Over A Principal Ideal Domain
Famous quotes containing the word statement:
“I think, therefore I am is the statement of an intellectual who underrates toothaches.”
—Milan Kundera (b. 1929)
“The honor my country shall never be stained by an apology from me for the statement of truth and the performance of duty; nor can I give any explanation of my official acts except such as is due to integrity and justice and consistent with the principles on which our institutions have been framed.”
—Andrew Jackson (1767–1845)
“Children should know there are limits to family finances or they will confuse “we can’t afford that” with “they don’t want me to have it.” The first statement is a realistic and objective assessment of a situation, while the other carries an emotional message.”
—Jean Ross Peterson (20th century)