## [Adjonction D'Une Unité](/fr/node/63826) Définition Construction qui insère une structure algébrique sans unité (anneau, algèbre, etc.) dans une structure unitaire en adjoignant formellement un élément identité multiplicatif et en prolongeant les opérations pour que cet élément joue le rôle d'identité. ## Principe Principe Introduire un nouvel élément 1 et imposer les relations 1·x = x·1 = x pour tout x de la structure d'origine, puis étendre la multiplication et l'addition de façon compatible ; catégoriquement c'est une adjonction universelle fournissant un objet unitaire équipé d'un morphisme canonique depuis l'original. ## Démonstration Démonstration Pour une k-algèbre A sans unité, définir la unitarisation A˜ = k ⊕ A avec (λ,a)·(μ,b) = (λμ, λb + μa + a b). L'élément (1,0) est une identité multiplicative et A s'injecte comme {0} × A. ## Mauvaise application Mauvaise application Adjoindre une unité sans vérifier l'interaction avec des structures supplémentaires peut casser des propriétés souhaitées : par exemple, adjoindre formellement une identité à une algèbre topologique sans compléter la topologie peut détruire la complétude ou la continuité. ## Conséquence Conséquence La structure originale devient un sous-objet (souvent un idéal) d'une algèbre unitaire ; les applications universelles se prolongent de façon unique en homomorphismes unitaires depuis l'objet unitarisé, ce qui permet d'utiliser des outils qui exigent une identité. ## Inversion Inversion Retirer l'unité adjointe ramène à l'idéal d'augmentation ou à l'algèbre non unitaire d'origine ; catégoriquement, c'est le foncteur d'oubli des objets unitaires vers les objets non unitaires qui oublie l'identité et la traite comme un marqueur externe. ## Limite Limite S'applique aux structures algébriques où une identité multiplicative a du sens ; la construction ne préserve pas automatiquement la finitude, la topologie, la graduation ou d'autres structures annexes sauf si elles sont prises en compte lors de la unitarisation. ## Tension sémantique Tension sémantique Peut être confondu avec la localisation ou l'adjonction d'un idempotent : la unitarisation ajoute universellement une identité centrale, tandis que la localisation inverse des éléments et l'adjonction d'idempotents produit un comportement algébrique différent ; 'unitarisation' et 'adjonction d'une unité' sont proches mais mettent l'accent différemment. ## Synthèse Synthèse L'adjonction d'une unité est le procédé universel qui transforme un objet algébrique non unitaire en un objet unitaire en ajoutant une identité formelle et en prolongeant les opérations afin que l'original s'intègre comme idéal ou sous-objet, permettant l'usage d'homomorphismes unitaires et d'outils liés à l'existence d'une unité.