Ya que la pregunta es con la etiqueta "álgebra abstracta" vamos a usar un poco, viz. congruencias.
Prueba de $\,\ {\rm mod}\,\ x-1\!:\,\ x\equiv 1\,\color{#c00}{\overset{\rm CP}\Rightarrow}\, x^n\equiv 1^n \ $ $\ x-1\mid x^n-1$
el uso de $\,\rm\color{#c00}{CP}$ = Congruencia de Alimentación de la Regla (o reiterado de Productos de la Regla), cuya prueba simple es exactamente el mismo, como es el anillo de enteros, ya que se utiliza sólo conmutativa anillo de leyes.
O, especializándose $\,a = x\!-\!1\,$ por debajo (inductivo para la prueba de la primera plazo de un binomio de expansión), inmediatamente los rendimientos que $\,x^n = 1 + (x\!-\!1)k,\,$ $\,k\in\Bbb Z[x],\ $ $\ x\!-1\mid x^n\!-\!1\,$ $\,\Bbb Z[x].$
$$\begin{align} (1+ a)^n\, \ \ =&\,\ \ 1 + ak\qquad\qquad\quad {\rm i.e.}\ \ P(n)\\[1pt]
\Rightarrow\ (1+a)^{\color{#c00}{n+1}}\! =&\ (1+ak)(1 + a)\\[2pt]
=&\,\ \ 1+ a\,(\underbrace{k\!+\!1\!+\!ka\!}_{\large k'})\ \ \ {\rm i.e.}\ \ P(\color{#c00}{n\!+\!1})\\
\end{align}\qquad$$
El de arriba es esencialmente un caso especial de la prueba previa usando congruencias, sin el uso de la lengua de congruencias.