, by Theorem A again, M is not of codimension 1. But then by Theorem 2, M is not of finite codimension

, Proposition P2 and P3 we have to consider conjugates of an algebraic element over IK. This is why we take a perfect field

N. Bourbaki and . Topologie-générale, Actualités scientifiques et industrielles

. Chicourrat and A. Escassut, Banach algebras of ultrametric Lipschitzian functions, Sarajevo Journal of Mathematics, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02166889

A. Escassut, The ultrametric Banach algebras, 2003.

A. Escassut and N. Maïnetti, Multiplicative spectrum of ultrametric Banach algebras of continuous functions Topology and its applications 157, pp.2505-25015, 2010.

A. Escassut and N. Maïnetti, Morphisms between ultrametric Banach algebras and maximal ideals of finite codimension Contemporary Mathematics 596, pp.63-71, 2013.

A. Escassut and N. Maïnetti, Spectrum of ultrametric Banach algebras of strictly differentiable functions Contemporary Mathematics, vol.704, pp.139-160, 2018.

L. Haddad, Sur quelques points de topologie générale, Annales de la Faculté des Sciences de Clermont N, vol.44, issue.7, pp.3-80, 1972.

P. Samuel, Ultrafilters and compactification of uniform spaces, Trans. Amer. Soc, vol.64, pp.100-132, 1949.

A. Van-rooij, Non-Archimedean Functional Analysis, Marcel Dekker, 1978.

. Laboratoire-de-mathématiques-blaise and . Pascal,

, Place Vasarely 63178 AUBIERE-CEDEX FRANCE