In his studies of cyclotomic fields, in view of establishing his monumental theorem about Fermat's last theorem, Kummer introduced "local" methods.