next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
home
image -- image of a map
Description
image h
-- yields the image of the homomorphism
h
.
The result will be a submodule of the target of h
If h is a ring element, it is interpreted as a one by one matrix.
Ways to use
image
:
image(ChainComplexMap)
image(GradedModuleMap)
image(Matrix)
image(RingElement)