Les structures algébriques

Anneau, corps, idéal : trois noms pris au langage courant ou à l’histoire, qui ne se corrigent pas séparément sans défaire la famille qu’ils forment.

Mathématiques

Pourquoi c’est confus

L’algèbre nomme ses structures par emboîtement : un corps est un anneau qui vérifie une condition de plus, un idéal est une partie d’un anneau qui en absorbe la multiplication. Les noms, eux, ne disent rien de cet emboîtement. « Anneau » et « corps » sont deux objets du monde ordinaire, sans rapport l’un avec l’autre ni avec ce qu’ils désignent, et « idéal » est un adjectif devenu nom par un chemin que personne ne refait seul.

Un étudiant qui découvre la famille apprend donc trois mots arbitraires avant d’apprendre une seule idée. Le vocabulaire se mémorise ; il n’explique rien.

Ce qu’une réforme demanderait

Renommer un seul de ces termes aggraverait les choses. Si « anneau » devenait descriptif et que « corps » restait tel quel, la hiérarchie serait masquée par une incohérence de registre : un nom qui dit ce qu’il désigne à côté d’un nom qui n’en dit rien.

Une réforme utile nommerait donc la famille entière selon un seul principe — ce que la structure permet de faire, pas à quoi elle ressemble —, et accepterait de produire des noms plus longs. C’est le prix d’un vocabulaire qui s’explique.

Risques

Le vocabulaire algébrique est fixé depuis plus d’un siècle, international dans ses calques, et porté par une littérature qu’aucune réforme ne réécrira. Le gain ne peut donc exister que dans l’enseignement initial, où rien n’oblige à employer le terme consacré avant de l’avoir expliqué.

Le risque propre à une réforme de la famille, et non d’un mot isolé, est de produire une nomenclature cohérente mais étrangère : un étudiant formé aux nouveaux noms ne reconnaîtrait plus les anciens dans les textes qu’il doit lire. Une réforme d’ensemble suppose donc une table de correspondance, et un enseignement qui tienne les deux.

Les termes de ce chantier

anneauPointé

Objet circulaire dans la langue courante, l’anneau désigne en algèbre un ensemble muni de deux opérations, sans la moindre idée de cercle.

corpsPointé

Le même mot désigne un objet physique, un cadavre, un recueil de textes et un anneau où toute division est possible, parfois dans la même conversation.

idéalProposé

Vestige des « nombres idéaux » de Kummer, le mot n’évoque aujourd’hui qu’une perfection, là où il désigne une partie d’anneau qui absorbe la multiplication.