Embedding of a number field into a p-adic algebraic closure
= Embedding of a number field into a p-adic algebraic closure
{title2=$\iota:K\hookrightarrow\overline{\mathbb Q}_p$}
= Embeddings of a number field into a p-adic algebraic closure
{synonym}
Such a <field embedding> pulls the <p-adic absolute value> back to a finite <place of a number field> above $p$. It extends to an embedding of the corresponding completion, whose image is a finite extension of the <P-adic numbers>.