isInjective

isInjective f -- tells whether the ring map or module map f is injective.

See also isSurjective.

Go to main index.

Go to concepts index.