Reduction map on unit groups

Reduction between quotient rings sends units to units and is surjective when every target unit avoids the same prime factors.