Galois group
Katz's formulation for the Galois group.