Cole Frank Nelson

Imaginez une conférence où un mathématicien remplit le tableau de calculs, puis se tourne vers la salle sans dire un mot. Lors de cette conférence, Frank Nelson Cole a présenté la décomposition complète d’un très grand nombre de Mersenne.

Son geste avait une portée précise : montrer que M₆₇, écrit comme 2⁶⁷ − 1, n’était pas premier. La factorisation remplace ce nombre par le produit de deux facteurs plus petits. L’épisode rend visible la patience du calcul et le lien entre nombres premiers, théorie des nombres et histoire des mathématiques.

Frank Nelson Cole est un mathématicien américain dont les travaux relèvent surtout de la théorie des nombres et de la théorie des groupes. Cette dernière étudie des ensembles munis d’une opération et de règles de combinaison ; la source le rattache aussi à une thèse sur la résolution de l’équation du sixième degré.

L’épisode qui a consacré son nom concerne le nombre de Mersenne M₆₇. Ici, M désigne le nombre construit à partir de la puissance de 2 et l’indice 67 indique l’exposant. La notation complète est :

Une factorisation complète exprime le nombre comme un produit de facteurs qui ne se décomposent plus dans le cadre retenu. Les facteurs affichés sont premiers ; leur produit redonne exactement M₆₇. Édouard Lucas avait auparavant établi que M₆₇ n’était pas premier, tandis que Cole en a présenté la factorisation complète à la main, à Harvard puis à Columbia University après ses études à Harvard et son séjour à Leipzig sous la direction de Felix Klein.

Pour suivre l’épisode, on prend les données suivantes : l’exposant est 67 ; le nombre de départ est M₆₇ = 2⁶⁷ − 1 ; les deux facteurs annoncés sont 193707721 et 761838257287.

On calcule d’abord la puissance de 2 : $2^{67}2^\{67\}$ = 147573952589676412928.

On retire 1 : 147573952589676412928 − 1 = 147573952589676412927.

On vérifie ensuite le produit : 193707721 × 761838257287 = 147573952589676412927.

Le résultat est donc M₆₇ = 193707721 × 761838257287. Le contrôle est refaisable : le produit retrouvé est exactement le nombre obtenu par 2⁶⁷ − 1.

Pour raconter l’épisode de Cole, le geste utile consiste à distinguer trois étapes : construire M₆₇, établir qu’il n’est pas premier, puis rechercher ses facteurs. Cette séparation rend le récit historique aussi lisible que le calcul.

Pour vérifier une factorisation proposée, on multiplie les facteurs et on compare le produit à M₆₇. Si le produit diffère, la décomposition est à corriger ; s’il coïncide, le contrôle numérique est réussi.

Pour situer sa portée, on peut rapprocher cette histoire du glossaire sur les nombres de Mersenne : cette entrée est préférable lorsque la question porte sur la forme 2ⁿ − 1, et la fiche de Cole lorsque l’on cherche la personne et son calcul public.

Un nombre de Mersenne et Frank Nelson Cole. Un nombre de Mersenne est un objet numérique défini par sa forme 2ⁿ − 1 ; Cole est la personne associée ici à la factorisation de M₆₇. Le critère qui tranche est la nature de la réponse : une expression de la forme 2ⁿ − 1 désigne le nombre, tandis qu’un nom, une date ou une conférence désigne le personnage et son histoire.

Être composé et être factorisé. Édouard Lucas avait démontré que M₆₇ n’était pas premier ; Cole en a présenté la factorisation complète. Le premier énoncé donne un verdict sur la primalité, alors que le second fournit les facteurs eux-mêmes. Pour trancher, il faut demander si l’on cherche seulement « premier ou non » ou le produit détaillé.

Le nombre de départ ne suffit pas à justifier les facteurs. Connaître M₆₇ = 2⁶⁷ − 1 montre sa construction, mais ne valide pas automatiquement une décomposition. Le symptôme est un produit non vérifié ; il faut multiplier les facteurs et retrouver exactement 147573952589676412927.

« Non premier » ne signifie pas « factorisation complète ». Le premier verdict comporte deux possibilités pour M₆₇ : premier ou non premier. La factorisation complète ajoute l’identité 193707721 × 761838257287 ; il faut donc conserver les facteurs et contrôler leur produit.

Le silence de Cole est un fait de présentation, pas une méthode générale. La conférence est décrite comme mémorable parce que le calcul fut effectué à la main et sans parole. Il ne faut pas transformer cette mise en scène en règle de factorisation : pour vérifier le résultat, le bon réflexe reste le calcul explicite du produit.

Le glossaire nombre de Mersenne prolonge l’épisode en expliquant la famille de nombres à laquelle appartient M₆₇. Le lecteur gagne le cadre qui permet de comprendre pourquoi l’écriture 2⁶⁷ − 1 est le point de départ du calcul.

L’article La factorisation des grands entiers : élargit la scène de conférence à la question générale de la décomposition des grands nombres. Le lecteur gagne un prolongement sur le rôle de la factorisation au-delà de M₆₇.