f este izomorfism de corpuri daca:
f(x+y)=f(x)*f(y)
f(x·y)=f(x)of(y)
f bijectiva
f(x+y)=f(x)*f(y)⇒a(x+y)+b=(ax+b)*(ay+b)⇒
ax+ay+b=ax+b+ay+b-4⇒b=4
f(x·y)=f(x)of(y)⇒axy+4=(ax+4)o(ay+4)⇒
axy+4=(ax+4)(ay+4)-4(ax+4)-4(ay+4)+20
a²xy-axy=0
axy(a-1)=0⇒a=1
f(x)=1x+4=x+4 bijectiva
Concluzie :a=1 si b=4.