Resumen de Hidden constructions in abstract algebra (6): the theorem of Maroscia and Brewer & Costa

Henri Lombardi, Claude Quitté, Ihsen Yengui

• We give a constructive deciphering for a generalization of the Quillen�Suslin theorem due to Maroscia and Brewer & Costa stating that finitely generated projective modules over , where is a Prüfer domain with Krull dimension =1, are extended from .