Definition 14.4. G1 is called the wild inertial group, and G0G1 is called the tame quotient.