The basic model can be taken as the *z* -> *z*^{n} mapping in the complex plane, near *z* = 0. This is the standard local picture in Riemann surface theory, of ramification of order *n*. It occurs for example in the Riemann-Hurwitz formula for the effect of mappings on the genus.

In a covering map the Euler-Poincaré characteristic should multiply by the number of sheets; ramification can therefore be detected by some dropping from that. The *z* -> *z*^{n} mapping shows this as a local pattern: if we exclude 0, looking at 0 < |z| < 1 say, we have (from the homotopy point of view) the circle mapped to itself by the *n*-th power map (Euler-Poincaré characteristic 0), but with the whole disk the Euler-Poincaré characteristic is 1, *n*-1 being the 'lost' points as the *n* sheets come together at *z* = 0.

In geometric terms, ramification is something that happens in *codimension two* (like knot theory, and monodromy); since *real* codimension two is *complex* codimension one, the local complex example sets the pattern for higher-dimensional complex manifolds. In complex analysis, sheets can't simply fold over along a line (one variable), or codimension one subspace in the general case. The ramification set (branch locus on the base, double point set above) will be two dimensions lower than the ambient manifold, and so will not separate it into two 'sides', locally - there will be paths that trace round the branch locus, just as in the example. In algebraic geometry over any field, by analogy, it also happens in algebraic codimension one.

Ramification in algebraic number theory means prime numbers factorising into some repeated prime ideal factors. If R is the ring of integers of an algebraic number field K and P a prime ideal of R. for each extension field L of K we can consider the integral closure S of R in L and the ideal PS of S. This may or may not be prime, but assuming [L:K] is finite it is a product of prime ideals P_{1}^{e(1)}...P_{k}^{e(k)} where the P_{i} are distinct prime ideals of S. Then P is said to **ramify** in L if some e(i) > 1. An equivalent condition is that S/PS has a non-zero nilpotent element - is not a product of finite fields. The analogy with the Riemann surface case was already pointed out by Dedekind and Weber in the nineteenth century. The ramification is **tame** when the e(i) are all less than the residue characteristic *p* of P. This condition is important in Galois module theory.