伽罗瓦群
Katz's formulation for the Galois group.