The Lubin-Tate formal module in a cyclic unramified \(p\)-extension as a Galois module
scientific article; zbMATH DE number 6676849