example of free module
from the definition, is http://planetmath.org/node/FreeModulefree as a -module for any positive integer .
A more interesting example is the following:
Theorem 1.
The set of rational numbers do not form a http://planetmath.org/node/FreeModulefree -module.
Proof.
First note that any two elements in are -linearly dependent. If and , then . Since basis (http://planetmath.org/Basis) elements must be linearly independent, this shows that any basis must consist of only one element, say , with and relatively prime, and without loss of generality, . The -span of is the set of rational numbers of the form . I claim that is not in the set. If it were, then we would have for some , but this implies that which has no solutions for ,, giving us a contradiction. ∎
Title | example of free module |
---|---|
Canonical name | ExampleOfFreeModule |
Date of creation | 2013-03-22 13:48:41 |
Last modified on | 2013-03-22 13:48:41 |
Owner | mathcam (2727) |
Last modified by | mathcam (2727) |
Numerical id | 5 |
Author | mathcam (2727) |
Entry type | Example |
Classification | msc 13C10 |