Using the common denominator , the three given generators become
Thus their submodule is contained in . For the reverse inclusion, the following explicit integer linear combination supplies the missing generator:
so
Therefore 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 (0)

There are currently no matching articles.