Sea la homomorfismo natural, donde es un ideal no nulo de un dominio integral . Definimos , donde es un subanillo de . Este documento tiene como objetivo investigar las condiciones bajo las cuales el anillo de la conjetura de Serre es un S-dominio fuerte. Se construyen varios ejemplos para demostrar tanto el alcance como las limitaciones de los resultados.