D IAGRAMMES C. H ENRY Sur quelques problèmes de plongement en algèbre Diagrammes, tome 15 (1986), exp. no 1, p. CH1-CH7 © Université Paris 7, UER math., 1986, tous droits réservés. L’accès aux archives de la revue « Diagrammes » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Di*gr*mm«s Volum* 15 SUR QUELQUES PROBLEMES DE PLOMGEJCEHT El ALGEBRE I. UIE PROPRIETE ELEMENTAIRE C. Henry Introduction Il est tout à fait banal de constater que tout ensemble se plonge dans le groupe (resp. le demi-groupe, le monoïde, le groupe abélien, l'anneau, l'espace vectoriel sur un corps donné...) qu'il engendre librement. Il n'est certainement pas choquant, mais c'est moins banal, d'affirmer qu'en toute généralité, tout ensemble se plonge toujours dans la structure algébrique, d'un type donné, qu'il engendre librement. On imagine bien que l'on peut donner de cette propriété générale de plongement une démonstration (sémantique) en procédant comme suit: (1) le type de structures algébriques considéré est défini par une liste de lois de composition et une liste d'axiomes (i. e. d'équations quantifiées universellement), (2) pour chaque ensemble E, on décrit (par une suite d'adjonctions formelles d'éléments et d'identifications) la structure libre L(E) qu'il engendre, (3) il suffit de constater que, dans ces constructions, on n'effectue jamais aucune identification entre éléments de E. A.M.S. Sub. C1»»•, 1e C 1O , 03 C OS CH Bien sûr, c'est le point (2) qu'il est fastidieux de mettre en oeuvre en toute généralité (c'est déjà délicat dans certains cas particuliers î) . ITous fournissons ici une démonstration précise, mais brève, de cette propriété générale de plongement: nous considérons qu'un type de structures algébriques est décrit par une théorie de Lawvere (voir (S,A.F.T.)) et nous utilisons alors une condition suffisante syntaxique (i. e. ne portant que sur la forme de la théorie considérée) établie antérieurement (voir (C.S.P.P.)), fort utile par ailleurs pour établir d'autres propriétés de plongement entre structures algébriques de types différents (voir (S.Q.P.P.)) . Techniquement, nous proposons donc une démonstration d'un énoncé, certes peu surprenant, mais qu'il faut bien prouver...ou réfuter, un jour ! Si nous pouvons convaincre le lecteur qu'il ne s'agit là que d'un prétexte servant à montrer l'effectivité de la méthode syntaxique utilisée, notre véritable but sera atteint. D'aucuns considéreront peut-être, voulant ignorer ce prétexte, que nous avons démontré une banalité. Encore faudrait-il au moins qu'ils se soient donné la peine d'établir que c'en est une, par exemple en mettant au point la démonstration sémantique suggérée ci-dessus, ou en lisant ce qui suit. 1. Si T est une théorie de Lawvere (voir (S.A.F.T.)), nous désignerons généralement par (A n ) ne N la famille de ses objets et, pour tout ne F*, on note (ic(n, i) : An-*A)i , si neP*, et 0=0 . De plus, on sait que /Ten«/ est un objet initial de la catégorie des théories (et de leurs homomorphismes) Î à toute théorie /T/ est donc associé un CH unique homomorphisme /H T /:/T E ™»/ -» /T/. Dans ces conditions, on dit que /T/ est une théorie non triviale si, et seulement si, le foncteur H T est injectif. Plus généralement, si / H / Ï / T ' / -* /T/ est un homomorphisme entre deux théories, il induit un foncteur d'oubli Alg/H/î Alg/T/-*Alg/T» / (en particulier, si /Tf/=/Ten./ et /H/=/HT/, on a Alg /H/ = U T à l'équivalence près). Nous dirons que Alg /H/ est à plongement s si, et seulement si, toute algèbre de IV I se plonge dans une algèbre de /T/ 2. En (C.S.P.P.) et (S.Q.P.P.) est établie une condition suffisante pour qu'un foncteur de la forme Alg/H/ soit à plongements. Pour énoncer ce critère avec précision, rappelons tout d'abord que: - pour tout neH*, on désigne par z n la catégorie K >3 2 2n-l< 2n >2n+l - si C est une catégorie, on appelle zig-zag de C tout foncteur de la forme Z': z n ->C (ou encore Z: z m o p -• C ) . Dans ces conditions, si /H/: IV /-*/T/ est un homomorphisme de théories de Lawvere, le foncteur Alg/H/ est à plongements à la condition suffisante que: K (CS) si on dispose 2 >3 d'un zig-zag Z' : Zr» •* T' de T' défini 2n-l< ,., < e t si on dispose ci-dessous d'un diagrajame (*) commutât!f 2n A' 2 n par >2n+l >Af dans T e t t e i que CH 1< 2 A. < A. >3 2n-l< >A, 2n 4 >2n+l ->A» A' 2ri -i<- ÏH A< A:2 >As alors, il existe un entier diagramme commutât if dans V K 2 >3 A, A:2n-1< m*l, un fondeur F: zm-»Zn et un tels que ci-dessous: 2m-l< 2m >2m+l l Z =Z'.F A'<- -Z<2>- ->Z<3) Z <2m-l ) < Z <2m> >Z <2m+l > 3. Montrons que, si /T/ est une théorie de Lawvere non triviale, l'homomorphisme (très particulier) canonique /HT/:/TEr.«/-»/T/ vérifie la condition (CS) précédente. Autrement dit, prouvons que : Théorème. Si /T/ est une théorie de Lawvere non triviale, foncteur d'oubli UT :Alg/T/ -* Ens est à plongements. le CH Preuve. Supposons que Z': z n -^ TK™* est un zigzag tel que (t) soit un diagramme commutatif de T. Le foncteur Gîz^^-gTc.p— >Ten« op ~J^J > Ens admet une limite inductive lim G = p Z' (1) >Z» (2)< Z' (3) Z' (2n-l) >Z' (2n)< Z' (2n+l) qui est évidemment objet de Ter,»0*. ïous disposons donc du diagramme commutatif dual dans Te-r.» et, puisque (*) est commutatif dans T, nous obtenons le diagramme commutatif ci-dessous dans T HT

HT(SI) Il en résulte H T ( S T ) = HT(s2:n-+.1) et, puisque H T est fidèle (T étant non triviale), si= s^w+i ou encore si(1)= s^n-i (1) . CH 6 Le calcul des limites inductives dans Ens indique donc qu'il existe un zigzag F0* : z m û p -> z n o p et une famille (ei)u^ 2 m + i appartenant à TT Z'F(i) tels crue: KK21+1 - ei = 1 =ej£m-+-i, - Z' F(y k )(ea k ~i) = Z' F(y' k ) (e*k-i ) = e ^ , pour tout lSkSm. Autrement dit, on dispose bien d'un diagramme commutatif tel que (**) de Ten. où, pour tout l^h^m+l, l'application a.-,: 1-*Z' F(h) est définie par a.-,(l) = e h . Fin de la preuve. 4. Pour conclure, caractérisons les théories de Lawvere /T/ qui sont triviales et établissons que, pour ces théories, le foncteur U T n'est certainement pas à plongements. Théorème. Si III est une théorie triviale, c'est soit la théorie de Lawvere des ensembles de cardinal 1 , soit la théorie de Lawvere des ensembles de cardinal $ 1 . Preuve. Si /T/ est une théorie triviale, par définition H T n' est pas injectif et, H T étant une bijection sur les objets, il n'est donc pas fidèle. En conséquence, il existe deux applications distinctes f,g :n -* m (ce qui implique m*2) telles que r H T (f)=H T (g) : A"-* A". Il existe donc deux applications distinctes f',g' : l-*m telles que H T ( f ) = rc(m,f'(D) = 7c(m,g'(D) :A"MA. Il en résulte que, pour tout peN: (Hom(Ap, n (m, i) ) : Hom(Ap, A™)-* Hom(A p ,A) ) i < ± 1, il existe toujours une application h: q-»p, donc une flèche H T (h) :AP-*AC'. En conséquence Hom(Ap,Ac') est toujours de cardinal >, 1. En d'autres termes, si /TV est triviale, la sous-catégorie pleine TN de T, dont les objets sont les A p , où p£l, est isomorphe au groupoïde des couples de ses objets. D'autre part, nous avons toujours, pour tout entier q^l : - soit H O B K A 0 ^ ) = Hom(A°,A)c' = 1 , - soit Hom(A°,A,:::0 = Hom(A°,A)c» est vide. CH Dans le premier cas, on vérifie facilement que /T/ est la théorie des ensembles de cardinal 1 et, dans le second cas, que /T/ est la théorie des ensembles de cardinal $1 . Dans ces deux cas, il est clair que le foncteur UT n'est pas à plongements. Fin de la preuve. Bibliographie. (C.S.P.P) C. Lair: Conditions syntaxiques^de^ plongement,^J^ et II, Diagrammes 1 et*2, Paris^ 1979 et Ï980. (S.A.F.T.) F. V. Lawvere: Some algebraïc problems in the context of w functorial semantics thec * functorial seman^ics of of algebraïc algebraïc théories, Lect. Notes in Math. 61, Springer, 1968. (S.Q.P.P.) C. Henry: Sur quelques problèmes de plongement entre structures algébriques, Thèse de 3*m* cycle en Math., Diagrammes 10, Paris, 1983.