Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Dans la première partie, on démontre que l'enveloppe injective d'un ensemble pointé sur un monoïde (avec zéro) existe, et en particulier que les réels sont l'enveloppe injective de la chaîne des rationnels. Dans la seconde partie, on définit le monoïde maximal des quotients et la complétion rationnelle d’un monoïde, et on étudie leur relation avec le bicommutant de l’enveloppe injective du monoïde.