Similar submodules of projective modules

Cet article introduit une relation de similarité entre sous-modules de modules projectifs pour établir des bornes inférieures sur le nombre de sous-modules maximaux, construire une application canonique vers les idéaux maximaux de l'anneau des endomorphismes, et démontrer des résultats de décomposition et de longueur finie pour les modules fidèlement projectifs, avec des applications aux idéaux unilatéraux dans les anneaux de matrices.

L'essentiel

Imaginez que vous êtes un architecte chargé de concevoir des bâtiments complexes (ce que les mathématiciens appellent des modules). Ces bâtiments sont construits avec des briques spéciales provenant d'un univers appelé anneau. Votre travail consiste à comprendre comment ces bâtiments sont structurés, en particulier comment ils peuvent être divisés en étages ou en pièces (les sous-modules).

Ce papier, écrit par Alborz Azarang, est comme un guide pour comprendre comment ces pièces se ressemblent, comment elles se comptent, et ce que cela nous dit sur la fondation même du bâtiment (l'anneau).

Voici une explication simple, avec des analogies, des concepts clés de ce texte :

1. Le concept de "Ressemblance" (Similarité)

Dans le monde des mathématiques pures, deux pièces d'un bâtiment ne sont pas seulement "pareilles" si elles ont la même taille. Elles sont similaires si elles ont la même "forme structurelle" par rapport au reste du bâtiment.

• L'analogie : Imaginez que vous avez deux pièces dans un immeuble. Si vous pouvez prendre une pièce, la tourner, la déplacer et la faire correspondre parfaitement à l'autre sans casser la structure de l'immeuble, alors elles sont "similaires".
• L'apport du papier : L'auteur a créé une règle pour dire quand deux pièces (sous-modules) sont similaires. Il a découvert une loi surprenante : si une pièce est une "pièce maîtresse" (un sous-module maximal) et qu'elle n'est pas totalement unique (elle n'est pas "invariante", c'est-à-dire qu'elle ne résiste pas aux changements), alors il doit exister au moins trois pièces qui lui ressemblent. Vous ne pouvez pas avoir une seule pièce unique de ce type ; il y en a toujours un groupe.

2. Le miroir magique : L'anneau des transformations

Chaque bâtiment a un "anneau d'endomorphismes". C'est un peu comme un miroir magique ou un manuel de contrôle qui décrit toutes les façons possibles de transformer le bâtiment en lui-même (le déplacer, le tordre, le redimensionner) sans le détruire.

• Le lien : L'auteur montre qu'il existe une correspondance parfaite (une "clé") entre les pièces maximales de votre bâtiment et les "règles de contrôle" maximales de ce manuel.
• Pourquoi c'est important : Si vous voulez savoir combien de pièces uniques il y a dans le bâtiment, vous pouvez simplement compter les règles uniques dans le manuel. C'est comme dire : "Pour savoir combien de portes il y a dans la maison, regardez le nombre de clés différentes sur le trousseau."

3. La règle du "Local" (Le bâtiment unique)

En mathématiques, un "module local" est comme un bâtiment qui n'a qu'une seule entrée principale (un seul sous-module maximal).

• La découverte : Le papier confirme une vieille question : un bâtiment n'a qu'une seule entrée principale si et seulement si son manuel de contrôle (l'anneau) est lui-même "local" (très simple, avec peu de possibilités de transformation). C'est une symétrie parfaite entre le bâtiment et son plan.

4. La finitude et la décomposition

L'auteur étudie aussi ce qui se passe quand le bâtiment est fini (il a une longueur finie, comme un immeuble de 10 étages).

• L'analogie : Si votre manuel de contrôle (l'anneau) est fini et bien organisé (ce qu'on appelle "Artinien"), alors votre bâtiment doit aussi être fini et peut être décomposé en plusieurs petits blocs indépendants (des "briques locales").
• Le résultat : Si le manuel est fini, le bâtiment l'est aussi. Et si le bâtiment est fini et "bien connecté" (fidèlement projectif), alors la taille du manuel est exactement la même que la taille du bâtiment. C'est comme si la complexité de la structure et la complexité des règles étaient strictement égales.

5. L'application aux matrices (Le monde des nombres infinis)

La partie la plus spectaculaire du papier applique ces règles à des objets très connus : les matrices (des grilles de nombres).

• Le problème : Si vous prenez un anneau infini (comme les nombres réels ou un système infini de nombres) et que vous créez une grille de matrices (par exemple, des grilles 2x2 ou 3x3), combien de "portes de sortie" (idéaux maximaux) cette grille a-t-elle ?
• La conclusion explosive : Le papier prouve que si votre anneau de base est infini, alors votre grille de matrices a une infinité de portes de sortie qui ne sont pas "normales" (elles ne sont pas des idéaux bilatères).
• En langage simple : Si vous avez un système infini de nombres, dès que vous commencez à faire des grilles (matrices) avec, vous créez une explosion de nouvelles structures infinies. Vous ne pouvez pas avoir un système infini de matrices avec seulement quelques règles de sortie ; il y en a une infinité.

En résumé

Ce papier est une aventure qui dit :

1. Les pièces d'un bâtiment mathématique se ressemblent par groupes : Si une pièce est spéciale mais pas unique, il y en a au moins trois de ce type.
2. Le bâtiment et son manuel sont liés : Le nombre de pièces spéciales dans le bâtiment est directement contrôlé par le nombre de règles spéciales dans le manuel.
3. L'infini se multiplie : Si vous prenez un système infini et que vous le transformez en matrices, vous obtenez une infinité de nouvelles structures complexes.

C'est un travail qui relie la structure interne des objets mathématiques à la façon dont ils se comportent collectivement, offrant de nouvelles lunettes pour voir les nombres et les formes dans l'algèbre non commutative.

Résumé technique

Résumé Technique : Sous-modules Similaires de Modules Projectifs

1. Problématique et Motivation

L'article s'attaque à un problème fondamental en théorie des anneaux et des modules : la relation entre la structure des sous-modules maximaux d'un module projectif et la structure des idéaux de son anneau d'endomorphismes.

• Contexte : Il est bien établi qu'un anneau $R$ possède un unique idéal maximal à droite si et seulement s'il en possède un unique à gauche (anneau local). Ware [11] a étendu cette question aux modules projectifs, se demandant si un module projectif avec un unique sous-module maximal est nécessairement « local » (c'est-à-dire que ce sous-module contient tous les autres sous-modules propres). Sato [8] a récemment résolu ce problème de manière générale.
• Le Vide Théorique : Malgré ces avancées, il manquait un cadre systématique reliant la collection des sous-modules maximaux d'un module projectif à la structure des idéaux de son anneau d'endomorphismes, en particulier en généralisant la théorie classique de la similarité des idéaux à droite (développée par Cohn et al.) aux sous-modules.
• Objectif : L'auteur vise à combler ce vide en définissant une relation de similarité pour les sous-modules et en exploitant cette relation pour obtenir des bornes inférieures sur le nombre de sous-modules maximaux et pour établir des correspondances bijectives avec les idéaux maximaux de l'anneau d'endomorphismes.

2. Méthodologie

L'approche repose sur une généralisation rigoureuse des concepts de la théorie des anneaux aux modules :

• Définition de la Similarité : L'auteur définit deux sous-modules $N$ et $N'$ d'un module $M$ comme similaires ($N \sim N'$) si les quotients $M/N$ et $M/N'$ sont isomorphes en tant que $R$-modules. Cette définition généralise la similarité des idéaux à droite ($I \sim J \iff T/I \cong T/J$).
• Outils Clés :
  • L'utilisation de l'anneau propre (eigenring) $E(N) = I(N)/A$, où $I(N)$ est l'idéalisateur de $N$ dans $M$ et $A = \text{Hom}_R(M, N)$.
  • L'exploitation de la propriété de projectivité pour lever des isomorphismes de quotients vers des endomorphismes de $M$.
  • L'analyse des modules fidèlement projectifs (où le foncteur $\text{Hom}_R(M, -)$ est fidèlement exact) et des modules légèrement compressibles (retractables).
• Stratégie de Preuve : La méthode consiste à construire des applications injectives entre les classes de similarité de sous-modules maximaux et les éléments de l'anneau propre, permettant de compter les sous-modules distincts.

3. Contributions et Résultats Principaux

A. Relation de Similarité et Nombre de Sous-modules Maximaux

• Théorème 3.2 (Résultat Central) : Soit $N$ un sous-module maximal d'un module $M$. Alors, soit $N$ est invariant complet (fully invariant), soit la classe de similarité de $N$ contient au moins $1 + |E(N)|$ sous-modules maximaux distincts.
  • Conséquence : Si $N$ n'est pas invariant complet, alors $|\text{Max}(M)| \ge 3$. Cela généralise le fait qu'un anneau non local possède au moins 3 idéaux maximaux (si l'on considère la similarité).
• Corollaire 3.4 : Pour une algèbre $R$ sur un corps $K$, si $N$ n'est pas invariant complet, alors $|\text{Max}(M)| \ge 1 + |K|$.

B. Correspondance avec l'Anneau d'Endomorphismes

• Théorème 3.5 : Pour un module projectif $M$, l'application $N \mapsto \text{Hom}_R(M, N)$ est une injection de l'ensemble des sous-modules maximaux $\text{Max}(M)$ vers l'ensemble des idéaux maximaux à droite de l'anneau d'endomorphismes $\text{Max}_r(\text{End}_R(M))$.
  • Cela fournit une nouvelle preuve du théorème de Ware : un module projectif est local si et seulement si son anneau d'endomorphismes est local.
• Théorème 3.11 & Corollaire 3.15 : Pour un module fidèlement projectif, il existe une équivalence parfaite : deux sous-modules $N, N'$ sont similaires si et seulement si les idéaux à droite correspondants $\text{Hom}_R(M, N)$ et $\text{Hom}_R(M, N')$ sont similaires dans l'anneau d'endomorphismes.

C. Longueurs et Décompositions

• Théorème 3.7 : Si $M$ est un module fidèlement projectif et que son anneau d'endomorphismes $E$ est de longueur finie (Artinien à droite), alors $M$ est de longueur finie et se décompose en une somme directe de modules locaux (sommands projectifs fortement indécomposables).
• Théorème 3.8 : Si $M$ est projectif et de longueur finie, alors $E$ est de longueur finie avec $\ell(E_E) \le \ell(M_R)$. Si $M$ est fidèlement projectif, l'égalité $\ell(E_E) = \ell(M_R)$ est atteinte. Réciproquement, si cette égalité tient, $M$ est légèrement compressible.

D. Applications à la Théorie des Anneaux
L'article applique ces résultats aux anneaux eux-mêmes (en considérant l'anneau comme un module sur lui-même) :

• Bornes Inférieures : Si un anneau $T$ possède un idéal maximal à droite qui n'est pas un idéal bilatère, alors il possède au moins $1 + |I(M)/M|$ idéaux maximaux à droite non bilatères.
• Anneaux sur des Corps Infinis : Si $T$ est une algèbre sur un corps infini $K$ et n'est pas un anneau quasi-duo (où tous les idéaux maximaux sont bilatères), alors $T$ possède au moins $|K|+1$ idéaux maximaux non bilatères.
• Anneaux de Matrices : Pour un anneau de division infini $D$ et $n > 1$, l'anneau de matrices $M_n(D)$ possède une infinité d'idéaux maximaux à gauche et à droite qui ne sont pas des idéaux bilatères.
• Généralisation : Tout anneau contenant $M_n(D)$ (avec $D$ infini, $n>1$) possède une infinité d'idéaux maximaux unilatéraux non bilatères.

4. Signification et Impact

Ce travail apporte plusieurs avancées significatives :

1. Unification Théorique : Il étend la puissante théorie de la similarité des idéaux (habituellement réservée aux anneaux) à la catégorie des modules projectifs, créant un pont robuste entre la théorie des modules et la théorie des anneaux.
2. Quantification : Il fournit des bornes inférieures précises et non triviales pour le nombre de sous-modules maximaux, reliant directement cette quantité à la taille de l'anneau propre (eigenring).
3. Outils Structurels : Les résultats sur la longueur et la décomposition des modules fidèlement projectifs offrent des critères pratiques pour déterminer la structure de modules complexes via leur anneau d'endomorphismes.
4. Résolution de Questions Classiques : Les applications aux anneaux de matrices et aux algèbres sur des corps infinis résolvent des questions ouvertes concernant la densité des idéaux maximaux non bilatères, montrant que dans les contextes non commutatifs « riches » (comme les matrices sur des corps infinis), la structure des idéaux unilatéraux est intrinsèquement infinie.

En résumé, l'article d'Azarang établit que la « similarité » est un outil fondamental pour comprendre la richesse de la structure des sous-modules maximaux, transformant des questions d'existence en problèmes de comptage précis liés à la théorie des anneaux d'endomorphismes.