isIdeal
isIdeal I
-- tells whether a module is an ideal.
An ideal is a submodule of a free module of rank 1.
