Definition: The module has only the two trivial submodules.
(No citations retrieved.)
(No metaproperty information retrieved.)