Exercice 36, § 1
Algèbre, VI, p. 35
Soient un groupe ordonné filtrant, l’ensemble des éléments dans . Pour que soit isomorphe à un groupe , il faut et il suffit qu’il existe une application de dans telle que, si l’on n’a pas , il existe dans l’ensemble majeur un élément tel que . (Montrer que cette condition est vérifiée dans par (pour pour tout ). Inversement, si la condition est vérifiée, montrer que tout ensemble majeur est de la forme , en considérant dans un élément tel que pour tout . Appliquer ensuite le th. 2 de VI, p. 17.)
Solution
Aucune solution n’a encore été écrite.