Processus d'extension d'une structure algébrique en ajoutant un nouvel élément (ou des symboles) soumis à des relations algébriques spécifiées, produisant un objet plus grand défini par générateurs et relations ou par une propriété universelle.

Principe

Construire l'extension libre sur la structure d'origine munie d'un nouveau générateur, puis quotienter par la plus petite congruence ou idéal imposant les relations souhaitées ; catégoriquement, il s'agit de former une somme amalgamée ou un coproduit avec relations.

Démonstration

Adjoindre un élément x à un corps k tel que f(x)=0 donne k[x]/(f) ; si f est irréductible on obtient une extension de corps. Adjoindre un indéterminé t à un anneau R donne l'anneau de polynômes R[t], l'algèbre libre sur un générateur.

Mauvaise application

Adjoindre un élément sans préciser des relations cohérentes peut produire des contradictions ou effondrer la structure (par exemple en imposant des équations incompatibles), ou être inutile si le nouvel élément est en réalité identifié à un existant par des relations négligées.

Conséquence

Crée des extensions, de nouveaux modules ou de nouveaux morphismes et ajoute souvent des degrés de liberté algébriques ; les propriétés universelles garantissent l'unicité des applications depuis l'objet étendu qui respectent les relations.

Inversion

Quoiter par l'idéal engendré par l'élément adjoint (ou envoyer le générateur sur zéro) supprime le générateur ajouté ; conceptuellement, prendre un rétract ou imposer des relations supplémentaires peut ramener l'élément adjoint dans la structure d'origine.

Limite

Nécessite une spécification claire des relations et de la catégorie ambiante (anneaux, algèbres, modules, corps) ; pour les corps, l'adjonction de racines non séparables en caractéristique positive demande des précautions.

Tension sémantique

Proche de l'adjonction libre de variables versus l'adjonction de racines algébriques : la première produit des objets libres ou polynomiaux, la seconde produit des extensions algébriques et dépend de la factorisation ; l'erreur vient souvent de confondre 'symbole formel' et 'racine d'un polynôme'.

Synthèse

Adjoindre un élément revient à agrandir de façon contrôlée un objet algébrique en ajoutant un générateur et en imposant des relations ; on réalise cela soit par une construction libre (polynômes/tenseur) soit par un quotient qui encode des propriétés algébriques spécifiques.