|
7.7.17.0. is_cenBimodule
Procedure from library nchomolog.lib (see nchomolog_lib).
- Usage:
- is_cenBimodule(M); M module
- Compute:
- 1, if a module, presented by M can be centralizing in the sense of Artin and 0 otherwise
- Note:
- only one condition for centralizing factor module can be checked algorithmically
Example:
|