Bonjour à tous,
Soit un anneau.
Soit un ensemble préordonné, filtrant.
Soit une partie multiplicative de .
Supposons donnée pour tout une partie multiplicative de contenue dans .
Faisons les hypothèses suivantes :
-
- Pour tout avec , les éléments de deviennent inversibles dans .
Posons : .
est un diagramme commutatif filtrant dans la catégorie des - algèbres.
Question :
Montrer que : .
Merci d'avance pour votre aide. :happy3:
-----