0

In Ireland and Rosen's A Classical Introduction to Modern Number Theory (Second Edition) the proof of Chapter 6 Section 4 Proposition 6.4.2. starts with dividing $x^p-1=(x-1)\prod_{j=1}^{p-1} (x-\zeta^j)$ by $x-1$ and then putting $x=1$ to obtain $p=\prod_r (1-\zeta^r)$. $\zeta$ is defined to be $e^{2\pi i/p}$.

See the full proof here

Why is $x-1$ allowed to be zero when we are dividing by it?

Bill Dubuque
  • 272,048
  • 6
    The quotient of the polynomial $x^p-1$ by the polynomial $x-1$ is the polynomial $P(x)=1+x+\dots+x^{p-1}.$ It is only this polynomial $P(x)$ which is evaluated at $1.$ They never divide by $0.$ – Anne Bauval Feb 15 '23 at 17:02
  • We have $\frac{x^p-1}{x-1}=1+x+x^2+\cdots +x^{p-1}$ by the geometric series. For $x=1$ we consider the right hand side, which gives $1+\cdots +1=p$. This is well defined and we do not divide by zero. – Dietrich Burde Feb 15 '23 at 17:11
  • 1

1 Answers1

3

This is a subtle point, so I understand your confusion. In general, if $P(x) = R(x)\cdot Q(x)$, $P,Q,R$ being polynomials, it is easy to see that $\frac{P(x)}{R(x)} = Q(x)$ for all $x$ not being roots of $R(x)$, but the left side has the problem of not a priori being well defined for $x$ a root of $R(x)$. It should actually be regarded as a convention, rather than a result, that when we write $\frac{P(x)}{R(x)}$ we actually mean $Q(x)$.

If you are really mad at this convention, you can think of it like this: we extend the domain of $f(x) = \frac{P(x)}{R(x)}$ to the roots of $R$ by continuity (i.e. $f(r):=\lim_{x\to r}\frac{P(x)}{R(x)}$ for $r$ a root of $R(x)$), which will give us the correct value (i.e. $f(r) = Q(r)$).

This phenomenom is much more general than just polynomials, and happens in fields such as complex analysis and geometry as well.

It is really a clash of notation versus the actual underlying objects. As demonstrated in the comments, doing polynomial division really yields that the resulting function is again a polynomial, and so, all should be well. The division notation and our notion of "plugging in" values of $x$ must be disregarded in this context.