Chinese remainder theorem for unit groups (source code)

= Chinese remainder theorem for unit groups
{c}

For coprime $m,n$, reduction gives $(\mathbb Z/mn\mathbb Z)^\times\cong(\mathbb Z/m\mathbb Z)^\times\times(\mathbb Z/n\mathbb Z)^\times$.