# Pseudo-anneau

En mathématiques, un pseudo-anneau est une des structures algébriques utilisées en algèbre générale. C'est un ensemble muni d'une addition et d'une multiplication qui vérifient les mêmes axiomes que celles d'un anneau, à ceci près qu'on n'exige pas la présence d'un élément neutre pour la multiplication.
Une minorité d'auteurs ne demandent pas aux anneaux d'avoir un neutre multiplicatif ; si l'on se réfère à leurs conventions, le présent article traite donc de ce qu'ils appellent des anneaux.
Il est possible d'ajouter une unité à un anneau qui en est dépourvu, ceci de plusieurs façons. Dans une certaine mesure, ces techniques permettent d'utiliser la théorie des anneaux unitaires pour traiter de questions concernant les pseudo-anneaux.

## Exemples

* Tous les anneaux (unitaires) sont a fortiori des pseudo-anneaux.
* L'ensemble 2Z des entiers relatifs pairs est un pseudo-anneau qui n'est pas un anneau.
* Un pseudo-anneau de carré nul A est un pseudo-anneau dans lequel le produit de deux éléments vaut toujours 0. Un pseudo-anneau de carré nul qui est par ailleurs unitaire est forcément réduit à l'anneau nul. Tout groupe abélien (A, +) peut être muni d'une structure de pseudo-anneau de carré nul en posant xy = 0 pour tous x et y de A.
* L'ensemble des matrices à coefficients dans Z de la forme ${\begin{pmatrix}a&b\\0&0\end{pmatrix}}$ est un pseudo-anneau. Il a une infinité de neutres à gauche (toutes les matrices de la forme ${\begin{pmatrix}1&c\\0&0\end{pmatrix}}$) mais aucun d'entre eux n'est neutre à droite : ce n'est donc pas un anneau unitaire.
* De nombreuses algèbres associatives sur R ou C, qui jouent un rôle essentiel en analyse fonctionnelle, sont dépourvues d'élément neutre multiplicatif et sont à ce titre des pseudo-anneaux : ainsi l'espace noté ${\mathcal {C}}_{0}(\mathbb {R} )$ des fonctions qui tendent vers zéro à l'infini sur R, ou l'espace de Schwartz des fonctions à décroissance rapide (muni de la multiplication usuelle des fonctions), l'espace L$^1$ des fonctions Lebesgue-intégrables sur R (muni de la convolution) ou l'espace des opérateurs compacts d'un espace de Hilbert de dimension infinie (muni de la composition des opérateurs).

## Un lemme

   Si un pseudo-anneau a exactement un neutre à gauche, celui-ci est également neutre à droite, et le pseudo-anneau est donc un anneau unitaire.
Notons e l'unique neutre à gauche. Pour tout a et tout b dans l'anneau,
    (e + ae – a)b = eb + a(eb) – ab = b + ab – ab = b,
donc e + ae – a est neutre à gauche. Comme le neutre à gauche est unique, e + ae – a = e, donc ae = a, et e se révèle être aussi neutre à droite.

## Concepts de base

* Morphismes : on peut les définir comme sur les anneaux, à ceci près qu'il n'y a que deux conditions à poser : un morphisme de pseudo-anneaux est une application entre deux pseudo-anneaux A et B qui vérifie, pour tous a et b :
    f(a + b) = f(a) + f(b)
    f(ab) = f(a)f(b).
* Sous-pseudo-anneaux : une sous-structure se définit ici comme un sous-groupe additif par ailleurs stable par multiplication.
* Idéaux et quotients : sans qu'il n'y ait rien à changer, on définit comme sur les anneaux les notions d'idéal à droite, d'idéal à gauche, d'idéal bilatère et de quotient par un idéal bilatère, ce quotient étant un pseudo-anneau.
* Éléments à dénomination spécifique : on définit exactement comme dans un anneau les puissances d'un élément x (à ceci près qu'il n'est plus possible de définir x$^0$), les diviseurs de zéro, les éléments nilpotents, les éléments idempotents.
* Caractéristique : faute de neutre multiplicatif, on peut tout de même en donner une définition qui ne repose que sur la structure de groupe abélien comme suit : soit A un pseudo-anneau. S'il existe un entier n > 0 tel que nA = {0}, on appelle caractéristique de A le plus petit tel entier ; s'il n'en existe pas, on dit que A est de caractéristique nulle. Lorsque l'anneau est unitaire, cette définition coïncide avec celle le plus habituellement fournie pour la caractéristique de celui-ci.
* Modules : on peut recopier la définition d'un module sur un anneau unitaire en y supprimant la condition relative au neutre multiplicatif (1x = x). Bourbaki appelle pseudomodule la structure ainsi définie.

## Adjonction d'une unité
### L'extension de Dorroh

Soit A un pseudo-anneau. Sur la somme directe externe Z ⊕ A des groupes abéliens additifs Z et A, on définit une multiplication en posant :
    (m + α)(n + β) = mn + nα + mβ + αβ pour tous m, n dans Z et tous α, β dans A.
