| Cấu trúc đại số |
| --- |
| Giống với Nhóm
* Nhóm
* Nửa nhóm
* Tựa nhóm và vòng
* Monoid
* Groupoid
* Magma
* Rack và quandle

* Nhóm Abel
* Nhóm Lie

*Lý thuyết nhóm* |
| Giống với Vành
* Vành
* Nửa vành
* Gần-vành
* Vành giao hoán
* Miền
* Miền nguyên
* Trường
* Vành chia

*Lý thuyết vành* |
| Giống với Dàn
* Dàn
* Nửa dàn
* Dàn bù
* Thứ tự toàn phần
* Đại số Heyting

* Đại số Boole
* Ánh xạ dàn
* *Lý thuyết dàn*
 |
| Giống với Mô đun
* Mô đun
* Nhóm toán tử
* Không gian vectơ

* *Đại số tuyến tính*
 |
| Giống với Đại số
* Đại số trên một trường

* Đại số kết hợp
* Đại số không kết hợp
* Đại số Lie
* Vành phân bậc
* Bialgebra

 |
| * x
* t
* s
 |

Trong đại số trừu tượng, một **vành chia**, còn được gọi là **trường không giao hoán** hay **trường xiên** (tiếng Anh: *skew field*), là một vành mà ta có thể thực hiện phép chia. Cụ thể hơn, nó là một vành khác vành không mà mọi phần tử a có một nghịch đảo phép nhân, tức một phần tử x sao cho *a* · *x* = *x* · *a* = 1. Nói cách khác, một vành là vành chia khi và chỉ khi nhóm đơn vị của nó bằng tập chứa tất cả các phần tử khác không (ở đây đơn vị chỉ các phần tử khả nghịch).

Vành chia chỉ khác trường ở chỗ phép nhân không nhất thiết phải có tính giao hoán. Tuy nhiên, định lý Wedderburn bé phát biểu rằng mọi vành chia hữu hạn đều có tính giao hoán, tức đều là trường hữu hạn. Trong quá khứ, vành chia đôi khi được gọi là trường, còn trường lại dược gọi là "trường giao hoán".

Mọi vành chia đều là vành đơn, tức không có i-đê-an hai phía nào ngoại trừ i-đê-an không và chính nó.

Quan hệ với trường và đại số tuyến tính
---------------------------------------

Mọi vành chia giao hoán đều là trường. Trong số những vành chia không giao hoán, ví dụ phổ biến nhất là vành quaternion **H**. Nếu ta chỉ cho hệ số hữu tỉ thay vì thực trong vành quaternion, ta được một vành chia khác. Nói chung, nếu R là một vành bất kỳ và S là một mô đun đơn (còn gọi là mô đun bất khả quy) trên R, thì theo bổ đề Schur, vành tự đồng cấu của S là một vành chia.

Phần lớn đại số tuyến tính có thể được xây dựng và phát biểu sử dụng mô đun trên một vành chia D thay vì không gian vectơ trên một trường. Khi ấy ta phải xét mô đun trái hoặc phải và cần phân biệt chúng trong các công thức. Trong tọa độ, phần tử của mô đun phải hữu hạn chiều có thể được biểu diễn bởi vectơ cột và thực hiện phép nhân với scalar bên phải, với ma trận (biểu diễn ánh xạ tuyến tính) bên trái; ngược lại, với phần tử của mô đun trái hữu hạn chiều, ta có thể dùng vectơ dòng, rồi nhân scalar bên trái và với ma trận bên phải. Ma trận chuyển vị phải là trên vành chia đối *D*op để quy tắc (*AB*)T = *B*T*A*T vẫn đúng.

Mọi mô đun trên vành chia đều tự do, tức chúng đều có cơ sở, và mọi cơ sở có của mô đun có số phần tử bằng nhau. Điều ngược lại cũng đúng, và có thể được dùng để định nghĩa vành chia bằng mô đun: Một vành có đơn vị R là một vành chia khi và chỉ khi mọi R-mô đun đều tự do.

Ánh xạ tuyến tính giữa mô đun hữu hạn chiều trên vành chia có thể được mô tả bởi ma trận. Phép khử Gauss vẫn áp dụng được. Hạng của ma trận khi ấy là số chiều của mô đun phải sinh ra bởi các cột, hoặc là số chiều của mô đun trái sinh ra bởi các hàng; giống với không gian vectơ, ta có thể chứng minh chúng bằng nhau.

Tâm của vành chia có tính giao hoán và là một trường. Mọi vành chia do đó là một đại số chia trên tâm của nó. Vành chia có thể được phân loại theo số chiều của chúng trên tâm là hữu hạn hay vô hạn. Mọi trường là một chiều trên tâm. Vành các quaternion tạo thành một đại số bốn chiều trên tâm, tâm này đẳng cấu với tập số thực.

