ETUDE MODELE-THEORIQUE D'ANNEAUX SATISFAISANT UN PRINCIPE DE HASSE NON SINGULIER / LUCK DARNIERE ; SOUS LA DIRECTION DE FRANCOISE DELON ET DE LAURENT MAURET BAILLY

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 1998

Format : 116 P.

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Delon, Françoise (19..-....) (Directeur de thèse / thesis advisor)

Université de Rennes 1 (1969-2022) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : LES PRINCIPES LOCAUX-GLOBAUX (LGP) DU TYPE DU PRINCIPE DE HASSE NON SINGULIER ONT UNE LONGUE HISTOIRE EN THEORIE DES MODELES APPLIQUEE A L'ALGEBRE (CORPS PSEUDO ALGEBRIQUEMENT CLOS (PAC), PSEUDO REEL CLOS (PRC), PSEUDO P-ADIQUEMENT CLOS ET LEURS GENERALISATIONS A UN ENSEMBLE FINI M D'ENTIERS PREMIERS (PC#M)...ETC.). NOUS COMMENCONS PAR DEGAGER ET ETUDIER UN PRINCIPE LOCAL-GLOBAL ASSEZ GENERAL POUR ENGLOBER NON SEULEMENT CES LGP DE CORPS MAIS AUSSI D'AUTRES APPROCHES PLUS RECENTES SUR LES ANNEAUX INTEGRES, ET EN MEME TEMPS ASSEZ RAISONNABLE POUR RESTER AXIOMATISABLE AU PREMIER ORDRE DANS LE LANGAGE DES ANNEAUX. APRES AVOIR CARACTERISE LES PRINCIPALES PROPRIETES MODELE-THEORIQUES DES ANNEAUX PAC, PRC OU PC#M (GENERALISATION IMMEDIATE DES NOTIONS HOMONYMES SUR LES CORPS), NOUS OBTENONS AINSI DES CONDITIONS NECESSAIRES ET SUFFISANTES DE DECIDABILITE SUR DIVERS ANNEAUX NATURELS. NOUS MONTRONS NOTAMMENT QUE LA CLOTURE INTEGRALE DE Z DANS DANS Q#P OU DANS LE CORPS DE NOMBRES ALGEBRIQUES ABSOLUMENT P-ADIQUES EST DECIDABLE. DE MEME LA CLOTURE INTEGRALE DE F#PT DANS TOUT CORPS SEPARABLEMENT CLOS EST DECIDABLE. UNE CONTRIBUTION A L'ALGEBRE EST EGALEMENT FOURNIE, LORSQUE NOUS ETUDIONS LES FAMILLES DE POLYNOMES EN N + 1 INDETERMINEES POSSEDANT UN ZERO COMMUN ENTIER SUR Z POUR TOUTE VALEUR ENTIERE SUR Z DES N PREMIERS PARAMETRES : NOUS MONTRONS QU'ALORS IL EXISTE UN POLYNOME UNITAIRE EN LA DERNIERE INDETERMINEE QUI DIVISE SIMULTANEMENT TOUS CES POLYNOMES.