Xem mã nguồn của Trường (đại số)

{{bài cùng tên|Trường}}
[[Tập tin:Regular_polygon_7_annotated.svg|thumb|262px|[[Hình thất giác]] [[Đa giác đều|đều]] không thể dựng được [[Phép dựng hình bằng thước kẻ và compa|thước kẻ và compa]]; Điều này có thể chứng minh sử dụng trường của [[số dựng được]].]]
{{Cấu trúc đại số}}

Trong [[toán học]], một '''trường''' là một [[Tập hợp (toán học)|tập hợp]] mà trên đó các phép [[cộng]], [[trừ]], [[Phép nhân|nhân]], [[Phép chia|chia]] được định nghĩa, và có tính chất như những phép tính trên [[số hữu tỉ]] và [[số thực]]. Một trường như vậy là một [[cấu trúc đại số]] cơ bản, được sử dụng rộng rãi trong [[đại số]], [[lý thuyết số]] và nhiều ngành khác trong toán học.

Những trường thông dụng nhất là trường [[số hữu tỉ]], trường [[số thực]] và trường [[số phức]]. Nhiều trường khác, như [[trường các thương|trường hàm phân thức]], [[trường hàm đại số]], [[trường số đại số]], và [[Số p-adic|trường ''p''-adic]] cũng được sử dụng và nghiên cứu thường xuyên, cụ thể trong lý thuyết số và [[hình học đại số]]. Hầu hết [[giao thức mật mã]] dựa trên [[trường hữu hạn]], tức là trường có hữu hạn [[phần tử (toán học)|phần tử]].

Mối liên hệ giữa hai trường được thể hiện qua một [[mở rộng trường]]. [[Lý thuyết Galois]], khởi xướng bởi [[Évariste Galois]] trong những năm 1830, nghiên cứu về sự đối xứng của các mở rộng trường. Trong số những kết quả khác, lý thuyết này chứng minh được rằng việc [[chia ba một góc]] và [[cầu phương hình tròn]] không thể thực hiện được chỉ bằng [[Phép dựng hình bằng thước kẻ và compa|thước thẳng và compa]]. Ngoài ra, nó cũng chỉ ra rằng [[hàm số bậc năm|phương trình bậc năm]] không thể giải được về mặt đại số.

Trường đóng vai trò là một khái niệm nền tảng trong một số ngành của toán học, bao gồm các nhánh của [[giải tích]], sử dụng trường với những cấu trúc phụ. Những định lý cơ bản của giải tích dựa trên tính chất của trường số thực. Quan trọng hơn cả, bất kì trường nào đều có thể dùng làm [[Scalar (toán học)|vô hướng]] cho một [[không gian vectơ]], là những đối tượng chính của [[đại số tuyến tính]]. [[Trường số đại số]], người anh em họ của trường số hữu tỉ, được nghiên cứu trong [[lý thuyết số]].

== Định nghĩa ==
Về căn bản, một trường là một tập hợp, cùng với hai [[phép toán hai ngôi|phép toán]] được định nghĩa trên tập đó: một [[phép cộng]] được viết là {{math|''a'' + ''b''}}, và một [[phép nhân]] được viết là {{math|''a'' ⋅ ''b''}}, cả hai đều có tính chất như với [[số hữu tỉ]] và [[số thực]], bao gồm cả sự tồn tại của một [[nghịch đảo phép cộng]] {{math|''&minus;a''}} cho mọi phần tử {{mvar|a}}, và một [[nghịch đảo phép nhân]] {{math|''b''<sup>−1</sup>}} cho mọi phần tử {{mvar|b}} khác 0. Điều này cho ta những phép toán ''nghịch đảo'' bao gồm [[phép trừ]] {{math|''a'' &minus; ''b''}}, và [[phép chia]] {{math|''a'' / ''b''}}, bằng cách định nghĩa:
:{{math|1=''a'' − ''b'' := ''a'' + (−''b'')}},
:{{math|1=''a'' / ''b'' := ''a'' ⋅ ''b''<sup>−1</sup>}}.

=== Định nghĩa cổ điển ===

Đầy đủ hơn, một trường là một [[Tập hợp (toán học)|tập]] {{mvar|F}} cùng với hai [[phép toán hai ngôi|phép toán]] (còn gọi là luật hợp thành trong) gọi là ''phép cộng'' và ''phép nhân''.<ref>{{harvtxt|Beachy|Blair|2006|loc=Định nghĩa 4.1.1, trang &nbsp;181}}</ref> Một phép toán là một ánh xạ gán mỗi cặp phần tử trong tập hợp với một phần tử của nó. Kết quả của phép cộng {{math|''a''}} và {{math|''b''}} được gọi là ''tổng'' của {{math|''a''}} và {{math|''b''}} và ký hiệu là {{math|''a'' + ''b''}}. Tương tự, kết quả của phép nhân {{math|''a''}} và {{math|''b''}} được gọi là ''tích'' của {{math|''a''}} và {{math|''b''}}, và ký hiệu bằng {{math|''ab''}} hoặc {{math|''a'' ⋅ ''b''}}. Các phép toán này cần phai tuân thủ những tính chất sau, được gọi là các ''[[Tiên đề|tiên đề trường]]''. Trong những tiên đề dưới đây, {{math|''a'', ''b''}} và {{math|''c''}} là những [[Phần tử (toán học)|phần tử]] bất kỳ của trường {{mvar|F}}.

* ''[[Tính kết hợp]]'' của phép cộng và phép nhân: {{math|1=''a'' + (''b'' + ''c'') = (''a'' + ''b'') + ''c''}} và {{math|1=''a'' · (''b'' · ''c'') = (''a'' · ''b'') · ''c''}}.
* ''[[Tính giao hoán]]'' của phép cộng và phép nhân: {{math|1=''a'' + ''b'' = ''b'' + ''a''}} và {{math|1=''a'' · ''b'' = ''b'' · ''a''}}.
* ''[[Đơn vị cộng]]'' và ''[[1 (số)|đơn vị nhân]]'': tồn tại hai phần tử khác nhau {{math|0}} và {{math|1}} thuộc {{mvar|F}} sao cho {{math|1=''a'' + 0 = ''a''}} và {{math|1=''a'' · 1 = ''a''}}.
* ''[[Nghịch đảo phép cộng]]'': với mọi {{math|''a''}} thuộc {{mvar|F}}, tồn tại một phần tử thuộc {{mvar|F}}, ký hiệu là {{math|−''a''}}, gọi là ''nghịch đảo phép cộng'' của ''a'', sao cho {{math|1=''a'' + (−''a'') = 0}}.
* ''[[Nghịch đảo phép nhân]]'': với mọi {{math|''a'' ≠ 0}} thuộc {{mvar|F}}, tồn tại một phần tử thuộc {{mvar|F}}, ký hiệu là {{math|''a''<sup>−1</sup>}}, {{math|1/''a''}}, hoặc {{math|{{sfrac|1|''a''}}}}, gọi là ''nghịch đảo phép nhân'' của ''a'', sao cho {{math|1=''a'' · ''a''<sup>−1</sup> = 1}}.
* ''[[Thuộc tính phân phối|Tính phân phối]]'' của phép nhân đối với phép cộng: {{math|1=''a'' · (''b'' + ''c'') = (''a'' · ''b'') + (''a'' · ''c'')}}.

Ta có thể tóm tắt lại như sau: một trường có hai phép toán là ''phép cộng'' và ''phép nhân''; nó là một [[nhóm giao hoán]] dưới phép cộng, với 0 là [[đơn vị cộng]]; những phần tử khác 0 tạo thành một nhóm giao hoán dưới phép nhân, với 1 là [[Phần tử đơn vị|đơn vị nhân]]; phép nhân có tính phân phối đối với phép cộng.

=== Định nghĩa khác ===
Trường cũng có thể được định nghĩa theo những cách khác tương đương. Ta có thể định nghĩa trường bằng bốn phép toán hai ngôi (cộng, trừ, nhân, chia) và những tính chất của chúng. [[Chia cho không]], theo định nghĩa, không được tính.<ref>{{harvtxt|Clark|1984|loc=Chương 3}}.</ref> Để tránh việc sử dụng [[lượng tử tồn tại]], trường có thể được định nghĩa với hai phép toán hai ngôi (cộng và nhân), hai phép toán một ngôi (cho ra nghịch đảo phép cộng và phép nhân), và hai phép toán rỗng (các hằng số {{math|0}} và {{math|1}}). Những phép toán này cần phải thỏa mãn những điều kiện trên. Tránh lượng tử tồn tại là một điều kiện quan trọng mang tính [[Chủ nghĩa kiến tạo|xây dựng]] và trong [[điện toán]].<ref>{{harvtxt|Mines|Richman|Ruitenburg|1988|loc=§II.2}}.</ref> Một cách tương đương, ta có thể định nghĩa một trường bằng hai phép toán hai ngôi cộng và nhân, một phép toán một ngôi (nghịch đảo phép nhân) và hai hằng số {{math|1}} và {{math|−1}}, vì {{math|1=0 = 1 + (−1)}} và {{math|1=−''a'' = (−1)''a''}}.<ref group=nb>Việc sử dụng dấu "−" cho hai mục đích, ký hiệu một phần của hằng số và cho nghịch đảo phép cộng là hợp lệ bằng điều kiện sau.</ref>

== Ví dụ ==

=== Số hữu tỉ ===
{{main|Số hữu tỉ}}
Số hữu tỉ được sử dụng rộng rãi từ lâu trước khi khái niệm trường được đưa ra và xem xét chi tiết. Chúng là những số có thể viết dưới dạng [[phân số]] {{math|''a''/''b''}}, với {{math|''a''}} và {{math|''b''}} là các [[số nguyên]], và {{math|''b'' ≠ 0}}. Nghịch đảo phép cộng của một phân số như vậy là {{math|−''a''/''b''}}, và nghịch đảo phép nhân là (với điều kiện {{math|''a'' ≠ 0}}) là {{math|''b''/''a''}}, do:

: <math> \frac{b}{a} \cdot \frac{a}{b}  = \frac{ba}{ab} = 1.</math>

Những tiên đề trường trừu tượng trở thành các tính chất cơ bản của số hữu tỉ. Ví dụ, tính chất phân phối có thể được chứng minh như sau::<ref>{{harvtxt|Beachy|Blair|2006|loc=p. 120, Ch. 3}}</ref>
:<math>
\begin{align}
& \frac a b \cdot \left(\frac c d + \frac e f \right) \\[6pt]
= {} & \frac a b  \cdot \left(\frac c d  \cdot \frac f f + \frac e f \cdot \frac d d \right) \\[6pt]
= {} & \frac{a}{b} \cdot \left(\frac{cf}{df} + \frac{ed}{fd}\right) = \frac{a}{b} \cdot \frac{cf + ed}{df} \\[6pt]
= {} & \frac{a(cf + ed)}{bdf} = \frac{acf}{bdf} +  \frac{aed}{bdf} = \frac{ac}{bd} +  \frac{ae}{bf} \\[6pt]
= {} & \frac a b \cdot \frac c d + \frac a b \cdot \frac e f.
\end{align}
</math>

=== Số thực và phức ===

[[Tập tin:Complex_multi.svg|thumb|255px|Phép nhân số phức có thể được biểu diễn hình học bằng phép quay và phóng to/thu nhỏ.]]

{{main|Số thực|Số phức}}
Tập [[số thực]] {{math|'''R'''}}, cùng với các phép cộng và nhân, cũng tạo thành một trường. Tập [[số phức]] {{math|'''C'''}} bao gồm các biểu thức
:{{math|''a'' + ''bi'',}} với {{math|''a'', ''b''}} thực,
trong đó {{math|''i''}} là [[đơn vị ảo]], tức là một số (không thực) thỏa {{math|1=''i''<sup>2</sup> = −1}}. Phép cộng và phép nhân của số thực được định nghĩa sao cho những biểu thức dạng này cũng thỏa tất cả tiên đề trường và vẫn áp dụng cho {{math|'''C'''}}. Ví dụ, tính phân phối cho ta
:{{math|1=(''a'' + ''bi'')(''c'' + ''di'') = ''ac'' + ''bci'' + ''adi'' + ''bdi''<sup>2</sup> = ''ac'' − ''bd'' + (''bc'' + ''ad'')''i''.}}
Rõ ràng biểu thức này cũng có dạng như trên, tức là số phức đóng dưới phép nhân. Tương tự ta có thể suy ra số phức tạo thành một trường. Số phức có thể được biểu diễn bằng hình học như các điểm trong [[mặt phẳng (toán học)|mặt phẳng]], với [[tọa độ Descartes]] là các số thực trong biểu thức của nó, hoặc sử dụng những mũi tên từ gốc tọa độ đến những điểm đó, xác định bởi độ dài và góc tạo bởi nó theo một hướng nhất định. Phép cộng khi ấy tương đương với kết hợp hai mũi tên theo hình bình hành (cộng các tọa độ Descartes), còn phép nhân tương đương với việc quay và phóng to hay thu nhỏ các mũi tên (cộng các góc và nhân chiều dài). Trường số thực và số phức được sử dụng trong cả toán học, vật lý, kỹ thuật, thống kê và nhiều lĩnh vực khoa học khác.

