Bourbaki

Exercice 32, § 1

Algèbre, VI, p. 34

Bourbaki marks this one as harder than the rest.

a) Soient GG un groupe complètement réticulé, et HH un sous-groupe de GG. Pour tout ensemble majeur AA du groupe HH, on note xAx_A la borne inférieure de AA dans GG; montrer que l’application A↦xAA \mapsto x_A de M(H)\mathfrak{M}(H) dans GG est injective (établir que AA est l’ensemble des y∈Hy \in H tels que y⩾xAy \geqslant x_A). b) Pour toute partie BB de HH, minorée dans HH, on désigne par ⟨B⟩\langle B \rangle l’ensemble majeur engendré par BB dans HH (élément de M(H)\mathfrak{M}(H)). Si, pour toute partie BB de HH, minorée dans HH, on a l’égalité inf⁡B=inf⁡⟨B⟩\inf B = \inf \langle B \rangle (bornes inférieures prises dans GG), montrer que l’application A↦xAA \mapsto x_A est un isomorphisme du groupe ordonné M(H)\mathfrak{M}(H) sur un sous-groupe de GG (cf. exerc. 30, e)). c) Si tout élément de GG est borne inférieure d’une partie de HH, montrer que, pour toute partie BB de HH, minorée dans HH, on a inf⁡B=inf⁡⟨B⟩\inf B = \inf \langle B \rangle (bornes inférieures prises dans GG). (Remarquer que cette relation est vraie si inf⁡B∈H\inf B \in H; dans le cas général, considérer un élément x∈Gx \in G tel que x+inf⁡B∈Hx + \inf B \in H, exprimer que xx est borne inférieure d’une partie de HH et utiliser l’exerc. 30, e).) d) \* Soit GG le groupe complètement réticulé Z×Z×R\mathbf{Z} \times \mathbf{Z} \times \mathbf{R}. Soit θ\theta un nombre irrationnel >0> 0; soit HH le sous-groupe des (x,y,z)(x, y, z) tels que θ(z−x)+y=0\theta(z - x) + y = 0. Montrer qu’il n’existe aucun isomorphisme du groupe ordonné M(H)\mathfrak{M}(H) sur un sous-groupe de GG, se réduisant à l’application identique dans HH (remarquer que M(H)\mathfrak{M}(H) est isomorphe à K=Z×RK = \mathbf{Z} \times \mathbf{R}; considérer dans KK le sous-groupe des uu tels que, pour tout entier n>0n > 0, il existe v∈Kv \in K tel que nv=unv = u, et le sous-groupe analogue de GG ). \*

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.