In
algebraic geometry
Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; th ...
, an unramified morphism is a
morphism
In mathematics, a morphism is a concept of category theory that generalizes structure-preserving maps such as homomorphism between algebraic structures, functions from a set to another set, and continuous functions between topological spaces. Al ...
of
schemes such that (a) it is locally of finite presentation and (b) for each
and
, we have that
# The
residue field
In mathematics, the residue field is a basic construction in commutative algebra. If R is a commutative ring and \mathfrak is a maximal ideal, then the residue field is the quotient ring k=R/\mathfrak, which is a field. Frequently, R is a local ri ...
is a
separable algebraic extension of
.
#
where
and
are
maximal ideal
In mathematics, more specifically in ring theory, a maximal ideal is an ideal that is maximal (with respect to set inclusion) amongst all ''proper'' ideals. In other words, ''I'' is a maximal ideal of a ring ''R'' if there are no other ideals ...
s of the
local ring
In mathematics, more specifically in ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on algebraic varieties or manifolds, or of ...
s.
A flat unramified morphism is called an
étale morphism
In algebraic geometry, an étale morphism () is a morphism of Scheme (mathematics), schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topol ...
. Less strongly, if
satisfies the conditions when restricted to sufficiently small neighborhoods of
and
, then
is said to be unramified near
.
Some authors prefer to use weaker conditions, in which case they call a morphism satisfying the above a G-unramified morphism.
Simple example
Let
be a ring and ''B'' the ring obtained by adjoining an
integral element
In commutative algebra, an element ''b'' of a commutative ring ''B'' is said to be integral over a subring ''A'' of ''B'' if ''b'' is a root of a polynomial, root of some monic polynomial over ''A''.
If ''A'', ''B'' are field (mathematics), fields ...
to ''A''; i.e.,
for some
monic polynomial
In algebra, a monic polynomial is a non-zero univariate polynomial (that is, a polynomial in a single variable) in which the leading coefficient (the nonzero coefficient of highest degree) is equal to 1. That is to say, a monic polynomial is one ...
''F''. Then
is unramified if and only if the polynomial ''F'' is
separable (i.e., it and its derivative generate the unit ideal of