Diviseur propre

terme ambigu concernant les diviseurs d'un entier naturel

En mathématiques, un diviseur propre est un terme ambigu qui recouvre deux définitions légèrement différentes selon les ouvrages et les auteurs :

  • (a) Un diviseur propre d'un entier naturel n est un entier naturel diviseur de n mais distinct de n[1]. (Cette définition est synonyme d'un diviseur strict, alias partie aliquote.)
  • (b) Un diviseur propre d'un entier naturel n est un entier naturel diviseur de n mais distinct de n et de 1[2],[3],[4]. (Cette définition est synonyme d'un diviseur non trivial.)

La première définition est plus répandue, mais est ambigüe car les deux coexistent de fait : ainsi, le concept de nombre premier est couramment défini, soit comme « nombre dont le seul diviseur propre est 1 » (au sens de la première définition), soit comme « nombre n'ayant aucun diviseur propre »[2] (au sens de la seconde définition).

En général, soit un ouvrage définit ce terme avant de l'employer, soit il utilise les termes moins ambigus de diviseur strict et diviseur non trivial.

Références modifier