Un adjoint

Abstract

Given a scheme S and a flat morphism T \to S of finite presentation we define a surjective S-morphism to an {é}tale and separated S-scheme, which is universal in an obvious sense. Properties of this morphism are deduced from a thorough uses of quotients by equivalence relations whose graph is open and closed.

arXiv commentin French