Yes, it always exists.
If we assume that there is not a minimal submodule, then we can consruct a sequence of submodules such that and for every . Indeed, let be arbitrary submodule.
Now suppose that is constructed. Since it is not a minimal submodule, there is submodule . So take as . So is consructed.
Then our module is not artinian.
Comments
Leave a comment