On the nonexistence of cofree Fréchet modules over locally multiplicatively-convex Fréchet algebras (Q1974432)

Si \(A\) est une algèbre de Fréchet, un \(A\)-module co-libre de Fréchet est un couple \((X,E)\), où \(X\) est un \(A\)-module de Fréchet, \(E\) un espace de Fréchet, et où \(X\) est un représentant du foncteur \(Y\mapsto{\mathcal B}(Y,E)\); ici, \(Y\) est un quelconque \(A\)-module de Fréchet, et \({\mathcal B}(Y,E)\) le \(A\)-module des applications linéaires continues \(\varphi\) de \(Y\) dans \(E\) vérifiant \([a\cdot\varphi](b)= \varphi(ba)\), quels que soient les éléments \(a\) et \(b\) de \(Y\). Sous ces hypothèses \(X\) est injectif. Et le résultat fondamental sénonce: il existe des \(A\)-modules co-libres de Fréchet non réduits à l'élément nul, ans le cas où \(A\) est non normable et localement multiplicativement convexe.