Programme Maple pour la conjecture de De Smit

 

Dans l'article About De Smit's question on flatness nous étudions la question suivante de Bart De Smit. Soit f : A -> B un morphisme plat d'anneaux locaux artiniens de même dimension de plongement. Est-il vrai que tout B-module A-plat est B-plat ? Nous démontrons cette conjecture en dimension de plongement 2, ou sous une hypothèse supplémentaire sur l'anneau B/mB (m étant l'idéal maximal de A). Le programme ci-dessous permet de tester dans certains cas si cette condition est vérifiée ou non.

User's guide
bdsconj_prog.txt
bdsconj_prog.mws