In $Z[x]$, which pairs of $a,b$ commute as modulo operators, such that ($c$ mod $a$) mod $b =$ ($c$ mod $b$) mod $a$ for every $c$?

137 Views Asked by At

In $Z[x]$, which pairs of $a,b$ commute as modulo operators, such that ($c$ mod $a$) mod $b =$ ($c$ mod $b$) mod $a$ for every $c$?

What I got so far is:

Clearly the equasion holds for every pair where one polynomial divides the other.

Another group of pairs are these with $deg(a)=0$ and lead_coeff$(b)=1$.

However, especially the second group seems pretty arbitrary, and it feels like I am missing the bigger picture. Is there a neccessary and sufficient condition for $a,b$?