Definition:Real Embedding

From ProofWiki
Jump to navigation Jump to search

Definition

Let $K$ be a subfield of the set of complex numbers $\C$.


A real embedding of $K$ is an embedding of $K$ into the set of real numbers $\R$.

That is, a real embedding is an injective field homomorphism $\sigma: K \to \R$.


Sources