Archimedean place (source code)

= Archimedean place
{wiki}

A real embedding $K\hookrightarrow\mathbb R$ gives a real Archimedean place of local degree $1$. A conjugate pair of complex embeddings $K\hookrightarrow\mathbb C$ gives a complex Archimedean place of local degree $2$.