A decisive Theorem (Un théorème décisif)
arXiv:2506.07098
Abstract
We give an elementary proof of the theorem which states that a finite unramified algebra over a discrete field is tracically étale. -- Nous donnons une démonstration élémentaire du théorème selon lequel toute algèbre nette sur un cors discret est étale, de dimension finie comme espace vectoriel et traciquement étale.
in French language. Kewwords: Tracically étale algebra, Étale algebra, Unramified algebra, Unramified algebra over a discrete field, Constructive Mathematics. Mots clés: Algèbre traciquement étale. Algèbre étale. Algèbre nette. Algèbre nette sur un corps discret. Mathématiques constructives