In this post we show the Mason-Stothers theorem, the so-called $abc$ theorem for polynomials, and derive Fermat's Last theorem and Davenport's inequality for polynomials. These three theorems correspond to the $abc$ conjecture, Fermat's Last Theorem and Hall's conjecture in number theory.
In this episode we focus on the rational field. What can we know about the Galois group of an irreducible polynomial with prime degree? There is a method by counting the number of nonreal roots. From this, we obtain an algorithm to compute the Galois group.