### An introduction to constructive algebraic analysis and its applications

Skip to main content (access key 's'),
Skip to navigation (access key 'n'),
Accessibility information (access key '0')

Back to Simple Search
# Advanced Search

We show how to use the extension and torsion functors in order to compute the torsion submodule of a differential module associated with a multidimensional control system. In particular, we show that the concept of the weak primeness of matrices corresponds to the torsion-freeness of a certain module.

**Page 1**