On vérifie que cette multiplication est associative, et distributive par rapport à l'addition. De plus, 1 en est un élément neutre : on a donc construit un anneau unitaire.
Enfin, l'inclusion i de A dans Z ⊕ A est un morphisme de pseudo-anneaux : on a donc construit un anneau unitaire qui contient A. On l'appelle l'extension de Dorroh de A. On le notera A$^1$ dans la suite.
Il ressort immédiatement de la définition de A$^1$ que A en est un idéal (bilatère).
Exemples :
* si A = XZ[X], l'idéal des multiples de X dans l'anneau des polynômes sur Z (c'est-à-dire les polynômes sans terme constant), l'extension de Dorroh renvoie Z[X] ;
* en revanche, si A = 2Z, l'idéal des entiers relatif pairs, l'extension de Dorroh ne retourne pas Z mais un anneau ayant pour groupe additif sous-jacent Z$^2$ et qui contient des diviseurs de zéro ;
* si le pseudo-anneau A possédait déjà un neutre multiplicatif, qu'on notera ε, considérons F : Z × A → A$^1$ définie par F(k,α) = k – kε + α. On vérifie que c'est un isomorphisme d'anneaux (où Z × A a été muni des opérations d'anneau produit). Dans ce cas, l'extension de Dorroh contient donc forcément des diviseurs de zéro et n'a guère d'intérêt, sinon comme exemple.
Sans être un procédé d'une efficacité absolue, l'extension de Dorroh permet néanmoins souvent de ramener l'étude d'un pseudo-anneau à celle d'un anneau unitaire. En particulier, étant donné un pseudomodule sur A, on peut étendre son anneau de scalaires à A$^1$ (par la formule (m + α)x = mx + αx) ; par ailleurs, tout module sur A$^1$ devient un pseudomodule sur A par restriction des scalaires, ces deux transformations étant réciproques l'une de l'autre. Enfin, si l'on dispose de deux pseudomodules sur A, les morphismes entre eux sont les mêmes, que l'on considère leurs structures de pseudomodules ou leurs structures de modules sur A$^1$. Les catégories des A-pseudomodules et des A$^1$-modules sont donc exactement les mêmes.
Enfin, l'extension de Dorroh vérifie la propriété universelle suivante :
   Soit A un pseudo-anneau, A$^1$ son extension de Dorroh et i l'inclusion de A dans A$^1$. Pour tout anneau unitaire R et tout morphisme de pseudo-anneaux φ : A → R, il existe un et un seul morphisme d'anneaux unitaires φ$^1$ : A$^1$ → R pour lequel φ = φ$^1$ ∘ i.

### L'extension de Szendrei

Soit maintenant A un pseudo-anneau sans diviseur de zéro. Dans l'extension de Dorroh A$^1$, on note J l'ensemble des éléments c tels que cA = {0}, et l'on constate que J est un idéal bilatère de A$^1$. On peut donc considérer l'anneau unitaire quotient A$^1$/J.
Par ailleurs, en utilisant l'absence de diviseur de zéro dans A, on remarque que J ∩ A = {0} et A s'injecte donc encore dans A$^1$/J : on a donc construit un nouvel anneau unitaire qui contient A (qui n'a rien de nouveau si J = {0}). On l'appelle l'extension de Szendrei.
Cette extension est elle-même un anneau sans diviseur de zéro.
Soit a et b deux éléments de A$^1$ dont le produit est nul modulo J, et supposons que b n'est pas nul modulo J, en d'autres termes n'est pas dans J. Par définition de J, il existe donc un α élément de A tel que bα ≠ 0. On considère alors le produit αabα = α((ab)α) = 0 (dans ce calcul, (ab)α s'annule puisque ab ∈ J). On remarque par ailleurs que αa et bα sont tous deux dans A (celui-ci est un idéal bilatère de A$^1$) ; dès lors, l'identité (αa)(bα) = 0 dans l'anneau A sans diviseur de zéro entraîne αa = 0, puisque bα ≠ 0. Mais alors, pour tout β dans A, (αa)β = 0 qu'on regroupe en α(aβ) = 0. Dans ce produit, les deux facteurs sont dans A et le facteur α n'est pas nul ; puisque A est sans diviseur de zéro, on obtient aβ = 0. Ce qui prouve que a est nul modulo J.
Exemples :
* si A = XZ[X], l'idéal J est nul dans A$^1$=Z[X] : l'extension de Szendrei coïncide avec l'extension de Dorroh ;
* si A est un anneau unitaire sans diviseur de zéro, de neutre noté ε, on constate que J est l'ensemble des m(1 – ε), m parcourant Z, puis que l'extension de Szendrei de A est égale à A ;
* pour A = 2Z, notons η l'élément 2 de A (c'est nécessaire pour éviter les collisions de notations dans Z ⊕ A = Z1 ⊕ Zη). On vérifie alors que J = Z(2-η), puis que l'extension de Szendrei de A n'est autre que l'inclusion de 2Z dans Z.
L'extension de Szendrei vérifie la propriété de minimalité suivante (théorème de Szendrei) :
   Soit A un pseudo-anneau sans diviseur de zéro et S son extension de Szendrei. Alors S est un anneau unitaire sans diviseur de zéro ; de plus, toute extension unitaire sans diviseur de zéro de A contient S comme sous-anneau.
