Point de Ramification

Un point d'un morphisme fini (ou d'une extension) en lequel l'application cesse d'être étale ou localement bijective, mesuré par un indice de ramification supérieur à un ; algébriquement cela correspond à une inertie non triviale ou à une extension non triviale des corps résiduels.