（可換）体の組 K, k が与えられるとき、体の拡大 K/k[注釈 1]とは、k は K に集合として含まれ[注釈 2]、k の体構造が K の体構造の制限として得られる構造に一致していることをいう。またこのとき、k は K の部分体（ぶぶんたい、subfield）、基礎体（きそたい）あるいは下にある体であるといい、K は k の拡大体（かくだいたい、extension field）[1][2]あるいは上にある体であるという。
同じことだが、可換体 K が体 k を集合として含み、かつ k-多元環の構造をもつとき K/k を体の拡大という。後の条件のないときは拡大体といわず上体と呼ぶ流儀もある。いずれの場合も上にあるとか下にあるとかといった言い回しは用いて構わない。多元環は積を持つベクトル空間であるから、拡大 K/k において上の体 K を下の体 k 上のベクトル空間と見なすことができる。k ベクトル空間としての K の次元のことを拡大 K/k の次数（じすう、degree of field extension）といい、[K : k] などで表す[3]。特に、体 K が有限次元 k ベクトル空間なら、拡大 K/k は有限次拡大であるといい、そうでないとき無限次元拡大という。
中間体
K, M, k が体で K/M および M/k がともに体の拡大であるとき K/M/k と書いて体の拡大の列と言い、M を拡大 K/k の中間体（ちゅうかんたい、intermediate field）[1]という。
もし M, N がともに K/k の中間体なら、共通部分 M ∩ N もふたたび K/k の中間体となる。とくに、K の部分集合 E と k に対して、E と k とをともに含む最小の体が存在する。これを k に E を添加（てんか、adjunction）した体とよび k(E) のように表す[4]。また、部分体 M に対し M = k(E) となるとき、M は E によって k 上生成された体であるといい、E を M の k 上の生成系とも呼ぶ[5]。中間体 M, N に対して和集合 M ∪ N は必ずしも体とはならないが、M ∪ N を含む最小の体 MN := M(N) = N(M) を M と N の合成体と呼ぶ。
代数閉包の（同型を除く）一意性から、通常はある体 k の拡大を考えるときには、k の代数閉包 k を一つ固定し、k の任意の拡大は代数閉包 k に含まれる中間体であるものとして議論を進めることが多い。
k に有限集合 E = {a1, ..., an} を添加した体 k(E) は k 上有限生成あるいは k 上有限型であるといわれ、k(a1, ..., an) とも略記される。特に生成系が一元集合 E = {α} のとき、k(α) を k に α を添加して得られる単拡大あるいは単純拡大（たんじゅんかくだい、simple extension）という。一般に、有限とは限らない集合 E を添加するとき、
超越拡大 T/k に対し、T の k 上代数的独立な元からなる部分集合 B で拡大 T/k(B) が代数的となるとき、B は T / k のあるいは T の k 上の超越基または超越基底（ちょうえつきてい、transcendencial basis）[9]という。ツォルンの補題（T が k 上有限生成の場合は帰納法）により、超越基底は常に存在する[10]。とくに、超越拡大 T/k がその超越基底 B によって T = k(B) と表されるならば、拡大は純超越的であるという。また、超越基底 B の濃度はその取り方によらず一定であることが証明できるので[11]、これを T の k 上の超越次数（ちょうえつじすう、transcendencial degree）あるいは次元（じげん、dimension）といい、degkT あるいは trans.degkT などと表す。例えば、代数函数体k(x1, ..., xn) は k 上 n-次元の純超越拡大体である。
代数拡大 K/k が分離拡大 (separable extension) であるとは、体 K のすべての元の最小多項式が分離的である―つまり k の代数的閉包において重根をもたない―ことをいう[15]。原始元定理からわかることとして、すべての有限次分離拡大は単純拡大であることがある[16]。
ガロア対応の例
ガロア拡大 (Galois extension) とは正規かつ分離的な拡大体のことである[17]。体の拡大 K/k が与えられたとき、自己同型群 Aut(K/k) を考えることができる；これは k の各元を固定するすべての体の準同型からなる。ガロア拡大に対してはこの自己同型群は拡大のガロア群と呼ばれる[17]。またガロア群がアーベル群となるような拡大はアーベル拡大と呼ばれる。体の拡大が与えられたとき、その中間体にしばしば興味がある。ガロア拡大とガロア群の著しい特徴は中間体の記述が完全にできることである：ガロア理論の基本定理で述べられているように中間体とガロア群の部分群の間には全単射が存在する[18]。
拡大の準同型
体の準同型というのは、体を単位的環とみなしたときの単位的環の準同型で、体の単純性から単射となるため通常は中への同型と呼ばれる。一方、拡大 K/k が与えられたとき、上の体 K に下の体 k が特別な構造として備わっていると考えて、K の自己準同型の中でも k に自明に作用するものが特別に扱われる（これは K を k 上の多元環とみたときの k-多元環の自己準同型である）。
K の自己準同型 f によって k の元が動かされないということは、k の零でない元が f で零に写されることが無いので、そのような f は零準同型にならず、さらに拡大 K/k が有限次拡大ならば、f は上への同型になる。k の元を動かさない K の自己同型を、K における k 上の同型あるいは k-同型という[19]。また、拡大 K/k 上の自己同型ということもある。K の k 同型全体を Aut(K/k) または Autk(K) などで表す。Aut(K/k) は写像の合成を積として群をなし、K の k-自己同型群と呼ばれる。また、拡大 N/k が正規ならば k-自己同型群 Aut(N/k) を特に拡大 N/k のガロア群と呼んで、Gal(N/k) や G(N/k) と記す。
なお一般に二つの拡大 K/k と L/l があって、上の体の中への同型 f: K → L と下の体の中への同型 g: k → l が与えられるとき、
f の k への制限 f|k がちょうど g となるなら f を g の上にある K 上の（L の中への）同型あるいは拡大 K/k から L/l への準同型という。
注
注釈
^記号 K/k において、記法 "/k" は「体 k 上の」(over k) という意味であり、これはなんらかの商代数系や割り算を意味するものではない。一方で K/k を剰余群や商環などと同様の商構造と見ることもできる。K を k 上のベクトル空間と思えば、商集合としての K/k は K の k 上の基底にあたるものであり、K がある k 係数多項式の分解体ならば、K/k は多項式の根全体の集合と見なされる。また k-自己同型群 Aut(K/k) は商集合としての K/k 上に置換として作用する。特に拡大 N/k が多項式に分解によって得られる正規拡大ならば、ガロア群 Gal(N/k) は多項式の根の置換によって定まる対称群の部分商である。[要出典]
![{\displaystyle {\begin{matrix}K\\|\\k(E)\\|\\k[E]\\|\\k\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5d1ac6166816ab629dfb3f38b7e64db6880f3b9)
![{\displaystyle k(a_{1},\ldots ,a_{n})=\left\{\left.{\frac {f(a_{1},\ldots ,a_{n})}{g(a_{1},\ldots ,a_{n})}}\ \right|f,g\in k[x_{1},\ldots ,x_{n}]\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0796ee4ce2fea4f60557faf7ef758d285c2de799)
![{\displaystyle k[a_{1},\ldots ,a_{n}]:=\{f(a_{1},\ldots ,a_{n})\mid f\in k[x_{1},\ldots ,x_{n}]\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9dd8ea5cd3efa05f797c647d2a4cc393355ed57b)