Ví dụ
-----

* Như đã nói ở trên, mọi trường là vành chia.
* Các quaternion tạo thành một vành chia không giao hoán.
* Các quaternion có dạng *a* + *bi* + *cj* + *dk*, trong đó các a, b, c và d là các phần tử của một trường con của trường số thực, là một vành chia không giao hoán. Khi trường con này là trường các số hữu tỉ, vành chia này được gọi là các *quaternion hữu tỉ*.
* Xét σ: **C** → **C** là một tự đẳng cấu của trường số phức **C**. Gọi **C**((*z*, σ)) là vành các chuỗi Laurent chính quy với hệ số phức, trong đó phép nhân được định nghĩa như sau: thay vì cho các hệ số giao hoán với ẩn z, với α ∈ **C**, đặt *z**i*α := σ*i*(α)*z**i* với mỗi chỉ số *i* ∈ **Z**. Nếu σ là một tự đẳng cấu không tầm thường (ví dụ như phép liên hợp), thì vành các chuỗi Laurent tương ứng là một vành chia không giao hoán, còn gọi là *vành chuỗi Laurent không giao hoán*.

Định lý
-------

### Định lý Wedderburn bé

**Định lý Wedderburn bé** phát biểu rằng mọi vành chia hữu hạn giao hoán, do đó cũng là trường giao hoán. Một chứng minh đơn giản được đưa ra bởi Ernst Witt.

### Định lý Frobenius

**Định lý Frobenius** nói rằng những đại số chia kết hợp hữu hạn duy nhất trên số thực là chính các số thực, số phức, và các quaternion.

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

Vành chia từng được gọi là "trường" trong quá khứ, còn trường được gọi là "trường giao hoán".

Vành và đại số chia ở đây có tính kết hợp đối với phép nhân. Tuy nhiên những đại số chia không kết hợp như các octonion cũng được quan tâm.

Một gần trường là một cấu trúc đại số tương tự như vành chia, ngoại trừ nó chỉ có một trong hai tính chất phân phối. Một vành bình thường có hai tính phân phối: trái và phải.

Xem thêm
--------

* Định thức Hua

Ghi chú
-------

1. ↑  Trong bài viết này, vành có chứa 1.
2. ↑  Trong tiếng Anh, cụm từ "skew field" và "sfield" được đề cập bởi Neal McCoy năm 1948, và đến năm 1965 đã xuất hiện trong OED. Cụm từ tiếng Đức Schiefkörper[de] được nhắc đến bởi v.d. Waerden, trong một bài viết năm 1927 của E. Artin, và được Emmy Noether dùng làm tên gọi cho một bài giảng năm 1928.

Tham khảo
---------

1. ↑  Võ Thị Ngọc Bích (2012), *Định lí Brauer và ứng dụng của nó để mô tả các biểu diễn bất khả qui của một số nhóm hữu hạn*, Luận văn thạc sĩ toán học, Mục 1.4
2. ↑  1948, Rings and Ideals. Northampton, Mass. Hiệp hội Toán học Hoa Kỳ
3. ↑  Artin, Emil, 1965: Collected Papers. Edited by Serge Lang, John T. Tate. New York et al.: Springer
4. ↑  Brauer, Richard, 1932: Über die algebraische Struktur von Schiefkörpern. Journal für die reine und angewandte Mathematik 166.4, 103-252
5. ↑  Lam, Tsit-Yuen (2001). *A First Course in Noncommutative Rings*. *Google Books*. Graduate Texts in Mathematics. **131** (ấn bản 2). Springer. tr. 33. ISBN 0-387-95183-0. Zbl 0980.16001.
6. ↑  Grillet, Pierre Antoine. Abstract algebra. Vol. 242. Springer Science & Business Media, 2007. Một chứng minh có thể xem ở đây
7. ↑  Vành đơn giao hoán là trường. Xem Lam (2001), *simple commutative rings*, tr. 39, tại Google Books
 và *exercise 3.4*, tr. 45, tại Google Books
.
8. ↑  Lam (2001), p. 10

Đọc thêm
--------

* Cohn, P.M. (1995). *Skew fields. Theory of general division rings*. Encyclopedia of Mathematics and Its Applications. **57**. Cambridge: Cambridge University Press. ISBN 0-521-43217-0. Zbl 0840.16001.

Liên kết ngoài
--------------

* Chứng minh của định lý Wedderburn tại Planet Math
* Grillet *Abstract Algebra*, phần VIII.5. Tính chất của vành chia qua mô đun tự do của chúng.