Reduction map on unit groups (source code)

= Reduction map on unit groups
{wiki}

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