# factor -- factor a ring element or a ZZ-module

## Description

(Disambiguation: for division of matrices, which can be thought of as factoring one homomorphism through another, instead see Matrix // Matrix. For lifting a map between modules to a map between their free resolutions, see extend.)

## For the programmer

The object factor is .