in MathOverflow, 4 hours ago, by Jaakko Seppälä
Has anyone an idea how to solve this: https://math.stackexchange.com/questions/4713772/why-do-the-residue-map-extend-to-a-place-rather-than-an-embedding
Does anyone know how to fill the details of Lemma 2.3.4 from the book "Field Arithmetic". The statement of the lemma goes as follows: Let $v$ be a discrete valuation of a field $E$, $h\in O_v[X]$ a monic irreducible polynomial of degree $n$, $x$ a root of $h(X)\in\tilde{E}(x)$. Suppose the residu...