If the source and target of f are free, then the result is f itself. Otherwise, the source and target will be replaced by the free modules whose basis elements correspond to the generators of the modules.
See also map and matrix.
Go to main index.
Go to concepts index.