divisibilité

En arithmétique, on dit qu'un entier a est divisible par un entier b s'il existe un entier k tel que a = bk. On dit alors que a est un multiple de b, et que b divise a ou est un diviseur de a. La relation de divisibilité se note à l'aide d'une barre verticale : b divise a se note b|a et ne doit pas se confondre avec le résultat de la division de a par b noté a/b. La notion de divisibilité, c'est-à-dire la capacité d'être divisible, fonde l'étude de l'arithmétique, mais se généralise aussi à tout anneau commutatif. C'est ainsi que l'on peut aussi parler de divisibilité dans un anneau de polynômes.