2 Halle una condición necesaria y suficiente para $a,b,n\in\mathbb{N^*}$ tal que para $S=\{a+bt\mid t=0,1,2,\cdots,n-1\}$ , exista una aplicación biyectiva $f: S\to S$ tal que para todo $x\in S$ , $\gcd(x,f(x))=1$ .