isIdeal
isIdeal I
-- tells whether a module is an ideal.
An ideal is a submodule of a free module of rank 1.
Go to
main index
.
Go to
concepts index
.