Une technique consistant à prendre deux chaines de sous-groupes subnormales d’un groupe, à entrelacer leurs termes pour produire un raffinement commun, puis à comparer les groupes facteurs obtenus afin de relier et d’ordonner les facteurs de composition des séries initiales.

Principe

Raffiner chaque série en insérant les intersections et sous-groupes intermédiaires appropriés de sorte que chaque facteur d’un raffinement soit isomorphe à un facteur de l’autre à permutation près ; la méthode s’appuie sur les identités de réseau pour intersections et produits de sous-groupes et sur la normalité des facteurs adjacents lorsque nécessaire.

Démonstration

Pour deux séries subnormales d’un groupe fini G, former un chaînage plus fin en insérant toutes les intersections des termes des deux séries ; l’argument de Schreier permet alors d’apparier les facteurs successifs des deux chaînes raffinées et de montrer qu’ils sont isomorphes, produisant ainsi un raffinement commun exposant le même multiensemble de types de facteurs.

Mauvaise application

Appliquer la procédure à des chaînes qui ne sont pas subnormales (les intersections peuvent ne pas satisfaire les conditions de normalité requises), ou omettre de vérifier la normalité des intersections dans les surgroupes pertinents, entraînant des déclarations erronées d’isomorphisme entre facteurs.

Conséquence

On obtient une comparaison canonique des facteurs de composition de deux séries subnormales ; combiné aux arguments de Jordan–Hölder, cela donne l’unicité des facteurs à permutation et isomorphisme près et éclaire la manière dont différentes séries se raffinent mutuellement.

Inversion

Au lieu de raffiner (insérer des termes intermédiaires), considérer le coarsening des deux chaînes en prenant des produits ou des quotients de termes successifs ; le coarsening efface des informations sur les facteurs individuels et détruit généralement la bijection des types d’isomorphisme assurée par le raffinement.

Limite

S’applique aux chaînes de sous-groupes où les exigences de normalité pour les groupes facteurs ou la subnormalité sont satisfaites ; il ne s’applique pas directement à des filtrations arbitraires dans des treillis non-groupe sans propriétés analogues de normalité et d’identités produit/intersection.

Tension sémantique

Souvent confondu avec le théorème de Jordan–Hölder : le raffinement de Schreier est une méthode constructive pour obtenir des raffinements communs, tandis que Jordan–Hölder est l’énoncé d’unicité sur les facteurs de composition ; les deux se complètent mais sont conceptuellement distincts.

Synthèse

La méthode de raffinement de Schreier consiste à intercaler systématiquement intersections et sous-groupes intermédiaires pour transformer deux séries subnormales en un raffinement commun dont les groupes facteurs se mettent en bijection par isomorphisme, expliquant ainsi la stabilité des types de facteurs sous changement de série.