=== Số dựng được ===
[[Tập tin:Root_construction_geometric_mean5.svg|thumb|255px|[[Định lý trung bình nhân]] khẳng định rằng {{math|1=''h''<sup>2</sup> = ''pq''}}. Chọn {{math|1=''q''&nbsp;=&nbsp;1}} cho ta dựng căn bậc hai của một số dựng được {{mvar|p}}.]]
{{main|Số dựng được}}
 
Từ xưa, có nhiều bài toán hình học liên quan đến tính khả thi của việc dựng một số số chỉ bằng [[Phép dựng hình bằng thước kẻ và compa|thước kẻ và compa]]. Ví dụ, người Hy Lạp không biết rằng không thể chia ba một góc bằng cách này. Những vấn đề này có thể được giải quyết sử dụng trường các [[số dựng được]].<ref>{{harvtxt|Artin|1991|loc=Chương 13.4}}</ref> Những số thực dựng được, theo định nghĩa, là độ dài của những [[đoạn thẳng]] có thể dựng được từ hai điểm 0 và 1 trong hữu hạn bước chỉ sử dụng [[thước kẻ]] và [[compa]]. Những số này, cùng với các phép toán của số thực trên chúng, tạo thành một trường, trong đó bao hàm trường số hữu tỉ {{math|'''Q'''}}. Hình minh họa cho thấy cách dựng [[căn bậc hai]] của số dựng được, không nhất thiết thuộc {{math|'''Q'''}}. Sử dụng ký hiệu như trong hình, dựng một các đoạn thẳng {{mvar|AB}}, {{mvar|BD}}, và một [[Hình bán nguyệt|nửa đường tròn]] có đáy {{mvar|AD}} (tâm đặt tại [[trung điểm]] {{mvar|C}}), cắt đường thẳng qua {{mvar|B}} [[vuông góc]] với {{mvar|AD}} tại điểm {{mvar|F}}. Nếu độ dài của {{mvar|AB}} và {{mvar|BD}} lần lượt là {{mvar|p}} và {{math|1}} thì độ dài đoạn {{mvar|BF}} là {{math|1=''h'' = {{radic|''p''}}}}.

Không phải tất cả số thực đều dựng được. Ta có thể chứng minh rằng {{math|{{radic|2|3}}}} không phải là một số dựng được, nghĩa là không thể dựng độ dài cạnh một [[Gấp đôi khối lập phương|hình lập phương có thể tích là 2]] bằng thước kẻ và compa, một bài toán được đưa ra bởi người Hy Lạp cổ đại.

=== Một trường với bốn phần tử===
{|class="wikitable floatright"
|+ 
! scope="col" style="float:text-align:center;"| Phép cộng
! scope="col" style="float:text-align:center'"| Phép nhân
|-
! scope="row" | 
{| class="wikitable" 
|-
! style="width:20%;"| + !! style="width:20%;"| {{mvar|O}} !! style="width:20%;"| {{mvar|I}} !! style="width:20%;"| {{mvar|A}} !! style="width:20%;"| {{mvar|B}}
|-
! {{mvar|O}}
| style="background:#fdd;"|{{color|blue| {{mvar|O}}}}
| style="background:#fdd;"| {{color|blue| {{mvar|I}}}}
|| {{mvar|A}}
|| {{mvar|B}}
|-
! {{mvar|I}}
| style="background:#fdd;"| {{color|blue| {{mvar|I}}}}
| style="background:#fdd;"| {{color|blue| {{mvar|O}}}}
|| {{mvar|B}}
|| {{mvar|A}}
|-
! {{mvar|A}}
|| {{mvar|A}}
|| {{mvar|B}}
|| {{mvar|O}}
|| {{mvar|I}}
|-
! {{mvar|B}}
|| {{mvar|B}}
|| {{mvar|A}}
|| {{mvar|I}}
|| {{mvar|O}}
|}
! scope="row" | 
{| class="wikitable"

|-
! style="width:20%;"| · !! style="width:20%;"| {{mvar|O}} !! style="width:20%;"| {{mvar|I}} !! style="width:20%;"| {{mvar|A}} !! style="width:20%;"| {{mvar|B}}
|-
! {{mvar|O}}
| style="background:#fdd;"|{{color|blue| {{mvar|O}}}}
| style="background:#fdd;"|{{color|blue| {{mvar|O}}}}
|| {{mvar|O}}
|| {{mvar|O}}
|-
! {{mvar|I}}
| style="background:#fdd;"|{{color|blue| {{mvar|O}}}}
| style="background:#fdd;"|{{color|blue| {{mvar|I}}}}
|| {{mvar|A}}
|| {{mvar|B}}
|-
! {{mvar|A}}
|| {{mvar|O}}
|| {{mvar|A}}
|| {{mvar|B}}
|| {{mvar|I}}
|-
! {{mvar|B}}
|| {{mvar|O}}
|| {{mvar|B}}
|| {{mvar|I}}
|| {{mvar|A}}
|}
|}

Ngoài những tập số quen thuộc như số hữu tỉ hay số thực, có những ví dụ của trường khác ít hiển nhiên hơn của. Ví dụ sau là một trường gồm có bốn phần tử là {{mvar|O}}, {{mvar|I}}, {{mvar|A}}, và {{mvar|B}}. {{mvar|O}} đóng vai trò là đơn vị cộng (ký hiệu là 0 trong hệ tiên đề trên), và I là đơn vị nhân (ký hiệu là 1 trong hệ tiên đề trên). Những tiên đề trên có thể được kiểm chứng bằng một số lý thuyết trường, hoặc bằng tính toán trực tiếp. Ví dụ,

: {{math|1=''A'' · (''B'' + ''A'') = ''A'' · ''I'' = ''A''}}, bằng với {{nowrap|1={{math|1=''A'' · ''B'' + ''A'' · ''A'' = ''I'' + ''B'' = ''A''}}}}, như tính chất phân phối yêu cầu.

