しかし一般に、任意の-加群は必ずしも-加群の剰余還元として得られるわけではなく、そのようにして得られる加群は持ち上げ可能("liftable")であると言う。