Polynomial ring/K/Division/Definition

Let ${\displaystyle {}K}$ be a field. We say that a polynomial ${\displaystyle {}T\in K[X]}$ divides a polynomial ${\displaystyle {}P\in K[X]}$, if there exists a polynomial ${\displaystyle {}Q\in K[X]}$ such that

${\displaystyle {}P=TQ\,.}$