Trường này được gọi là [[trường hữu hạn]] với bốn phần tử, và được ký hiệu là {{math|'''F'''<sub>4</sub>}} hay {{math|GF(4)}}.<ref>{{harvtxt|Lidl|Niederreiter|2008|loc=Ví dụ 1.62}}</ref> Tập con chứa {{mvar|O}} và {{mvar|I}} (màu đỏ ở bảng bên) cũng là một trường, gọi là ''trường nhị phân'' {{math|'''F'''<sub>2</sub>}} hay {{math|GF(2)}}. Trong [[khoa học máy tính]] và [[đại số Boole]], {{mvar|O}} và {{mvar|I}} thường lần lượt đại diện cho ''false'' và ''true'', phép cộng khi ấy được ký hiệu là [[Phép toán thao tác bit#XOR|XOR]] (exclusive or), và phép nhân ký hiệu là [[Phép toán thao tác bit#AND|AND]]. Nói cách khác, cấu trúc của trường nhị phân là cấu trúc cơ bản cho phép tính toán với [[bit]].

== Khái niệm cơ bản ==
Trong phần này, {{mvar|F}} ký hiệu một trường tùy ý và {{math|''a'', ''b''}} là những phần tử bất kỳ của {{mvar|F}}.

=== Hệ quả từ định nghĩa ===
Ta có {{math|1=''a'' · 0 = 0}} và {{math|1=−''a'' = (−1) · ''a''}}.<ref>{{harvtxt|Beachy|Blair|2006|loc=trang 120, Chương 3}}</ref> Cụ thể, ta có thể suy ra nghịch đảo phép cộng của mọi phần tử ngay khi biết {{math|–1}}.

Nếu {{math|1=''ab'' = 0}} thì {{math|1=''a''}} hoặc {{math|''b''}} phải bằng 0. Thực vậy, nếu {{math|''a'' ≠ 0}}, thì 
{{math|1=0 = ''a''<sup>–1</sup>⋅0 = ''a''<sup>–1</sup>(''ab'') = (''a''<sup>–1</sup>''a'')''b'' = ''b''}}. Điều này nghĩa là mọi trường là một [[miền nguyên]].

=== Nhóm cộng và nhóm nhân của một trường [[Hình thất giác]] [[Đa giác đều|đều]] không thể dựng được [[Phép dựng hình bằng thước kẻ và compa|thước kẻ và compa]]; Điều này có thể chứng minh sử dụng trường của [[số dựng được]]. ===
Các tiên đề của một trường {{mvar|F}} chỉ rằng nó là một [[nhóm giao hoán]] dưới phép cộng. Nhóm này được gọi là [[nhóm cộng]] của trường, và đôi khi được kí hiệu là {{math|(''F'', +)}}.

Tương tự, các phần tử khác 0 của {{mvar|F}} tạo thành một nhóm giao hoán dưới phép nhân, gọi là [[nhóm nhân]], và thường ký hiệu là {{math|(''F'' \ {0}, ·)}} hoặc {{math|''F'' \ {0}}} hay {{math|''F''<sup>*</sup>}}.

Từ đó, một trường có thể được định nghĩa là một tập {{mvar|F}} với hai phép toán cộng và nhân sao cho {{mvar|F}} là nhóm giao hoán dưới phép cộng, {{math|''F'' \ {0}}} là nhóm giao hoán dưới phép nhân (với 0 là đơn vị cộng), và phép nhân có [[Thuộc tính phân phối|tính phân phối]] đối với phép cộng.<ref group=nb>Nói cách khác, một trường là một [[cấu trúc]] đại số {{math|⟨''F'', +, ·, −, <sup>−1</sup>, 0, 1⟩}} của dạng {{math|⟨2, 2, 1, 1, 0, 0⟩}}, sao cho {{math|0<sup>−1</sup>}} không có nghĩa, {{math|⟨''F'', +, –, 0⟩}} và {{math|⟨''F'' ∖ {0}, ·, <sup>−1</sup>⟩}} là các nhóm giao hoán, còn · phân phối đối với +. {{harvtxt|Wallace|1998|loc=Định lý 2}}</ref> Một số tính chất cơ bản của trường có thể được suy ra bằng những tính chất của [[nhóm (toán học)|nhóm]]. Ví dụ, nghịch đảo phép cộng và phép nhân {{math|−''a''}} và {{math|''a''<sup>−1</sup>}} được xác định duy nhất bởi {{math|''a''}}.

Từ đó ta suy ra {{math|1 ≠ 0}}, vì 1 là đơn vị của nhóm không chứa 0.<ref>{{harvtxt|Sharpe|1987|loc=Định lý 1.3.2}}</ref> Do đó, [[Vành|vành không]], chỉ chứa một phần tử, không phải là một trường.

Tất cả nhóm con hữu hản của nhóm nhân của một trường đều là [[nhóm cyclic|cyclic]] (xem {{slink|Nghiệm đơn vị|Nhóm cyclic}}).

=== Tính chất ===
Ngoài phép nhân hai phần tử của {{mvar|F}}, ta có thể định nghĩa tích {{math|''n'' ⋅ ''a''}} của phần tử {{math|''a''}} bất kỳ của {{mvar|F}} với một [[số nguyên]] dương {{mvar|n}} là tổng {{mvar|n}} số hạng là {{math|''a''}}
:{{math|''a'' + ''a'' + ... + ''a''}}

Nếu không tồn tại số nguyên dương nào sao cho
:{{math|1=''n'' ⋅ 1 = 0}},
thì trường {{mvar|F}} có ''[[Đặc số (đại số)|đặc số]]'' 0.<ref>{{harvtxt|Adamson|2007|loc=§I.2, p.&nbsp;10}}</ref> Ví dụ, trường số hữu tỉ {{math|'''Q'''}} có đặc số 0 vì không có số nguyên dương {{mvar|n}} nào bằng 0. Nếu tồn tại một số nguyên dương {{mvar|n}} thỏa mãn phương trình trên thì nghiệm nhỏ nhất phải là [[số nguyên tố]]. Số này thường được ký hiệu là {{mvar|p}} và khi ấy ta nói trường có ''đặc số'' {{mvar|p}}. Trong ví dụ ở trên, trường {{math|'''F'''<sub>4</sub>}} có đặc số 2 vì {{math| 1= I + I = O }}.

Nếu {{mvar|F}} có đặc số {{mvar|p}}, thì {{math|1=''p'' ⋅ ''a'' = 0}} với mọi {{math|''a''}} thuộc {{mvar|F}}. Nghĩa 
:{{math|1=(''a'' + ''b'')<sup>''p''</sup> = ''a''<sup>''p''</sup> + ''b''<sup>''p''</sup>}},
Do tất cả [[hệ số nhị thức]] xuất hiện trong [[Định lý nhị thức|khai triển nhị thức]] đều chia hết cho {{mvar|p}}. Ở đây, {{math|1=ok các bạn nhé !}} ({{mvar|p}} nhân tử) là lũy thừa bậc {{mvar|p}} của {{math|''a''}}. Do đó, [[Phép tự đồng cấu Frobenius|ánh]] 
:{{math|1=1km=10hm & 1km=1000m}}
tương thích với phép cộng trong {{mvar|F}} (và với phép nhân), do đó nó là một phép tự đồng cấu trường.<ref>{{harvtxt|Escofier|2012|loc=14.4.2}}</ref> Sự tồn tại của đồng cấu này khiến trường đặc số {{mvar|p}} có nhiều điểm khác với trường đặc số 0.

=== Trường con và trường nguyên tố ===
Một ''[[Mở rộng trường|trường con]]'' {{mvar|E}} của trường {{mvar|F}} là một tập con của {{mvar|F}} và là một trường đối với các phép toán của {{mvar|F}}. Nói cách khác, {{mvar|E}} là tập con của {{mvar|F}} chứa {{math|1}}, và đóng dưới phép cộng, phép nhân, nghịch đảo phép cộng và nghịch đảo phép nhân của một phần tử khác 0. Điều này nghĩa là {{math|1 ∈ ''E''}}, với mọi {{math|''a'', ''b'' ∈ ''E''}} thì cả {{math|''a'' + ''b''}} và {{math|''a'' · ''b''}} cũng thuộc {{mvar|E}}, với mọi {{math|''a'' ≠ 0}} thuộc {{mvar|E}}, thì {{math|–''a''}} và {{math|1/''a''}} đều thuộc {{mvar|E}}.

[[Phép đồng cấu trường]] là một ánh xạ {{math|''f'': ''E'' &rarr; ''F''}} giữa hai trường sao cho
:{{math|1=''f''(''e''<sub>1</sub> + ''e''<sub>2</sub>) = ''f''(''e''<sub>1</sub>) + ''f''(''e''<sub>2</sub>)}}
:{{math|1=''f''(''e''<sub>1</sub>''e''<sub>2</sub>) = ''f''(''e''<sub>1</sub>)''f''(''e''<sub>2</sub>)}}
:{{math|1=''f''(1<sub>E</sub>) = 1<sub>F</sub>}},
trong đó {{math|''e''<sub>1</sub>}} và {{math|''e''<sub>2</sub>}} là những phần tử bất kỳ của {{mvar|E}}. Tất cả đồng cấu trường đều là [[đơn ánh]].<ref>{{harvtxt|Adamson|2007|loc=Mục I.3}}</ref> Nếu {{mvar|F}} cũng là [[toàn ánh]], nó được gọi là phép đẳng cấu (hoặc trường {{mvar|E}} và {{mvar|F}} đẳng cấu).

Một trường được gọi là một [[trường nguyên tố]] nếu như nó không có trường con thực sự nào. Bất kỳ trường {{mvar|F}} nào cũng chứa một trường nguyên tố, trường này là giao của tất cả trường con của {{mvar|F}}. Nếu đặc số của {{mvar|F}} là một số nguyên tố {{mvar|p}}, trường nguyên tố đó đẳng cấu với trường hữu hạn {{math|'''F'''<sub>''p''</sub>}} ở dưới. Nếu không thì trường nguyên tố này đẳng cấu với {{math|'''Q'''}}.<ref>{{harvtxt|Adamson|2007|loc=trang 12}}</ref>

== Trường hữu hạn ==
{{main|Trường hữu hạn}}
''Trường hữu hạn'' (còn gọi là ''trường Galois'') là những trường có hữu hạn số phần tử, số này gọi là bậc của trường đó. Trong ví dụ ở trên trường {{math|'''F'''<sub>4</sub>}} có bốn phần tử. Trường colà trường nhỏ nhất, do theo định nghĩa trường phải có ít nhất hai phần tử phân biệt {{math|1 ≠ 0}}.

[[Tập tin:Clock_group.svg|thumb|Trong số học mô đun 12, 9&nbsp;+&nbsp;4&nbsp;=&nbsp;1 do 9&nbsp;+&nbsp;4&nbsp;=&nbsp;13 trong khi chia cho 12 có [[số dư]] là&nbsp;1. Tuy nhiên,                   không phải là một trường do 12 không phải là số nguyên tố.|thế=1=?|202x202px]]
Trường hữu hạn đơn giản nhất, với bậc là số nguyên tố, có thể được xây dựng dựa trên [[số học mô đun]]. Với một số nguyên dương {{mvar|n}} cho trước, số học "mô đun {{mvar|n}}" nghĩa là làm việc với các số
:{{math|1='''Z'''/''n'''''Z''' = {0, 1, ..., ''n'' − 1}.}}
Phép cộng và nhân trên tập này được thực hiện như trên tập số nguyên {{math|'''Z'''}}, chia cho {{mvar|n}} rồi lấy [[số dư]] là kết quả cuối cùng. Ta nhận được một trường khi và chỉ khi {{mvar|n}} là một [[số nguyên tố]]. Ví dụ, lấy số nguyên tố {{math|1=''n''&nbsp;=&nbsp;2}} cho ta trường {{math|'''F'''<sub>2</sub>}} ở trên. Với {{math|1=''n''&nbsp;=&nbsp;4}}, hay tổng quát hơn, với mọi [[hợp số]] (tức là số {{math|1=''n''&nbsp;=&nbsp;''r'' ⋅ ''s''}} có thể biểu diễn dưới dạng tích của hai số nhỏ hơn), {{math|1='''Z'''/''n'''''Z'''}} không phải là một trường: tích của hai phần tử khác 0 có thể bằng không, như {{math|1=''r'' ⋅ ''s''&nbsp;=&nbsp;0}} trong {{math|'''Z'''/''n'''''Z'''}}, do đó như đã giải thích ở [[#Hệ quả từ định nghĩa|trên]], khiến {{math|'''Z'''/''n'''''Z'''}} không phải là một trường. Trường {{math|'''Z'''/''p'''''Z'''}} gồm {{mvar|p}} phần tử ({{mvar|p}} nguyên tố) được tạo theo cách này thường được kí hiệu là {{math|'''F'''<sub>''p''</sub>}}.

Mọi trường hữu hạn {{mvar|F}} có {{math|1=''q''&nbsp;=&nbsp;''p''<sup>''n''</sup>}} phần tử, với {{math|1=''p''}} là số nguyên tố và {{math|''n''&nbsp;&ge;&nbsp;1}}. Điều này có thể suy ra từ việc xem trường {{mvar|F}} là một [[không gian vectơ]] trên trường nguyên tố của nó. Số [[Không gian vectơ|chiều]] của không gian vectơ này là hữu hạn, giả sử là {{mvar|n}}, từ đó suy ra biểu thức trên.<ref>{{harvtxt|Lidl|Niederreiter|2008|loc=Bổ đề 2.1, Định lý 2.2}}</ref>

Một trường với {{math|1=''q''&nbsp;=&nbsp;''p''<sup>''n''</sup>}} phần tử có thể xây dựng từ [[trường phân rã]] của đa thức: 
:{{math|1=trong đó tên danh sách là một trong những đề mục sau đây (không bao gồm dấu ngoặc kép):
Nhóm, Vành, Dàn, Mô đun, Đại số}}.
Một trường phân rã như thế là một mở rộng của {{math|'''F'''<sub>''p''</sub>}} trong đó đa thức {{mvar|F}} có {{math|''q''}} nghiệm. Điều này nghĩa là {{mvar|F}} có nhiều nghiệm nhất có thể do [[Bậc của đa thức|bậc]] của {{mvar|F}} là {{math|''q''}}. Với {{math|1=''q''&nbsp;=&nbsp;2<sup>2</sup>&nbsp;=&nbsp;4}}, có thể kiểm tra bằng tính toán rằng cả bốn phần tử của {{math|'''F'''<sub>4</sub>}} thỏa mãn phương trình {{math|1=''x''<sup>4</sup>&nbsp;=&nbsp;''x''}}, vậy nên chúng đều là nghiệm của {{mvar|F}}. Mặt khác, trong {{math|'''F'''<sub>2</sub>}}, {{mvar|F}} chỉ có hai nghiệm (0 và 1), nên {{mvar|F}} không phân tích ra thừa số bậc nhất trong trường này. Sử dụng những khái niệm khác trong lý thuyết trường, ta có thể chứng minh rằng hai trường hữu hạn có cùng bậc thì đẳng cấu.<ref>{{harvtxt|Lidl|Niederreiter|2008|loc=Định lý 1.2.5}}</ref> Vì thế đôi khi trường hữu hạn với {{math|''q''}} phần tử được nói chung, ký hiệu là {{math|'''F'''<sub>''q''</sub>}} hay {{math|GF(''q'')}}.

== Lịch sử ==
Trong lịch sử, có ba lĩnh vực đại số chính đã dẫn đến khái niệm của một trường: câu hỏi về việc [[giải phương trình]] đa thức, [[lý thuyết số đại số]] và [[hình học đại số]].<ref>{{harvtxt|Kleiner|2007|loc=trang 63}}</ref> Một bước tiến trong khái niệm về trường trong năm 1770 khi nhà toán học [[Joseph-Louis Lagrange]] để ý rằng hoán đổi các nghiệm {{math|''x''<sub>1</sub>, ''x''<sub>2</sub>, ''x''<sub>3</sub>}} của một [[Hàm số bậc ba|đa thức bậc ba]] trong biểu thức
:{{math|(''x''<sub>1</sub> + &omega;''x''<sub>2</sub> + &omega;<sup>2</sup>''x''<sub>3</sub>)<sup>3</sup>}}
(với {{math|&omega;}} là [[nghiệm đơn vị]] cấp 3) chỉ cho ra hai kết quả. Từ đó, Lagrange đã có thể giải thích được phương pháp tìm nghiệm của [[Scipione del Ferro]] và [[François Viète]], trong đó phương trình bậc ba theo ẩn {{mvar|x}} được rút gọn thành phương trình bậc hai theo {{math|''x''<sup>3</sup>}}.<ref>{{harvtxt|Kiernan|1971|loc=trang 50}}</ref> Cùng với những quan sát tương tự cho [[phương trình bậc bốn]], Lagrange đã liên kết được thứ mà sau này trở thành khái niệm trường và khái niệm nhóm.<ref>{{harvtxt|Bourbaki|1994|loc=trang 75–76}}</ref> Cũng trong năm 1770, [[Alexandre-Théophile Vandermonde|Vandermonde]], và sâu rộng hơn, [[Carl Friedrich Gauss]], trong tác phẩm ''[[Disquisitiones Arithmeticae]]'' (1801), nghiên cứu phương trình
:{{math|1=''x''<sup>''p''</sup> = 1}}
với số {{mvar|p}} nguyên tố và, sử dụng ngôn ngữ hiện đại, [[nhóm Galois]] cyclic tương ứng. Gauss chứng minh rằng một [[đa giác đều]] {{mvar|p}} cạnh có thể dựng được nếu và chỉ nếu {{math|1=''p''&nbsp;=&nbsp;2<sup>2<sup>''k''</sup></sup>&nbsp;+&nbsp;1}}. Sử dụng các kết quả của Lagrange, [[Paolo Ruffini]] khẳng định (1799) rằng [[phương trình bậc năm]] không có nghiệm đại số, tuy nhiên lập luận của ông có lỗ hổng. Những lỗ hổng này được khắc phục bởi [[Niels Henrik Abel]] năm 1824.<ref>{{harvtxt|Corry|2004|loc=trang 24}}</ref> [[Évariste Galois]], năm 1832, đưa ra điều kiện cần và đủ để một phương trình đa thức giải được bằng đại số, bắt đầu cho [[lý thuyết Galois]]. Cả Abel và Galois đều sử dụng cái ngày nay gọi là [[trường số đại số]], nhưng không nhận ra rõ ràng khái niệm một trường hay một nhóm.

Năm 1871 [[Richard Dedekind]] đưa ra từ [[tiếng Đức]] ''Körper'', nghĩa là "cơ thể" hay "vật thể", cho một tập các số thực hoặc phức đóng dưới bốn phép toán số học. Từ tiếng Anh "field" được giới thiệu bởi {{harvtxt|Moore|1893}}.<ref>[http://jeff560.tripod.com/f.html ''Earliest Known Uses of Some of the Words of Mathematics (F)'']</ref>

{{Quote|text=Một trường nghĩa là mọi hệ thống vô hạn các số thực hoặc phức đóng và hoàn hảo đến mức cộng, trừ, nhân, chia bất kỳ hai số nào cho ra một số thuộc hệ thống.
|author=Richard Dedekind, 1871<ref>{{harvtxt|Dirichlet|1871|loc=trang 42}}, dịch bởi {{harvtxt|Kleiner|2007|loc=trang 66}}</ref>}}

Năm 1881 [[Leopold Kronecker]] định nghĩa cái ông gọi là ''miền hữu tỉ'', thực chất là trường các [[hàm phân thức]] theo hiện nay. Khái niệm của Kronecker không bao gồm trường các số đại số, nhưng mặt khác trừu tượng hơn định nghĩa của Dedekind do nó không giả sử gì về tính chất của các phần tử của một trường. Kronecker xem một trường như {{math|'''Q'''(&pi;)}} trừu tượng như trường hàm hữu tỉ {{math|'''Q'''(''X'')}}. Trước đó, ví dụ của số siêu việt được biết từ công trình của [[Joseph Liouville]] năm 1844, đến khi [[Charles Hermite]] (1873) và [[Ferdinand von Lindemann]] (1882) lần lượt chứng minh sự siêu việt của {{mvar|e}} và {{math|&pi;}}.<ref>{{harvtxt|Bourbaki|1994|loc=p. 81}}</ref>

Định nghĩa rõ ràng đầu tiên của một trường do {{harvtxt|Weber|1893}}.<ref>{{harvtxt|Corry|2004|loc=trang 33}}. Xem thêm {{harvtxt|Fricke|Weber|1924}}.</ref> Cụ thể, định nghĩa của [[Heinrich Martin Weber]] bao gồm trường '''F'''<sub>''p''</sub>. [[Giuseppe Veronese]] (1891) nghiên cứu trường của chuỗi lũy thừa chính quy, dẫn đến {{harvtxt|Hensel|1904}} đưa ra trường số ''p''. {{harvtxt|Steinitz|1910}} tổng hợp những kiến thức về trường đã có. Ông nghiên cứu những tính chất của trường và định nghĩa nhiều khái niệm trong lý thuyết trường. Phần lớn các định lý trong phần [[#Lý thuyết Galois|Lý thuyết Galois]], [[#Xây dựng trường|Xây dựng trường]] và [[#Khái niệm cơ bản|Khái niệm cơ bản]] đều có thể được tìm thấy trong công trình của Steinitz. {{harvtxt|Artin|Schreier|1927}} liên hệ khái niệm của [[trường sắp thứ tự|thứ tự trong trường]], một lĩnh vực của giải tích, với những tính chất thuần đại số.<ref>{{harvtxt|Bourbaki|1994|loc=trang 92}}</ref> [[Emil Artin]] phát triển lại lý thuyết Galois từ năm 1928 đến năm 1942 mà không dựa vào [[định lý phần tử nguyên thủy]].

== Xây dựng trường ==

=== Xây dựng trường từ vành ===
Một [[vành giao hoán]] là một tập hợp, cùng với phép toán cộng và nhân, thỏa mãn tất cả tiên đề của trường, ngoại trừ việc tồn tại nghịch đảo phép nhân {{math|''a''<sup>&minus;1</sup>}}.<ref>{{harvtxt|Lang|2002|loc=§II.1}}</ref> Ví dụ, tập số nguyên {{math|'''Z'''}} tạo thành một vành giao hoán, nhưng không phải một trường: nghịch đảo của một số nguyên {{mvar|n}} không phải là một số nguyên, trừ khi {{math|1=''n'' = ±1}}.

Trong hệ thống cấp bậc các cấu trúc đại số, trường có thể được coi là vành giao hoán {{mvar|R}} mà trong đó bất kỳ phần tử khác 0 nào đều là một [[đơn vị (lý thuyết vành)|đơn vị]] (nghĩa là chúng khả nghịch). Tương tự, trường là vành giao hoán với đúng hai [[I-đê-an|ideal]] (ideal), {{math|(0)}} và {{mvar|R}}. Trường cũng là vành giao hoán mà trong đó {{math|(0)}} là [[I-đê-an nguyên tố|ideal nguyên tố]] duy nhất.

Với một vành giao hoán {{mvar|R}}, có hai cách để xây dựng một trường liên quan đến {{mvar|R}}, hay hai cách để thay đổi {{mvar|R}} sao cho mọi phần tử khác 0 đều khả nghịch: xây dựng trường các thương và xây dựng trường thặng dư. Trường các thương của {{math|'''Z'''}} là các số hữu tỉ {{math|'''Q'''}}, còn trường thặng dư của {{math|'''Z'''}} là các trường hữu hạn {{math|'''F'''<sub>''p''</sub>}}.

==== Trường các thương ====

Cho trước [[miền nguyên]] {{mvar|R}}, [[trường các thương]] {{math|''Q''(''R'')}} của nó được tạo từ thương số giữa hai phần tử của {{mvar|R}} giống như '''Q''' được tạo từ các số nguyên. Chính xác hơn, phần tử của {{math|''Q''(''R'')}} là phân số {{math|''a''/''b''}} với {{math|''a''}} và {{math|''b''}}  thuộc {{mvar|R}}, trong đó {{math|''b'' ≠ 0}}. Hai phân số {{math|''a''/''b''}} và  {{math|''c''/''d''}} bằng nhau khi và chỉ khi {{math|1=''ad'' = ''bc''}}. Các phép toán trên phân số hoạt động giống hệt như số hữu tỉ. Ví dụ,
:<math>\frac{a}{b}+\frac{c}{d} = \frac{ad+bc}{bd}.</math>
Không khó để chỉ ra rằng, nếu vành này là miền nguyên thì tập các thương tạo thành một trường.<ref>{{harvtxt|Artin|1991|loc=Mục 10.6}}</ref>

Trường {{math|''F''(''x'')}} các [[hàm phân thức]] trên một trường (hay miền nguyên) {{mvar|F}} là trường các phân thức của [[vành đa thức]] {{math|''F''[''x'']}}. Truòng {{math|''F''((''x''))}} của [[chuỗi Laurent]]
:<math>\sum_{i=k}^\infty a_i x^i \ (k \in \Z, a_i \in F)</math>
trên một trường {{mvar|F}} là trường các phân thức của vành {{math|''F''<nowiki>[[</nowiki>''x'']]}} của [[chuỗi lũy thừa hình thức]] (trong đó {{math|''k'' &ge; 0}}). Do bất kỳ chuỗi Laurent nào là một phân số của một chuỗi lũy thừa chia cho lũy thừa của {{mvar|x}} (không như chuỗi lũy thừa bất kỳ), việc biểu diễn thành phân thức không quá quan trọng trong trường hợp này.

==== Trường thặng dư ====
{{Chính|Trường thặng dư}}
Ngoài trường các thương, nhúng {{mvar|R}} [[Đơn ánh|bằng một đơn ánh]] vào một trường field, một trường có thể nhận được từ vành giao hoán {{mvar|R}} bằng một [[toàn ánh]] lên trường {{mvar|F}}. Bất kỳ trường nào nhận được bằng cách này là một [[vành thương|vành]] {{math|{{nowrap|''R'' / ''m''}}}}, trong đó {{math|''m''}} là [[ideal cực đại]] của {{mvar|R}}. Nếu {{mvar|R}} [[I-đê-an|chỉ có một ideal cực đại]] {{math|''m''}}, trường này được gọi là [[trường thặng dư]] của {{mvar|R}}.<ref>{{harvtxt|Eisenbud|1995|loc=trang 60}}</ref>

[[Ideal chính|Ideal sinh ra bởi một đa thức]] {{mvar|F}} trong vành đa thức {{math|1=''R'' = ''E''[''X'']}} (trên trường {{mvar|E}}) là cực đại khi và chỉ khi {{mvar|F}} [[Đa thức bất khả quy|bất khả quy]] trong {{mvar|E}}, tức {{mvar|F}} không thể biểu diễn thành tích của hai đa thức trong {{math|''E''[''X'']}} có [[Bậc của đa thức|bậc]] nhỏ hơn. Điều này cho ta trường
:{{math|1=''F'' = ''E''[''X''] / (''f''(''X'')).}}

Trường {{mvar|F}} này chứa phần tử {{mvar|x}} (lớp thặng dư của {{mvar|x}}) thỏa mãn phương trình
:{{math|1=''f''(''x'') = 0}}.
Ví dụ, {{math|'''C'''}} nhận được từ {{math|'''R'''}} bằng cách [[Mở rộng trường|thêm]] [[đơn vị ảo]] {{mvar|i}}, thỏa mãn {{math|1=''f''(''i'') = 0}} với {{math|1=''f''(''X'') = ''X''<sup>2</sup> + 1}}. Thêm nữa, {{mvar|F}} bất khả quy trên {{math|'''R'''}}, nghĩa là ánh xạ biến một đa thức {{math|''f''(''X'') ∈ '''R'''[''X'']}} thành {{math|''f''(''i'')}} cho ta phép đẳng cấu
:<math>\mathbf R[X]/\left(X^2 + 1\right) \ \stackrel \cong \longrightarrow \ \mathbf C.</math>

=== Xây dựng trường từ một trường lớn hơn ===
Trường có thể được dựng trong một trường cho trước lớn hơn. Giả sử trường {{mvar|F}} chứa {{mvar|E}} là trường con. Với mọi phần tử {{mvar|x}} của {{mvar|F}}, tồn tại một trường con nhỏ nhất của {{mvar|F}} chứa {{mvar|E}} và {{mvar|x}}, gọi là trường con của {{mvar|F}} tạo bởi {{mvar|x}} và ký hiệu là {{math|''E''(''x'')}}.<ref>{{harvtxt|Jacobson|2009|loc=trang 213}}</ref> Việc chuyển từ {{mvar|E}} sang {{math|''E''(''x'')}} được gọi là ''[[Mở rộng trường|thêm]] một phần tử'' cho {{mvar|E}}. Tổng quát, với một tập con {{math|''S'' ⊂ ''F''}}, tồn tại một trường con nhỏ nhất của {{mvar|F}} chứa {{mvar|E}} và {{mvar|S}}, ký hiệu là {{math|''E''(''S'')}}.

[[Tích tensor của trường|Compositum]] của hai trường con {{mvar|E}} và {{math|''E' ''}} của một trường {{mvar|F}} là trường con nhỏ nhất chứa cả {{mvar|E}} và {{math|''E' ''}}. Compositum có thể dùng để dựng trường con lớn nhất của {{mvar|F}} thỏa mãn một số tính chất nào đó, ví dụ như trường con lớn nhất của {{mvar|F}} đại số trên {{mvar|E}}.<ref group=nb>Những ví dụ khác bao gồm mở rộng không rẽ nhánh cực đại hay mở rộng giao hoán cực đại trong {{mvar|F}}.</ref>

=== Mở rộng trường ===
{{main|Mở rộng trường}}
Khái niệm trường con {{math|''E'' ⊂ ''F''}} cũng có thể được xem xét từ góc nhìn đối nghịch, bằng cách gọi {{mvar|F}} là một ''[[mở rộng trường]]'' (hay chỉ mở rộng) của {{mvar|E}}, ký hiệu bằng
:{{math|''F'' / ''E''}},
đọc là "{{mvar|F}} trên {{mvar|E}}".

Một thông tin cơ bản của một mở rộng trường là [[Bậc của việc mở rộng trường|bậc]] của nó {{math|[''F'' : ''E'']}}, tức là chiều của không gian vectơ {{mvar|F}} trên {{mvar|E}}. Nó thỏa mãn hệ thức<ref>{{harvtxt|Artin|1991|loc=Định lý 13.3.4}}</ref>
:{{math|1=[''G'' : ''E''] = [''G'' : ''F''] [''F'' : ''E'']}}.
Mở rộng có bậc hữu hạn được gọi là mở rộng hữu hạn. Các mở rộng {{math|'''C''' / '''R'''}} và {{math|'''F'''<sub>4</sub> / '''F'''<sub>2</sub>}} có bậc là 2, còn {{math|'''R''' / '''Q'''}} là một mở rộng vô hạn.

==== Mở rộng đại số ====
Một khái niệm quan trọng trong việc nghiên cứu mở rộng trường {{math|''F'' / ''E''}} là [[phần tử đại số]]. Một phần tử {{math|x ∈ F}} gọi là ''đại số'' trên {{mvar|E}} nếu nó là [[nghiệm]] của một [[đa thức]] với hệ số thuộc {{mvar|E}}, tức là nó thỏa mãn [[Phương trình đại số|phương trình đa thức]]
:{{math|1=''e''<sub>''n''</sub>''x''<sup>''n''</sup> + ''e''<sub>''n''−1</sub>''x''<sup>''n''−1</sup> + ··· + ''e''<sub>1</sub>''x'' + ''e''<sub>0</sub> = 0}},
với {{math|''e''<sub>''n''</sub>, ..., ''e''<sub>0</sub>}} in {{mvar|E}}, và {{math|''e''<sub>''n''</sub> &ne; 0}}. Ví dụ, [[đơn vị ảo]] {{mvar|i}} trong {{math|'''C'''}} là đại số trên {{math|'''R'''}}, thậm chí là trên {{math|'''Q'''}}, do nó thỏa mãn phương trình
:{{math|1=''i''<sup>2</sup> + 1 = 0}}.
Một mở rộng trường {{math|''F'' / ''E''}} mà trong đó mọi phần tử của {{mvar|F}} đại số trên {{mvar|E}} được gọi là [[mở rộng đại số]]. Bất kỳ mở rộng hữu hạn nào cũng là mở rộng đại số, có thể suy ra từ hệ thức bậc của mở rộng trường ở trên.<ref>{{harvtxt|Artin|1991|loc=Hệ quả 13.3.6}}</ref>

Trường con {{math|''E''(''x'')}} sinh ra bởi phần tử {{mvar|x}} như trên, là một mở rộng đại số của {{mvar|E}} khi và chỉ khi {{mvar|x}} là một phần tử đại số. Có nghĩa là, nếu {{mvar|x}} đại số, tất cả phần tử khác của {{math|''E''(''x'')}} cũng là đại số. Hơn nữa, bậc của mở rộng {{math|''E''(''x'') / ''E''}}, bằng với số {{mvar|n}} nhỏ nhất sao cho tồn tại một phương trình đa thức bậc {{mvar|n}} nhận {{mvar|x}}làm nghiệm. Khi ấy các phần tử của {{math|''E''(''x'')}} có dạng 
:<math>\sum_{k=0}^{n-1} a_k x^k, \ \ a_k \in E.</math>
Ví dụ, trường {{math|'''Q'''(''i'')}} của [[số hữu tỉ Gauss]] là trường con của {{math|'''C'''}} bao gồm tất cả các số có dạng {{math|''a'' + ''bi''}} trong đó both {{math|''a''}} and {{math|''b''}} are số hữu tỉ: những số hạng có dạng {{math|''i''<sup>2</sup>}} (và tương tự với số mũ cao hơn) không cần phải xem xét, do {{math|''a'' + ''bi'' + ''ci''<sup>2</sup>}} rút gọn thành {{math|''a'' &minus; ''c'' + ''bi''}}.

==== Cơ sở siêu việt ====
Trường [[phân thức]] {{math|''E''(''X'')}} nói trên không là mở rộng đại số của {{mvar|E}} do không tồn tại phương trình đa thức nào có hệ số thuộc {{mvar|E}} mà có nghiệm là {{mvar|X}}. Những phần tử không đại số, như {{mvar|X}}, được gọi là [[Phần tử đại số|siêu việt]]. Nói đơn giản, ẩn {{mvar|X}} và lũy thừa của nó không tác động đến các phần tử của {{mvar|E}}. Ta có thể xây dựng tương tự với nhiều ẩn, không chỉ một.

Một lần nữa, mở rộng trường {{math|''E''(''x'') / ''E''}} xét trên là một ví dụ chính: nếu {{mvar|x}} không đại số (tức {{mvar|x}} không là nghiệm của một đa thức có hệ số thuộc {{mvar|E}}), thì {{math|''E''(''x'')}} đẳng cấu với {{math|''E''(''X'')}}. Đẳng cấu này được suy ra từ việc thay {{mvar|x}} vào {{mvar|X}} trong các phân thức.

Một tập con {{mvar|S}} của trường {{mvar|F}} là một [[Bậc siêu việt|cơ sở siêu việt]] nếu như nó [[độc lập đại số]] (không thỏa bất kỳ phương trình đa thức nào) trên {{mvar|E}} và {{mvar|F}} là mở rộng đại số của {{math|''E''(''S'')}}. Bất kỳ mở rộng trường {{math|''F'' / ''E''}} nào cũng có một cơ sở siêu việt.<ref>{{harvtxt|Bourbaki|1988|loc=Chương V, §14, No. 2, Định lý 1}}</ref> Do đó, mở rộng trường có thể phân thành hai dạng: {{math|''E''(''S'') / ''E''}} ([[mở rộng siêu việt]]) và mở rộng đại số.

=== Phép toán đóng ===
Một trường gọi là [[Trường đóng đại số|đóng đại số]] nếu như nó không có mở rộng đại số nào lớn hơn thực sự, hoặc tương đương, nếu bất kì [[Phương trình đại số|phương trình đa thức]]
:{{math|1=''f''<sub>''n''</sub>''x''<sup>''n''</sup> + ''f''<sub>''n''−1</sub>''x''<sup>''n''−1</sup> + ··· + ''f''<sub>1</sub>''x'' + ''f''<sub>0</sub> = 0}}, với các [[hệ số]] {{math|''f''<sub>''n''</sub>, ..., ''f''<sub>0</sub> ∈ ''F'', ''n'' > 0}},
có nghiệm {{math|''x'' ∈ ''F''}}.<ref>{{harvtxt|Artin|1991|loc=Mục 13.9}}</ref> Theo [[định lý cơ bản của đại số]], {{math|'''C'''}} là một trường đóng đại số, tức là ''bất kỳ'' phương trình đa thức với hệ số phức nào cũng có nghiệm phức. Số hữu tỉ và số thực ''không'' đóng đại số do phương trình
:{{math|1=''x''<sup>2</sup> + 1 = 0}}
không có nghiệm hữu tỉ hay nghiệm thực. Một trường chứa {{mvar|F}} gọi là một ''[[bao đóng đại số]]'' của {{mvar|F}} nếu nó [[Mở rộng trường|đại số]] trên {{mvar|F}} (đại khái, không quá lớn so với {{mvar|F}}) và đóng đại số (đủ lớn để chứa nghiệm của tất cả phương trình đa thức).

Theo như trên, {{math|'''C'''}} là một bao đóng đại số của {{math|'''R'''}}. Trường hợp bao đóng đại số là một mở rộng hữu hạn của trường {{mvar|F}} khá đặc biệt: theo định lý Artin-Schreier, bậc của mở rộng đó phải bằng 2, và {{mvar|F}} tương đương cơ bản (elementary equivalence) với {{math|'''R'''}}. Những trường như thế còn gọi là [[trường thực đóng]].

Bất kỳ trường {{mvar|F}} nào cũng có một bao đóng đại số, và nó là duy nhất theo phép đẳng cấu. Từ đó, bao đóng này thường được nhắc chung và ký hiệu là {{Overline|''F''}}. Ví dụ, bao đóng đại số {{math|{{Overline|'''Q'''}}}} của số hữu tỉ {{math|'''Q'''}} gọi là trường [[số đại số]]. Sự tồn tại và duy nhất của bao đóng đại số có thể được chứng minh sử dụng  [[định lý ideal nguyên tố Boole]], một tiên đề trong lý thuyết tập hợp yếu hơn [[tiên đề chọn]].<ref>{{harvtxt|Banaschewski|1992}}. [https://mathoverflow.net/questions/46566/is-the-statement-that-every-field-has-an-algebraic-closure-known-to-be-equivalent Câu hỏi Mathoverflow]</ref> Về mặt này, bao đóng đại số của {{math|'''F'''<sub>''q''</sub>}} là hợp của tất cả trường hữu hạn chứa {{math|'''F'''<sub>''q''</sub>}} (những trường có bậc {{math|''q''<sup>''n''</sup>}}). Với trường đóng đại số {{mvar|F}} đặc số 0, bao đóng đại số của trường {{math|''F''((''t''))}} của [[chuỗi Laurent]] là trường các [[chuỗi Puiseux]], tạo bởi thêm các ghiệm của {{mvar|t}}.<ref>{{harvtxt|Ribenboim|1999|loc=trang 186, §7.1}}</ref>

== Trường với tính chất khác==
Do sự phổ biến trong toán học, vài điều chỉnh trong khái niệm trường được đưa ra để phù hợp với nhu cầu của những ngành khác nhau.

=== Trường sắp thứ tự ===
{{main|Trường sắp thứ tự}}
Một trường {{mvar|F}} được gọi là ''trường sắp thứ tự'' nếu bất kỳ hai phần tử nào cũng có thể được so sánh, sao cho {{math|''x''&nbsp;+&nbsp;''y''&nbsp;&ge;&nbsp;0}} và {{math|''xy''&nbsp;&ge;&nbsp;0}} nếu {{math|''x''&nbsp;&ge;&nbsp;0}} và {{math|''y''&nbsp;&ge;&nbsp;0}}. Lấy ví dụ, các số thực tạo thành một trường sắp thứ tự, với quan hệ thứ tự {{math|≥}}. Định lý Artin-Schreier phát biểu rằng một trường có thể sắp thứ tự nếu và chỉ nếu nó là một [[trường thực hình thức]], nghĩa là phương trình bậc hai
:<math>x_1^2 + x_2^2 + \dots + x_n^2 = 0</math>
chỉ có nghiệm {{math|1=''x''<sub>1</sub> = ''x''<sub>2</sub> = ... = ''x''<sub>''n''</sub> = 0}}.<ref>{{harvtxt|Bourbaki|1988|loc=Chương VI, §2.3, Hệ quả 1}}</ref> Tập tất cả những quan hệ thứ tự khả dĩ trên một trường {{mvar|F}} đẳng cấu với tập các [[đồng cấu vành]] từ [[Nhóm Witt|vành Witt]] {{math|''W''(''F'')}} của các [[dạng toàn phương]] trên {{mvar|F}}, đến {{math|'''Z'''}}.<ref>{{harvtxt|Lorenz|2008|loc=§22, Định lý 1}}</ref>

Một [[Tiên đề Archimedes|trường Archimedes]] là một trường sắp thứ tự sao cho với mỗi phần tử tồn tại một biểu thức hữu hạn
:{{math|1 + 1 + ··· + 1}}

có giá trị lớn hơn phần tử đó, nói cách khác, không có phần tử lớn vô hạn. Tương tự, trường đó không chứa [[vô cùng bé]] (phần tử bé hơn tất cả số hữu tỉ); hay, trường đó đẳng cấu với một trường con của {{math|'''R'''}}.

[[Tập tin:Illustration of supremum.svg|thumb|300px|Mỗi tập số thực bị chặn đều có một cận trên nhỏ nhất.]]
Một trường sắp thứ tự gọi là [[đầy đủ Dedekind]] nếu mọi [[Tập bị chặn|tập con bị chặn]] của {{mvar|F}} phải có cận trên đúng. Bất kỳ trường đầy đủa nào cũng là trường Archimedes.<ref>{{harvtxt|Prestel|1984|loc=Mệnh đề 1.22}}</ref>

Do bất kỳ trường con thực sự nào của tập số thực cũng chứa "khoảng trống", {{math|'''R'''}} là trường sắp thứ tự đầy đủ duy nhất, xét theo đẳng cấu.<ref>{{harvtxt|Prestel|1984|loc=Định lý 1.23}}</ref> Một số kết quả quan trọng trong [[giải tích]] suy ra từ tính chất này của tập số thực.

Các [[số siêu thực]] {{math|'''R'''<sup>*</sup>}} tạo thành một trường sắp thứ tự nhưng không là Archimedes. Nó là mở rộng của trường số thực bằng cách thêm những số vô cùng lớn (lớn hơn mọi số thực) và vô cùng bé (bé hơn mọi số thực).

=== Trường tôpô ===
Một điều chỉnh khác trong khái niệm trường là một [[Vành tôpô|trường tôpô]], trong đó tập {{mvar|F}} là một [[không gian tôpô]], sao cho tất cả phép toán của trường (cộng, nhân, các ánh xạ {{math|''a'' ↦ &minus;''a''}} và {{math|''a'' ↦ ''a''<sup>&minus;1</sup>}}) là [[Hàm liên tục|ánh xạ liên tục]] đối với tôpô của không gian.<ref>{{harvtxt|Warner|1989|loc=Chương 14}}</ref>
Tôpô của tất cả những trường xét đến bên dưới được cảm sinh từ một [[Mêtric (toán học)|mêtric]], tức là hàm số
:{{math|''d'' : ''F'' × ''F'' → '''R''',}}
đo ''khoảng cách'' giữa hai phần tử của {{mvar|F}}.

[[Không gian mêtric đầy đủ|Hoàn chỉnh]] của {{mvar|F}} là một trường khác mà trong đó, nói đại khái, những "khoảng trống" trong {{mvar|F}} được lấp đầy. Ví dụ, bất kỳ [[số vô tỉ]] {{mvar|x}} nào, như {{math|{{radic|2}}}}, là một "khoảng trống" trong các số hữu tỉ {{math|'''Q'''}} mà có thể được xấp xỉ gần tùy ý với số hữu tỉ {{math|''p''/''q''}}, tức là khoảng cách giữa {{mvar|x}} và {{math|''p''/''q''}} là [[giá trị tuyệt đối]] {{math|<nowiki>|</nowiki>''x''&nbsp;&minus;&nbsp;''p''/''q''<nowiki>|</nowiki>}} có thể nhỏ tùy ý.
Bảng sau liệt kê một số ví dụ của việc xây dựng này. Cột thứ tư cho một ví dụ của dãy không, một [[dãy số]] có giới hạn (khi {{math|''n''&nbsp;&rarr;&nbsp;∞}}) bằng 0.

{| class="wikitable"
! Trường !! Mêtric !! Hoàn thành !! Dãy không
|-
| {{math|{{math|'''Q'''}}}} || {{math|1=<nowiki>|</nowiki>''x'' &minus; ''y''<nowiki>|</nowiki>}} (hàm [[giá trị tuyệt đối]] thông thường) || '''R''' || {{math|1/''n''}}
|-
| {{math|'''Q'''}} 
|| nhận được sử dụng [[Định giá p-adic|định giá ''p''-adic]], với một số nguyên tố {{mvar|p}}
|| {{math|{{math|'''Q'''}}<sub>''p''</sub>}} các [[Số p-adic|số ''p''-adic]]
|| {{math|''p''<sup>''n''</sup>}}
|-
| {{math|''F''(''t'')}} ({{mvar|F}} là trường bất kỳ)
|| nhận dược sử dụng định giá {{mvar|t}}-adic
|| {{math|''F''((''t''))}}
|| {{math|''t''<sup>''n''</sup>}}
|}

Trường {{math|{{math|'''Q'''}}<sub>''p''</sub>}} được dùng trong lý thuyết số và lý thuyết {{mvar|p}}-adic. Bao đóng đại số {{math|{{overline|'''Q'''}}<sub>''p''</sub>}} tuy không đầy đủ, nhưng hoàn thành của nó là đóng đại số. Do có phần giống với các số phức, nó được gọi là trường số ''p''-adic phức và ký hiệu là {{math|'''C'''<sub>''p''</sub>}}.<ref>{{harvtxt|Gouvêa|1997|loc=§5.7}}</ref>

==== Trường địa phương ====
Những trường tôpô sau được gọi là ''[[trường địa phương]]'':<ref>{{harvtxt|Serre|1979}}</ref><ref group=nb>Một số tác giả coi các trường {{math|'''R'''}} và {{math|'''C'''}} là trường địa phương. Mặt khác, hai trường này không có chung nhiều tính chất với trường địa phương để xét tới, đến mức {{harvtxt|Cassels|1986|loc=trang vi}} gọi chúng "hoàn toàn vô nguyên tắc".</ref>
* Mở rộng hữu hạn của {{math|'''Q'''<sub>''p''</sub>}} (trường địa phương có đặc số không)
* Mỡ rộng hữu hạn của {{math|'''F'''<sub>''p''</sub>((''t''))}}, trường các chuỗi Laurent trên {{math|'''F'''<sub>''p''</sub>}} (trường địa phương đặc số {{mvar|p}}).

Hai dạng trường địa phương này có chung một số tính chất cơ bản. Trong đó, phần tử {{math|''p'' ∈ '''Q'''<sub>''p''</sub>}} và {{math|''t'' ∈ '''F'''<sub>''p''</sub>((''t''))}} (gọi là uniformizer) tương ứng với nhau. Bằng chứng đầu tiên của sự tương quan ở mức độ phần tử: phần tử của cả hai trường có thể được biểu diễn thành chuỗi lũy thừa của uniformizer, với hệ số trong {{math|'''F'''<sub>''p''</sub>}}. (Tuy nhiên, do phép cộng trong {{math|'''Q'''<sub>''p''</sub>}} sử dụng nhớ còn {{math|'''F'''<sub>''p''</sub>((''t''))}} thì không, hai trường này không đẳng cấu). Sự tương quan này còn đi sâu hơn nữa. Ví dụ, bất kỳ mệnh đề [[Logic bậc nhất|bậc nhất]] đúng với hầu hết {{math|'''Q'''<sub>''p''</sub>}} cũng đúng với hầu hết {{math|'''F'''<sub>''p''</sub>((''t''))}}. Một ứng dụng là [[Định lý Ax–Kochen]] mô tả các nghiệm của đa thức thuần nhất trong {{math|'''Q'''<sub>''p''</sub>}}.

=== Trường vi phân ===
[[Trường vi phân]] là những trường mà trên đó có phép lấy đạo hàm những phần tử trong trường.<ref>{{harvtxt|van der Put|Singer|2003|loc=§1}}</ref> Ví dụ, trường {{math|'''R'''(''X'')}}, cùng với đạo hàm bình thường của đa thức tạo thành một trường vi phân. Những trường này là đối tượng chính của [[lý thuyết Galois vi phân]], một nhánh của lý thuyết Galois nghiên cứu các [[phương trình vi phân tuyến tính]].

== Lý thuyết Galois ==
{{main|Lý thuyết Galois}}

Lý thuyết Galois nghiên cứu [[mở rộng đại số]] của trường bằng cách xem xét [[Nhóm đối xứng|sự đối xứng]] trong những phép toán cộng và nhân. Một khái niệm quan trọng trong lĩnh vực này là [[mở rộng Galois]] [[Bậc của mở rộng trường|hữu hạn]] {{math|''F'' / ''E''}}, mà theo định nghĩa là [[Mở rộng tách được|tách được]] và [[Mở rộng chuẩn tắc|chuẩn tắc]]. [[Định lý phần tử nguyên thủy]] chỉ ra rằng mở rộng hữu hạn tách được là [[Mở rộng đơn giản|đơn giản]], tức là nó có dạng
:{{math|1=''F'' = ''E''[''X''] / ''f''(''X'')}},
trong đó {{mvar|f}} là một đa thức bất khả quy.<ref>{{harvtxt|Lang|2002|loc=Định lý V.4.6}}</ref> Với mở rộng như vậy, việc chuẩn tắc và tách được nghĩa là tất cả nghiệm của {{mvar|f}} nằm trong {{mvar|F}} và {{mvar|f}} chỉ có nghiệm đơn giản. Điều kiện sau luôn được thỏa mãn nếu trường {{mvar|E}} có đặc số 0.

Với một mở rộng Galois hữu hạn, [[nhóm Galois]] {{math|Gal(''F''/''E'')}} là nhóm của những [[phép tự đẳng cấu trường]] của {{mvar|F}} mà tầm thường trên {{mvar|E}} (tức là những [[song ánh]] {{math|σ : ''F'' → ''F''}} giữ nguyên phép cộng và phép nhân và biến những phần tử của {{mvar|E}} thành chính nó). Tầm quan trọng của nhóm này bắt nguồn từ [[định lý cơ bản của lý thuyết Galois]], đã xây dựng một [[Song ánh|tương ứng một-một]] giữa tập các [[nhóm con]] của {{math|Gal(''F''/''E'')}} và tập những mở rộng trung gian của mở rộng {{math|''F''/''E''}}.<ref>{{harvtxt|Lang|2002|loc=§VI.1}}</ref> Bằng tương ứng này, những tính chất của nhóm biến thành những tính chất của trường. Ví dụ, nếu nhóm Galois của một mở rộng Galois trên không [[Nhóm giải được|giải được]] (không thể xây dựng từ [[nhóm giao hoán]]), thì các nghiệm của {{mvar|f}} ''không'' thể biểu diễn dưới dạng tổng, tích hay khai căn. Ví dụ, [[nhóm đối xứng]] {{math|S<sub>''n''</sub>}} không giải được với {{math|''n'' &ge; 5}}. Hệ quả là nghiệm của những phương trình sau không biểu diễn được thành tổng, tích hay căn. Với đa thức thứ hai, kết quả này được biết là [[định lý Abel–Ruffini]]:
:{{math|1=''f''(''X'') = ''X''<sup>5</sup> &minus; 4''X'' + 2}} (và {{math|1=''E'' = '''Q'''}}),<ref>{{harvtxt|Lang|2002|loc=Ví dụ VI.2.6}}</ref>
:{{math|1=''f''(''X'') = ''X''<sup>''n''</sup> + ''a''<sub>''n''&minus;1</sub>''X''<sup>''n''&minus;1</sup> + ... + ''a''<sub>0</sub>}} (trong đó {{mvar|f}} là một đa thức trong {{math|''E''(''a''<sub>0</sub>, ..., ''a''<sub>''n''&minus;1</sub>)}}, với các ẩn {{math|''a''<sub>''i''</sub>}}, {{mvar|E}} là trường bất kỳ và {{math|''n'' &ge; 5}}).

[[Tích tensor của trường]] thường không phải là một trường. Ví dụ, mở rộng hữu hạn {{math|''F'' / ''E''}} với bậc {{mvar|n}} là một mở rộng Galois khi và chỉ khi tồn tại một đẳng cấu của các đại số {{mvar|F}}:
:{{math|''F''  ⊗<sub>''E''</sub> ''F'' ≅ ''F''<sup>''n''</sup>}}.
Kết quả này đã bắt đầu cho lý thuyết Galois của [[Grothendieck]], một mở rộng của lý thuyết Galois có tầm ảnh lớn.<ref>{{harvtxt|Borceux|Janelidze|2001}}. Xem thêm [[nhóm cơ bản Étale]].</ref>

== Bất biến của trường ==

Những bất biến cơ bản của trường {{mvar|F}} bao gồm đặc số và [[bậc siêu việt]] (số phần tử tối đa của {{mvar|F}} độc lập đại số trên trường nguyên tố) của {{mvar|F}} trên trường nguyên tố. Hai trường đóng đại số {{mvar|E}} và {{mvar|F}} đẳng cấu khi và chỉ khi hai dữ kiện trên bằng nhau.<ref>{{harvtxt|Gouvêa|2012|loc=Định lý 6.4.8}}</ref> Điều này nghĩa là hai trường đóng đại số [[Tập hợp không đếm được|không đếm được]] có cùng [[lực lượng (tập hợp)|lực lượng]] và cùng đặc số thì đẳng cấu. Lấy ví dụ, {{math|{{overline|'''Q'''}}<sub>''p''</sub>, '''C'''<sub>''p''</sub>}} và {{math|'''C'''}} là đẳng cấu (nhưng ''không'' đẳng cấu như trường tôpô).

=== Lý thuyết mô hình của trường ===
Trong [[lý thuyết mô hình]], một nhánh của [[logic toán]], hai trường {{mvar|E}} và {{mvar|F}} được gọi là tương đương phần tử nếu mọi phát biểu toán học đúng với {{mvar|E}} cũng đúng với {{mvar|F}} và ngược lại. Những mệnh đề đó phải là những phát biểu [[logic bậc nhất|bậc nhất]] (bao gồm 0, 1, phép nhân và phép cộng). Một ví dụ điển hình là
:{{math|&phi;(''E'')}} = "với mọi số nguyên dương {{mvar|n}}, bất kỳ đa thức bậc {{mvar|n}} trong {{mvar|E}} cũng có nghiệm thuộc {{mvar|E}}" (tương đương với việc {{mvar|E}} đóng đại số).
[[Nguyên lý Lefschetz]] phát biểu rằng {{math|'''C'''}} tương đương phần tử với bất kỳ trường đóng đại số đặc số không. Hơn nữa, bất kỳ phát biểu {{math|&phi;}} đúng trong {{math|'''C'''}} khi và chỉ khi nó đúng trong mọi trường đóng đại số có đặc số đủ cao.<ref>{{harvtxt|Marker|Messmer|Pillay|2006|loc=Hệ quả 1.2}}</ref>

===Nhóm Galois tuyệt đối===
{{Chính|Nhóm Galois tuyệt đối}}
Với trường không đóng đại số, [[nhóm Galois tuyệt đối]] {{math|Gal(''F'')}} rất quan trọng: tổng quát trường hợp mở rộng Galois hữu hạn ở trên, nhóm này kiểm soát ''tất cả'' mở rộng hữu hạn tách được của {{mvar|F}}. Bằng phương pháp sơ cấp, nhóm {{math|Gal('''F'''<sub>''q''</sub>)}} có thể được chứng minh là [[nhóm Prüfer]], [[hoàn thành cận hữu hạn]] của {{math|'''Z'''}}. Phát biểu này bao hàm việc những mở rộng đại số duy nhất của {{math|Gal('''F'''<sub>''q''</sub>)}} là các trường {{math|Gal('''F'''<sub>''q''<sup>''n''</sup></sub>)}} với {{math|''n'' > 0}}, và nhóm Galois của những mở rộng hữu hạn này được cho bởi
:{{math|1=Gal('''F'''<sub>''q''<sup>''n''</sup></sub> / '''F'''<sub>''q''</sub>) = '''Z'''/''n'''''Z'''}}.

[[Biểu diễn Galois|Biểu diễn của nhóm Galois]] và những nhóm liên quan như [[nhóm Weil]] có tầm quan trọng trong số học, ví dụ như [[chương trình Langlands]]. Nghiên cứu đối đồng điều của những biểu diễn đó sử dụng [[đối đồng điều Galois]].<ref>{{harvtxt|Serre|2002}}</ref> Lấy ví dụ, [[nhóm Brauer]], thường được định nghĩa là nhóm của [[Đại số trung tâm đơn giản|{{mvar|F}}-đại số trung tâm đơn giản]], có thể được xem là một nhóm đối đồng điều Galois:
:{{math|1=Br(''F'') = H<sup>2</sup>(''F'', '''G'''<sub>m</sub>)}}.

===K-lý thuyết===
[[K-lý thuyết Milnor]] được định nghĩa là
:<math>K_n^M(F) = F^\times \otimes \cdots \otimes F^\times / \langle x \otimes (1-x)\mid x \in F \setminus \{0, 1\} \rangle.</math>
[[Định lý đẳng cấu thặng dư norm]], chứng minh vào khoảng trước năm 2000 bởi [[Vladimir Voevodsky]], liên hệ với đối đồng điều Galois bằng đẳng cấu
:<math>K_n^M(F) / p = H^n(F, \mu_l^{\otimes n}).</math>
[[K-Lý thuyết đại số]] liên quan đến nhóm các [[ma trận khả nghịch]] với hệ số thuộc một trường nhất định. Ví dụ, quá trình lấy [[định thức]] của một ma trận khả nghịch cho ta đẳng cấu {{math|1=K<sub>1</sub>(''F'') = ''F''<sup>&times;</sup>}}. [[Định lý Matsumoto]] chứng minh rằng {{math|K<sub>2</sub>(''F'')}} bằng với {{math|K<sub>2</sub><sup>M</sup>(''F'')}}. Ở những bậc cao hơn, K-lý thuyết khác với K-lý thuyết Milnor và nhìn chung khó để tính.

== Ứng dụng ==

=== Đại số tuyến tính và đại số giao hoán ===
[[Tập tin:euler2a.gif|thumb|[[Góc Euler]] cho thấy mối liên hệ giữa các hệ tọa độ khác nhau, như cơ sở của {{math|'''R'''<sup>3</sup>}}. Chúng được sử dụng trong đồ họa máy tính.]]
Nếu {{math|''a'' ≠ 0}}, thì [[phương trình]] 
:{{math|1=''ax'' = ''b''}}
có nghiệm duy nhất {{mvar|x}} thuộc {{mvar|F}}, đó là {{math|1=''x'' = ''b''/''a''}}. Hệ quả của định nghĩa của trường là một thành phần quan trọng để cho thấy bất kỳ [[không gian vectơ]] nào cũng có một [[Cơ sở (đại số tuyến tính)|cơ sở]].<ref>{{harvtxt|Artin|1991|loc=§3.3}}</ref> Nói đơn giản, điều này cho phép ta chọn một hệ tọa độ trong một không gian vectơ bất kỳ, điều vô cùng quan trọng trong [[đại số tuyến tính]] về cả lý thuyết lẫn ứng dụng.

[[Môđun (toán học)|Môđun]] (khái niệm tương tự với không gian vectơ) trên hầu hết [[vành]], bao gồm vành số nguyên {{math|'''Z'''}}, có cấu trúc phức tạp hơn. Một trường hợp đặc biệt nảy sinh khi một vành {{mvar|R}} là một không gian vectơ trên trường {{mvar|F}}. Những trường như thế được gọi là [[Đại số trên một trường|{{mvar|F}}-đại số]] và được nghiên cứu kỹ càng trong [[đại số giao hoán]]. Ví dụ, [[bổ đề chuẩn hóa Noether]] khẳng định rằng bất kỳ [[Đại số hữu hạn sinh|{{mvar|F}}-đại số hữu hạn sinh]] có liên hệ mật thiết (chính xác hơn, [[Mô-đun (toán học)|là một môđun sinh hữu hạn]] trên) một vành đa thức {{math|''F''[''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>]}}.<ref>{{harvtxt|Eisenbud|1995|loc=Định lý 13.3}}</ref>

=== Trường hữu hạn: mật mã và lý thuyết mã hóa===

[[Tập tin:ECClines.svg|thumb|Tổng của ba điểm ''P'', ''Q'', và ''R'' trên đường cong elliptic {{mvar|E}} (đỏ) bằng không nếu tồn tại một đường thẳng (xanh) đi qua các điểm đó.]]
Một thuật toán mã hóa được áp dụng rộng rãi dựa trên một sự thật cơ bản, đó là tính lũy thừa rời rạc
:{{math|1=''a''<sup>''n''</sup> = ''a'' ⋅ ''a'' ⋅ ... ⋅ ''a''}} ({{mvar|n}} thừa số, với số nguyên {{math|''n'' ≥ 1}})
trong một trường hữu hạn {{math|'''F'''<sub>''q''</sub>}} (lớn) có thể được thực hiện nhanh hơn rất nhiều so với [[lôgarit rời rạc]], tương đương với phép toán ngược lại, tức là xác định nghiệm {{mvar|n}} của phương trình
:{{math|1=''a''<sup>''n''</sup> = ''b''}}.
Trong [[mật mã đường cong elliptic]], phép nhân trong một trường hữu hạn được thay thế bằng phép cộng các điểm trên một [[đường cong elliptic]], một đường cong định nghĩa bởi phương trình
:{{math|1=''y''<sup>2</sup> = ''x''<sup>3</sup> + ''ax'' + ''b''}}.

Trường hữu hạn cũng được sử dụng trong [[lý thuyết mã hóa]] và [[tổ hợp]].

=== Hình học: trường các hàm số===
[[Tập tin:Double torus illustration.png|thumb|Một mặt Riemann compact với [[Giống (toán học)|giống]] (genus) 2. Giống có thể được tính từ trường các hàm phân hình trên mặt.]]
[[Hàm số]] trên một [[không gian tôpô]] thích hợp {{mvar|X}} vào một trường {{mvar|k}} có thể được cộng và nhân tại từng điểm, ví dụ, tích của hai hàm số được định nghĩa là tích từng giá trị của chúng trong tập xác định:
:{{math|1={{nowrap|1=(''f'' ⋅ ''g'')(''x'') = ''f''(''x'') ⋅ ''g''(''x'')}}}}.
Điều này khiến những hàm này là một {{mvar|k}}-[[Đại số trên một trường|đại số giao hoán]].

Để có một ''trường'' các hàm số, cần phải xét những đại số của hàm là [[miền nguyên]]. Trong trường hợp này tỉ số của hai hàm số, có dạng
:<math>\frac{f(x)}{g(x)}</math>
tạo thành một trường, gọi là trường các hàm số.

Nếu {{mvar|X}} là một [[đa tạp phức]], ta xét đại số của những [[hàm chỉnh hình]], những hàm khả vi phức. Tỉ số của chúng tạo thành trường các [[hàm phân hình]] trên {{mvar|X}}.

[[Trường hàm của một đa tạp đại số|Trường hàm]] của một [[đa tạp đại số]] {{mvar|X}} (một vật thể hình học gồm những nghiệm chung của các phương trình đa thức) gồm tỉ số của những [[hàm chính quy]], tức tỉ số các hàm đa thức trên đa tạp. Trường hàm của [[không gian afin|không gian]] {{mvar|n}} chiều trên một trường {{math|''k''}} là {{math|''k''(''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>)}}. Trường hàm của {{mvar|X}} bằng với trường hàm của một đa tạp con trù mật [[Tôpô Zariski|mở]]. Nói cách khác, trường hàm không thay đổi thi thay {{mvar|X}} với một đa tạp con nhỏ hơn.

=== Lý thuyết số: trường toàn cục ===

[[Trường toàn cục]] là trung tâm của [[lý thuyết số đại số]] và [[hình học số học]].
Theo định nghĩa, trường toàn cục là những [[Trường số đại số|trường số]] (mở rộng hữu hạn của {{math|'''Q'''}}) hoặc trường hàm trên {{math|'''F'''<sub>''q''</sub>}} (mở rộng hữu hạn của {{math|'''F'''<sub>''q''</sub>(''t'')}}). Hai loại trường này có chung một số tính chất, mặc dù chúng có đặc số lần lượt là 0 và dương. Sự tương quan giữa hai trường này giúp hình thành các phỏng đoán toán học, thường là hiểu bản chất của trường các hàm trước rồi xét đến trường số. Ví dụ, [[giả thuyết Riemann]] liên quan đến các nghiệm của [[hàm zeta Riemann]] (chưa được chứng minh đến năm 2019) có thể được xem là tương quan với [[giả thuyết Weil]] (được chứng minh năm 1974 bởi [[Pierre Deligne]]).

[[Tập tin:One5Root.svg|thumb|Các nghiệm đơn vị cấp năm tạo thành một [[Ngũ giác|ngũ giác đều]].]]
[[Trường chia đường tròn]] là một trong những đối tượng được nghiên cứu nhiều nhất trong lý thuyết số. Chúng có dạng {{math|'''Q'''(ζ<sub>''n''</sub>)}}, trong đó {{math|ζ<sub>''n''</sub>}} là một [[nghiệm đơn vị]] nguyên thủy bậc {{mvar|n}}, một số phức thỏa {{math|1={{nowrap begin}}ζ<sup>''n''</sup> = 1{{nowrap end}}}} và {{math|ζ<sup>''m''</sup> ≠ 1}} với mọi {{math|''m'' < ''n''}}.<ref>{{harvtxt|Washington|1997}}</ref> Trong trường hợp {{mvar|n}} là một [[số nguyên tố chính quy]], [[Ernst Kummer|Kummer]] sử dụng trường chia đường tròn để chứng minh [[định lý lớn Fermat]], khẳng định không tồn tại nghiệm nguyên khác không của phương trình
:{{math|1=''x''<sup>''n''</sup> + ''y''<sup>''n''</sup> = ''z''<sup>''n''</sup>}}.

Trường địa phương là hoàn thành của trường toàn cục. [[Định lý Ostrowski]] khẳng định rằng những hoàn thành duy nhất của trường toàn cục {{math|'''Q'''}} là các trường địa phương {{math|'''Q'''<sub>''p''</sub>}} và {{math|'''R'''}}. Những câu hỏi số học trong trường toàn cục đôi khi được giải quyết bằng cách nhìn từ góc độ địa phương. Kỹ thuật này được gọi là [[Nguyên lý Hasse|nguyên lý địa phương-toàn cục]]. Ví dụ, [[định lý Hasse–Minkowski]] thu gọn bài toán tìm nghiệm hữu tỉ của phương trình bậc hai xuống còn giải những phương trình đó trong {{math|'''R'''}} và {{math|'''Q'''<sub>''p''</sub>}}, với nghiệm có thể được dễ dàng nghiên cứu.<ref>{{harvtxt|Serre|1978|loc=Chương IV}}</ref>

Không như trường địa phương, nhóm Galois của trường toàn cục chưa được biết đến. [[Bài toán Galois nghịch]] đặt câu hỏi liệu mọi nhóm hữu hạn có phải là nhóm Galois {{math|Gal(''F''/'''Q''')}} của một trường số {{mvar|F}} nào đó.<ref>{{harvtxt|Serre|1992}}</ref> [[Lý thuyết trường các lớp]] mô tả các [[mở rộng abel]], những mở rộng với nhóm giao hoán Galois. [[Định lý Kronecker–Weber]], mô tả những mở rộng abel {{math|'''Q'''<sup>ab</sup>}} cực đại của {{math|'''Q'''}}: trường
:{{math|'''Q'''(&zeta;<sub>''n''</sub>, ''n'' &ge; 2)}}
nhận được bằng cách thêm tất cả nghiệm đơn vị nguyên thủy cấp {{mvar|n}}. [[Bài toán thứ mười hai của Hilbert]] yêu cầu một mô tả cụ thể của {{math|''F''<sup>ab</sup>}} của một trường số {{mvar|F}} nói chung. Với các [[trường bậc hai|trường bậc hai ảo]], {{math|1=''F'' = '''Q'''({{radic|−''d''}})}}, {{math|''d'' > 0}}, có thể mô tả {{math|''F''<sup>ab</sup>}} sử dụng [[đường cong elliptic]]. Trong trường hợp trường số tổng quát, bài toán vẫn chưa được giải quyết.

== Khái niệm liên quan ==

Ngoài những cấu trúc phụ thêm vào trường, có một số khái niệm khác liên quan đến trường. Do trong một trường {{math|0 &ne; 1}}, bất kỳ trường nào cũng có ít nhất hai phần tử. Tuy nhiên, có khái niệm [[trường có một phần tử]], được đề nghị là giới hạn của những trường hữu hạn {{math|'''F'''<sub>''p''</sub>}}, khi {{mvar|p}} tiến đến 1.<ref>{{harvtxt|Tits|1957}}</ref> Ngoài vành chia, còn một số cấu trúc đại số yếu hơn liên quan tới trường như [[tựa trường]], [[gần-trường]] và [[nửa trường]].

=== Vành chia ===
{{Chính|Vành chia}}
[[Tập tin:Hairy_ball.png|thumb|Định lý quả bóng lông phát biểu rằng không thể chải xuôi tóc trên một mặt cầu. Chính xác hơn, không có một [[trường vectơ]] [[Chùm tiếp tuyến|tiếp tuyến]] [[Hàm số liên tục|liên tục]] nào trên [[mặt cầu]] {{math|S<sup>2</sup>}}, mà khác không tại mọi điểm.]]

Bỏ một hoặc vài tiên đề trong định nghĩa của trường dẫn đến nhiều cấu trúc đại số khác. Như đã nói ở trên, vành giao hoán thỏa mãn tất cả tính chất của trường, ngoại trừ sự tồn tại của phần tử nghịch đảo phép nhân. Nếu ta bỏ điều kiện phép nhân có tính giao hoán thì dẫn đến khái niệm của một ''[[vành chia]]''.<ref group=nb>Trong quá khứ, vành chia đôi khi được gọi là trường, còn trường được gọi là ''trường giao hoán''</ref> Những vành chia duy nhất là {{math|'''R'''}}-không gian vectơ hữu hạn chiều là chính {{math|'''R'''}}, {{math|'''C'''}} (một trường), những số [[quaternion]] {{math|'''H'''}} (trong đó phép nhân không có tính giao hoán), và [[octonion]] {{math|'''O'''}} (trong đó phép nhân không giao hoán và không kết hợp). Điều này được chứng minh sử dụng các phương pháp của [[tôpô đại số]] năm 1958 bởi [[Michel Kervaire]], [[Raoul Bott]], và [[John Milnor]].<ref>{{harvtxt|Baez|2002}}</ref> Sự không tồn tại của một đai số chia có số chiều lẻ đã được biết từ trước đó và có thể được suy ra từ [[định lý quả bóng lông]].

== Ghi chú ==
{{Tham khảo|group=nb}}

{{Tham khảo|30em}}

== Tham khảo ==
{{refbegin|30em}}
* {{Citation|title=Introduction to Field Theory| last=Adamson|first=I. T.|isbn=978-0-486-46266-0|year=2007|publisher=[[Dover Publications]]}}
* {{Citation | last1=Allenby | first1=R. B. J. T. | title=Rings, Fields and Groups | publisher=Butterworth-Heinemann | isbn=978-0-340-54440-2 | year=1991}}
* {{Citation | last1=Artin | first1=Michael | author1-link=Michael Artin | title=Algebra | publisher=[[Prentice Hall]] | isbn=978-0-13-004763-2 | year=1991}}, đặc biệt Chương 13
* {{Citation|last1=Artin|first1=Emil|last2=Schreier|first2=Otto|author1-link=Emil Artin|author2-link=Otto Schreier|title=Eine Kennzeichnung der reell abgeschlossenen Körper|journal=Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg|issn=0025-5858| volume=5|pages=225–231|year=1927|language=de|doi=10.1007/BF02952522|jfm=53.0144.01}}
* {{Citation| last=Ax |first=James|authorlink=James Ax|year=1968|title=The elementary theory of finite fields|journal=Annals of Mathematics |series= 2|volume=88|pages=239–271|doi=10.2307/1970573}}
* {{Citation|last=Baez|first=John C.|authorlink=John C. Baez|title=The octonions|journal=[[Bulletin of the American Mathematical Society]] |volume=39|year=2002|pages=145–205|doi=10.1090/S0273-0979-01-00934-X|arxiv=math/0105155}}
* {{Citation| last=Banaschewski|first=Bernhard|title=Algebraic closure without choice.|year=1992|journal=Z. Math. Logik Grundlagen Math.|volume=38|issue=4|pages=383–385|zbl=0739.03027}}
* {{Citation|last1=Beachy|first1=John. A|last2=Blair|first2=William D.|title=Abstract Algebra|edition=3|publisher=Waveland Press|isbn=1-57766-443-4|year=2006}}
* {{Citation | last1=Blyth | first1=T. S. | last2=Robertson | first2=E. F. |author2-link=Edmund F. Robertson| title=Groups, rings and fields: Algebra through practice| publisher=[[Cambridge University Press]] | year=1985}}. Đặc biệt xem quyển 3 ({{ISBN|0-521-27288-2}}) and Book 6 ({{ISBN|0-521-27291-2}}).
* {{Citation|last1=Borceux|first=Francis|last2=Janelidze|first2=George|title=Galois theories|
isbn=0-521-80309-8|year=2001|publisher=Cambridge University Press|zbl=0978.12004}}
* {{Citation|last1=Bourbaki|first1=Nicolas|authorlink=Nicolas Bourbaki|title=Elements of the history of mathematics|publisher=[[Springer Publishing|Springer]]|year=1994|isbn=3-540-19376-6|mr=1290116|doi=10.1007/978-3-642-61693-8}}
* {{Citation|title=Algebra II. Chương 4–7|last=Bourbaki|first=Nicolas|authorlink=Nicolas Bourbaki|isbn=0-387-19375-8|year=1988|publisher=Springer}}
* {{Citation|last=Cassels|first=J. W. S.|authorlink=J. W. S. Cassels|title=Local fields|series=London Mathematical Society Student Texts|volume=3|publisher=Cambridge University Press|year=1986|isbn=0-521-30484-9|mr=861410|doi=10.1017/CBO9781139171885}}
* {{Citation|title=Elements of Abstract Algebra|last=Clark|first=A.|isbn=978-0-486-64725-8|series=Dover Books on Mathematics Series|year=1984|publisher=[[Dover Publications]]}}
* {{Citation
|first1=John Horton
|last1=Conway
|authorlink1=John Horton Conway
|title=[[On Numbers and Games]]
|publisher=[[Academic Press]] Inc. (London) Ltd.
|year=1976
}}
* {{Citation|last=Corry|first=Leo|authorlink=Leo Corry|title=Modern algebra and the rise of mathematical structures|edition=2nd|isbn=3-7643-7002-5|year=2004|publisher=Birkhäuser|zbl=1044.01008}}
* {{Citation|last1=Dirichlet|first1=Peter Gustav Lejeune|authorlink=Peter Gustav Lejeune Dirichlet|editor-last=Dedekind|editor-first=Richard|editor-link=Richard Dedekind|year=1871|edition=2nd|language=de|volume=1|location=Braunschweig, Đức|publisher=Friedrich Vieweg und Sohn|title=Vorlesungen über Zahlentheorie (Lectures on Number Theory)|url=https://books.google.com/books?id=SRJTAAAAcAAJ&pg=PA424#v=onepage&q&f=false}}
* {{Citation| last=Eisenbud|first=David|authorlink=David Eisenbud | title=Commutative algebra with a view toward algebraic geometry | location=New York | publisher=[[Springer Science+Business Media|Springer-Verlag]] | series=[[Graduate Texts in Mathematics]] | volume=150 | year=1995 | mr=1322960 | isbn=0-387-94268-8 | doi=10.1007/978-1-4612-5350-1}}
* {{Citation|last=Escofier|first=J. P.|isbn=978-1-4613-0191-2|title=Galois Theory|publisher=Springer|year=2012}}
* {{Citation | last1= Fricke | first1= Robert | author1-link= Robert Fricke | last2= Weber | first2= Heinrich Martin | author2-link= Heinrich Martin Weber | title= Lehrbuch der Algebra | language= de | url= http://resolver.sub.uni-goettingen.de/purl?PPN234788267 | publisher= Vieweg | year= 1924 | jfm= 50.0042.03 }}
* {{Citation|title=''p''-adic numbers|
last=Gouvêa|first=Fernando Q.|authorlink=Fernando Q. Gouvêa|edition=2nd|year=1997|publisher=Springer|series=Universitext}}
* {{Citation|title=A Guide to Groups, Rings, and Fields|
last=Gouvêa|first=Fernando Q.|authorlink=Fernando Q. Gouvêa|isbn=978-0-88385-355-9|year=2012|publisher=Hiệp hội Toán học Hoa Kỳ}}
* {{springer|title=Field|id=p/f040090}}
* {{Citation|last1=Hensel|first1=Kurt|author1-link=Kurt Hensel|title=Über eine neue Begründung der Theorie der algebraischen Zahlen|journal=Journal für die Reine und Angewandte Mathematik|issn=0075-4102|volume=128|pages=1–32|year=1904|language=de|jfm=35.0227.01|url=https://eudml.org/doc/149187}}
* {{Citation| last=Jacobson| first=Nathan| author-link=Nathan Jacobson| year=2009| title=Basic algebra| edition=2nd| volume = 1 | series= | publisher=Dover| isbn = 978-0-486-47189-1}}
* {{Citation|mr=0679774|first1=Uwe|last1=Jannsen|first2=Kay|last2=Wingberg|title=Die Struktur der absoluten Galoisgruppe 𝔭-adischer Zahlkörper. [The structure of the absolute Galois group of 𝔭-adic number fields]|journal=Invent. Math.|volume=70|year=1982|issue=1|pages=71–98|url=http://epub.uni-regensburg.de/26689/|doi=10.1007/bf01393199|bibcode=1982InMat..70...71J}}
* {{Citation|last=Kleiner|first=Israel|authorlink=Israel Kleiner (mathematician)|title=A history of abstract algebra|publisher=Birkhäuser|year=2007|isbn=978-0-8176-4684-4|mr=2347309|doi=10.1007/978-0-8176-4685-1}}
* {{Citation|last=Kiernan|first=B. Melvin|title=The development of Galois theory from Lagrange to Artin|journal=Archive for History of Exact Sciences
|volume=8|year=1971|number=1-2|pages=40–154|mr=1554154|doi=10.1007/BF00327219}}
* {{Citation|last1=Kuhlmann|first=Salma|title=Ordered exponential fields|series=Fields Institute Monographs|volume=12|publisher=Hội Toán học Hoa Kỳ|year=2000|isbn=0-8218-0943-1|mr=1760173}}
* {{Citation|first=Serge|last=Lang|authorlink=Serge Lang|title=Algebra|series=Graduate Texts in Mathematics|volume=211|edition=3rd|publisher=Springer|year=2002|isbn=0-387-95385-X|doi=10.1007/978-1-4613-0041-0}}
* {{Citation|first=Rudolf|last=Lidl|first2=Harald|last2=Niederreiter|author2-link=Harald Niederreiter|title=Finite fields| edition=2nd|year=2008|isbn=978-0-521-06567-2|publisher=Cambridge University Press|zbl=1139.11053}}
* {{Citation|last=Lorenz|first=Falko|title=Algebra, Volume II: Fields with Structures, Algebras and Advanced Topics|year=2008|isbn=978-0-387-72487-4|publisher=Springer}}
* {{Citation|last1=Marker|first1=David|last2=Messmer|first2=Margit|last3=Pillay|first3=Anand|
title=Model theory of fields|series=Lecture Notes in Logic|volume=5|edition=2nd|publisher=Association for Symbolic Logic|year=2006|isbn=978-1-56881-282-3|mr=2215060}}
* {{Citation|last1=Mines|first1=Ray|last2=Richman|first2=Fred|last3=Ruitenburg|first3=Wim|title=A course in constructive algebra|series=Universitext|publisher=Springer|year=1988|isbn=0-387-96640-4|mr=919949|doi=10.1007/978-1-4419-8640-5}}
* {{citation
 | last = Moore | first = E. Hastings | authorlink = E. H. Moore
 | doi = 10.1090/S0002-9904-1893-00178-X
 | issue = 3
 | journal = [[Bulletin of the American Mathematical Society]]
 | mr = 1557275
 | pages = 73–78
 | title = A doubly-infinite system of simple groups
 | volume = 3
 | year = 1893}}
* {{Citation|last=Prestel|first=Alexander|title=Lectures on formally real fields
 |series=Lecture Notes in Mathematics|volume=1093|publisher=Springer|year=1984|isbn=3-540-13885-4|mr=769847|doi=10.1007/BFb0101548}}
* {{Citation|last=Ribenboim|first=Paulo|authorlink=Paulo Ribenboim|title=The theory of classical valuations|series=Springer Monographs in Mathematics|publisher=Springer|year=1999|isbn=0-387-98525-5|mr=1677964| doi=10.1007/978-1-4612-0551-7}}
* {{Citation|last=Scholze|first=Peter|author-link=Peter Scholze|chapter=Perfectoid spaces and their Applications|year=2014|chapter-url=http://www.math.uni-bonn.de/people/scholze/ICM.pdf|title=Proceedings of the International Congress of Mathematicians 2014|url=http://www.icm2014.org/en/vod/proceedings.html|isbn=978-89-6105-804-9|access-date=2019-07-23|archive-date=2019-08-25|archive-url=https://web.archive.org/web/20190825060842/http://www.icm2014.org/en/vod/proceedings.html}}
* {{Citation|last=Schoutens|first=Hans|isbn=978-3-642-13367-1|title=The Use of Ultraproducts in Commutative Algebra|year=2002|publisher=Springer|series=Lecture Notes in Mathematics|volume=1999}}
* {{Citation|last=Serre|first=Jean-Pierre|authorlink=Jean-Pierre Serre|title=A course in arithmetic|edition=2nd|year=1978|series=Graduate Text in Mathematics|volume=7|publisher=Springer|zbl=0432.10001|others=Translation of ''Cours d'arithmetique''}}
* {{Citation|last=Serre|first=Jean-Pierre|authorlink=Jean-Pierre Serre|title=Local fields|series=Graduate Texts in Mathematics|volume=67|publisher=Springer|year=1979|isbn=0-387-90424-7|mr=554237}}
* {{Citation|first=Jean-Pierre|last=Serre|authorlink=Jean-Pierre Serre|title=Topics in Galois theory|isbn=0-86720-210-6|year=1992|publisher=Jones and Bartlett Publishers|zbl=0746.12001}}
* {{Citation | last1=Serre | first1=Jean-Pierre | author1-link= Jean-Pierre Serre | title=Galois cohomology | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Springer Monographs in Mathematics | isbn=978-3-540-42192-4 | mr=1867431  | year=2002 | zbl=1004.12003 | others=Dịch từ tiếng Pháp bởi Patrick Ion}}
* {{Citation|last=Sharpe|first=David|title=Rings and factorization|isbn=0-521-33718-6|year=1987|publisher=Cambridge University Press|zbl=0674.13008}}
* {{Citation | last1=Steinitz | first1=Ernst | author1-link=Ernst Steinitz | title=Algebraische Theorie der Körper | trans-title=Lý thuyết Đại số của Trường | url=http://resolver.sub.uni-goettingen.de/purl?GDZPPN002167042 | year=1910 | journal=[[Journal für die reine und angewandte Mathematik]] | issn=0075-4102 | volume=137 | pages=167–309 | jfm=41.0445.03 | doi=10.1515/crll.1910.137.167 }}
* {{ Citation | last1 = Tits | first1 = Jacques | authorlink=Jacques Tits | chapter = Sur les analogues algébriques des groupes semi-simples complexes | title = Colloque d'algèbre supérieure, tenu à Bruxelles du 19 au 22 décembre 1956, Centre Belge de Recherches Mathématiques Établissements Ceuterick, Louvain | publisher = Librairie Gauthier-Villars | place = Paris | year = 1957 | pages = 261–289 }}
* {{Citation|title=Galois Theory of Linear Differential Equations|first1=M.|last1=van der Put|first2=M. F.|last2=Singer|year=2003|publisher=Springer|series=Grundlehren der mathematischen Wissenschaften|volume=328|url=http://www4.ncsu.edu/~singer/papers/dbook2.ps}}
* {{Citation|last=von Staudt|first=Karl Georg Christian|authorlink=Karl Georg Christian von Staudt|url=https://books.google.com/books?id=XwEHAAAAcAAJ&pg=PA127#v=onepage&q&f=false|title=Beiträge zur Geometrie der Lage|volume=2|location=Nürnberg (Đức)|publisher=Bauer and Raspe|year=1857}} 
* {{Citation|last=Wallace|first=D. A. R.|year=1998|title=Groups, Rings, and Fields|series=SUMS|publisher=Springer|volume=151}}
* {{Citation|first=Seth|last=Warner|title=Topological fields|isbn=0-444-87429-1|year=1989|publisher=North-Holland|zbl=0683.12014}}
* {{citation|first=Lawrence C.|last= Washington|authorlink=Lawrence C. Washington|title=Introduction to Cyclotomic Fields|series=Graduate Texts in Mathematics|volume= 83|publisher=Springer-Verlag|place= New York|year= 1997|edition=2|isbn=0-387-94762-0 |mr=1421575|doi=10.1007/978-1-4612-1934-7}}
* {{Citation|last=Weber|first=Heinrich|author-link=Heinrich Martin Weber|title=Die allgemeinen Grundlagen der Galois'schen Gleichungstheorie|journal=Mathematische Annalen|issn=0025-5831|volume=43|pages=521–549|year=1893|language=de|doi=10.1007/BF01446451|jfm=25.0137.01|url=https://eudml.org/doc/157689}}
{{refend}}
{{Kiểm soát tính nhất quán}}
{{Đại số}}
{{Toán học}}
{{DEFAULTSORT:Field (Mathematics)}}
[[Thể loại:Lý thuyết trường]]
[[Thể loại:Cấu trúc đại số]]
[[Thể loại:Đại số trừu tượng]]