Hauteur (groupe abélien)

Soit A un groupe abélien et g un élément de A. La p-hauteur de g dans A, notée h_p(g), est le plus grand nombre naturel n tel que l'équation pⁿx = g a une solution x ∈ A, ou le symbole ∞ si une solution existe pour tout n. Ainsi, h_p(g) = n si et seulement si g ∈ pⁿAet g ∉ pⁿ⁺¹A. Cela permet d'affiner la notion de hauteur.

Pour tout ordinal α, il y a un sous-groupe p^αA de A qui est l'image de la multiplication par p itérée α fois, définie à l'aide de récurrence transfinie :

• p⁰A = A;
• p^α+1A= p(p^αA);
• p^βA=∩_{α < β} p^αA si β est un ordinal limite.

Les sous-groupes  p^αA forment une filtration décroissante du groupe A, et leur intersection est le sous-groupe des éléments p-divisibles de A, dont les éléments sont affectés de la hauteur ∞. La  p-hauteur modifiée h_p^∗(g) = α si g ∈ p^αA,mais g ∉ p^α+1A. La construction de p^αA est fonctorielle dans A; en particulier, les sous-quotients de la filtration sont des invariants des isomorphismes de A.

Soit p un nombre premier. Le (premier) sous-groupe d'Ulm d'un groupe abélien A, notée U(A) ou A¹, p^ωA = ∩_n pⁿA, où ω est le plus petit ordinal infini. Il se compose de tous les éléments d'A de hauteur infinie. La famille {U^σ(A)} de sous-groupes d'Ulm indexés par des ordinaux σ est définie par récurrence transfinie :

• U⁰(A) = A;
• U^σ+1(A) = U(U^σ(A));
• U^τ(A) = ∩_{σ < τ} U^σ(A) si τ est un ordinal limite.

De manière équivalente, U^σ(A) = p^ωσA, où ωσ est le produit des ordinaux ω et σ.

Les sous-groupes d'Ulm forment une filtration décroissante de A dont les quotients U_σ(A) = U^σ(A)/U^σ+1(A) sont appelés les facteurs d'Ulm de A. Cette filtration se stabilise et le plus petit ordinal τ tel que U^τ(A) = U^τ+1(A) est la longueur d'Ulm de A. Le plus petit sous-groupe d'Ulm U^τ(A), également notée U^∞(A) et p^∞A, se compose de tous les éléments p-divisibles de A, et puisque c'est un groupe divisible, c'est une somme directe de A.

Pour tous les facteurs d'Ulm U_σ(A) les p-hauteurs de ses éléments sont finies et ne sont pas bornées pour tous les facteurs d'Ulm sauf peut-être la dernière, à savoir U_τ−1(A) lorsque la longueur d'Ulm τ est un ordinal successeur.

Le deuxième théorème de Prüfer fournit une extension directe du théorème fondamental de groupes abéliens finis générés aux p-groupes abéliens dénombrables, sans éléments de hauteur infinie : chaque groupe est isomorphe à une somme directe de groupes cycliques dont les ordres sont des puissances de p. En outre, la cardinalité de l'ensemble de sommations d'ordre pⁿ est déterminée de manière unique par le groupe et chaque séquence de cardinalité au plus dénombrable  est réalisée. Helmut Ulm (1933) a trouvé une extension de cette théorie des classifications aux p-groupes dénombrables généraux: leur classe d'isomorphisme est déterminée par les classes d'isomorphisme des facteurs d'Ulm et de la partie p-divisible.

Théorème d'Ulm : Soient A et B des p-groupes dénombrables abéliens tels que pour tout ordinal σ leurs facteurs d'Ulm sont isomorphes, U_σ(A) ≅ U_σ(B) et les parties p-divisibles de A et B sont isomorphes, U^∞(Un) ≅ U^∞(B). Alors A et B sont isomorphes.

Il y a un complément à ce théorème,tout d'abord indiqué par Leo Zippin (1935), et prouvé par Kurosh (1960), qui traite de l'existence d'un p-groupe abélien de facteurs d'Ulm donnés.

Soit τ un ordinal et {A_σ} une famille de p-groupes abéliens dénombrables indexé par les ordinaux σ < τ tels que les p-hauteurs des éléments de chaque A_σ sont finies et, sauf peut-être pour la dernière, ne sont pas bornées. Alors il existe un p-groupe réduit abélien A de longueur d'Ulm τ dont les facteurs d'Ulm sont isomorphes à ces p-groupes, U_σ(A) ≅ A_σ.

La preuve originale d'Ulm est basée sur une extension de la théorie des diviseurs élémentaires aux matrices infinies.

• László Fuchs, Infinite abelian groups, Vol. I, Pure and Applied Mathematics, Vol. 36. New York–London: Academic Press, 1970 lien Math Reviews
• Irving Kaplansky et George Mackey, A generalization of Ulm's theorem. Summa Brasil. Math. 2, 1951, 195–202 lien Math Reviews
• A. G. Kurosh, The theory of groups, New York, Chelsea, 1960 (MR 0109842)
• H Ulm, « Zur Theorie der abzählbar-unendlichen Abelschen Gruppen », Math. Ann., vol. 107,‎ 1933, p. 774–803 (DOI 10.1007/bf01448919)