拡大体

定義

$L$:体,$K\subset L$の時$L$は$K$の拡大体という.$L/K$と書いて$K$の体拡大$L$を明示する.

例

$$\mathbb{Q}\subset \mathbb{Q}[\sqrt{2}]\subset \mathbb{R}\subset \mathbb{C}$$