Es sei ${\displaystyle {}K}$ ein Körper. Ein Unterring ${\displaystyle {}M\subseteq K}$, der zugleich ein Körper ist, heißt Unterkörper von ${\displaystyle {}K}$.