La deuxième partie de l'énoncé doit être comprise au sens formel suivant : si l'on note i l'inclusion de A dans S, pour tout morphisme de pseudo-anneaux injectif φ : A → T vers un anneau unitaire sans diviseur de zéro noté T, il existe un morphisme d'anneaux unitaires injectif ψ : S → T pour lequel φ = ψ ∘ i.

## Idéaux maximaux dans les pseudo-anneaux

Dans cette section, tous les anneaux sont supposés commutatifs.
On peut définir dans un pseudo-anneau commutatif un idéal premier en reprenant une des formes alternatives de la définition d'un idéal premier dans un anneau unitaire :
Un idéal I d'un pseudo-anneau A est dit premier lorsqu'il est différent de A et, pour tous x, y de A,
    xy ∈ I ⇒ x ∈ I ou y ∈ I.
Par le même raisonnement qu'en présence d'un neutre, on obtient la même conclusion, qui demande juste reformulation :
   Un idéal I d'un pseudo-anneau commutatif A est premier si et seulement si l'anneau quotient de A par I n'est pas réduit à {0} et ne possède pas de diviseurs de zéro.
De même, on peut définir un idéal maximal d'un pseudo-anneau commutatif A comme un idéal qui est maximal dans l'ensemble (ordonné par l'inclusion) des idéaux de A autres que A lui-même.
En voici un exemple. Dans le pseudo-anneau commutatif 2Z, le sous-groupe additif 4Z est manifestement un idéal maximal. Pourtant l'anneau quotient de A par I n'est pas un corps commutatif, mais est le pseudo-anneau de carré nul à deux éléments. En outre, 4Z n'est pas premier, quoique maximal. On peut déjà retenir de cet exemple que :
   Dans les pseudo-anneaux commutatifs, il existe des idéaux maximaux non premiers.
Pour mémoire, on rappelle qu'en théorie des anneaux commutatifs unitaires, les idéaux maximaux sont caractérisés par la production d'un anneau quotient qui est un corps. Un énoncé analogue quoique plus lourd existe.
   Un idéal I d'un pseudo-anneau commutatif A est maximal si et seulement si l'anneau quotient de A par I est soit un corps, soit un pseudo-anneau de carré nul sur un groupe additif cyclique de cardinal premier.
Une autre différence avec la théorie des anneaux unitaires concerne le théorème de Krull. Les démonstrations de celui-ci reposent de façon cruciale sur la présence d'une unité dans l'anneau ; en effet, on y utilise la stabilité de la classe des idéaux propres (c.-à-d. strictement inclus dans l'anneau) par union croissante, stabilité qui se justifie par le fait qu'une union croissante d'idéaux propres, qui est clairement un idéal, ne contient pas 1 donc est encore propre. Non seulement cet argument de démonstration tombe si l'on considère des pseudo-anneaux, mais aussi le théorème, comme le montre l'exemple suivant.
Soit k un corps commutatif. On note A l'anneau :
    $A:=k[X,X^{1/2},X^{1/3},X^{1/4},\ldots ].$
(on entend par cette notation le quotient $k[Y_{1},Y_{2},Y_{3},\ldots ]/(Y_{1}-Y_{2}^{2},Y_{1}-Y_{3}^{3},\ldots )$).
Dans cet anneau commutatif unitaire A, on considère l'idéal P engendré par les puissances fractionnaires de X, c'est-à-dire :
    $P:=(X,X^{1/2},X^{1/3},X^{1/4},\ldots )$
qui est manifestement un idéal maximal. On introduit alors l'anneau local A$_P$ localisé de A en P, et l'on note T l'unique idéal maximal de A$_P$. Dit plus concrètement, T est donc l'ensemble des éléments du corps des fractions de A qui ont une expression de la forme :
$cX^{r}{\frac {1+a_{1}X^{s_{1}}+\cdots +a_{m}X^{s_{m}}}{1+b_{1}X^{t_{1}}+\cdots +b_{n}X^{t_{n}}}}$
dans laquelle c, a$_1$,...,a$_m$,b$_1$,...,b$_n$ sont des scalaires tandis que les exposants r, s$_1$,...,s$_m$,t$_1$,...,t$_n$ sont des nombres rationnels strictement positifs.
   Le pseudo-anneau commutatif T défini ci-dessus n'a aucun idéal maximal.