A factorization theorem for comaps of geometric lattices

A function γ: K → L between two geometric lattices K and L is a normalized comap if it preserves the relations: x covers or equals y, meets of modular pairs, and the minimum. The theorem, a normalized comap can be factored into an injection followed by a retraction onto a modular flat, is proved.