#代数学の知識

#体 の #拡大 (field extension)
https://ja.wikipedia.org/wiki/...

#可換体 の組 K, k が与えられた時
体の拡大 K/k とは，
k が K に集合として含まれ，
k の体構造が
K の体構造の制限として得られる構造に
一致していることをいう.