 
Summary: Report on the ramification filtration of the Galois group of a local field
(by Victor Abrashkin).
Let K be a complete discrete valuation field with residue field k # F p N 0 . Let
K(p) be its maximal pextension, then #(p) = Gal(K(p)/K) is a propgroup.
Remark. We have:
#(p)/C 2 (#(p) = #(p) ab
# (clf. theory) “
K # = lim
# K # /K #p m
;
char K = p # #(p) is propfree; it has # many generators;
char K = 0, # p /
# K # #(p) is propfree, it has finitely many generators;
char K = 0, # p # K # is a Demushkin group.
Let {#(p) (v)
} v#1 be the ramificatiom filtration of the #(p).
Remark. Recall that, if #(p) = lim
# # L/K with respect to the filter of finite normal
subextensions L/K, then:
#x # 0, # L/K,x = {# # # L/K v L (##L  #L ) # x + 1}  the lower numbering;
