ガロワ加群
K を付値体とし(付値を v とし)L/K を有限次ガロワ拡大でそのガロワ群を G とする。v の L への延長 w に対し、Iw をその惰性群(英語版)とする。ガロワ加群 ρ : G → Aut(V) は ρ(Iw) = {1} であるときに不分岐という。