Using the common denominator , the three given generators becomeThus their submodule is contained in . For the reverse inclusion, the following explicit integer linear combination supplies the missing generator:soTherefore belongs to the generated submodule, and all its integer multiples belong as well. We have established equality in both directions:Finally, for an integer forces , so the single generator is linearly independent. Hence the required basis of a module is
Articles by others on the same topic
There are currently no matching articles.