isPrimary Q
isPrimary(Q, P)
isPrimary(M, Q)
Checks to see if a given submodule Q of a module M is primary, i.e. whether or not M/Q has exactly one associated prime (which is equivalent for finitely generated modules over Noetherian rings). If the input is a single ideal, then the ambient module is taken to be the ring (i.e. the free module of rank 1), and does not need to be specified.
|
|
|
|
|
The object isPrimary is a method function with options.