Learn more about

Each local field $K$ has a unique label of the form "p.n.c.num", where