Miền nguyên

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 toán học, cụ thể là đại số trừu tượng, một miền nguyên là một vành giao hoán (có đơn vị) khác không trong đó tích của hai phần tử khác không là khác không; nói cách khác, nó không có ước của không.^[1][2][3]

Trong một miền nguyên, mọi phần tử khác không a có tính giản ước, có nghĩa là, nếu a ≠ 0 và ab = ac thì b = c.

Ví dụ

• Ví dụ điển hình là vành các số nguyên ${\displaystyle \mathbb {Z} }$.
• Trường là một miền nguyên.
• Vành đa thức với hệ số trong một miền nguyên thì là một miền nguyên.
• Vành ${\displaystyle \mathbb {Z} [x]/(x^{2}-n)\cong \mathbb {Z} [{\sqrt {n}}]}$ là một miền nguyên nếu ${\displaystyle n}$ không phải là số chính phương.

Phản ví dụ

Các vành sau đây không phải là miền nguyên.

• Vành không (vành trong đó ${\displaystyle 0=1}$).
• Vành thương ${\displaystyle \mathbb {Z} /m\mathbb {Z} }$ khi m là một hợp số. Thật vậy, chọn một cách phân tích ${\displaystyle m=xy}$ (với ${\displaystyle x}$ và ${\displaystyle y}$ khác ${\displaystyle 1}$ và khác ${\displaystyle m}$). Thế thì ${\displaystyle x\not \equiv 0{\bmod {m}}}$ và ${\displaystyle y\not \equiv 0{\bmod {m}}}$, nhưng ${\displaystyle xy\equiv 0{\bmod {m}}}$.

Tính chất

• Một vành giao hoán R là một miền nguyên khi và chỉ khi i-đê-an (0) trong R là một i-đê-an nguyên tố.
• Nếu R là một vành giao hoán và P là một i-đê-an trong R, thì vành thương R/P là một miền nguyên khi và chỉ khi P là một i-đê-an nguyên tố.
• Đặt R là một miền nguyên. Thế thì vành đa thức với hệ số trong R (với mọi lực lượng biến số) là một miền nguyên. Nói riêng, vành đa thức với hệ số trong một trường là một miền nguyên.
• Một miền nguyên có tính giản ước.
• Một giới hạn quy nạp của các miền nguyên là một miền nguyên.
• Nếu ${\displaystyle A,B}$ là các miền nguyên trên một trường đóng đại số k, thì ${\displaystyle A\otimes _{k}B}$ là một miền nguyên. Đây là hệ quả của định lý không điểm Hilbert.

Trường phân thức

Trường phân thức K của một miền nguyên R là tập hợp các phân số a/b với a và b trong R và b ≠ 0 modulo một quan hệ tương đương phù hợp, được trang bị các phép nhân và cộng. Trường phân thức của ${\displaystyle \mathbb {Z} }$ là trường các số hữu tỷ ${\displaystyle \mathbb {Q} .}$ Trường phân thức của một trường thì đẳng cấu với trường đó

Hình học đại số

Một vành là một miền nguyên khi và chỉ khi nó là vành giảm (tức là nếu x² = 0 thì x = 0) và vành bất khả quy (tức là tồn tại một i-đê-an nguyên tố tối tiểu duy nhất).

Điều này được dịch sang ngôn ngữ của hình học đại số rằng vành tọa độ của một tập hợp đại số a-phin là một miền nguyên khi và chỉ khi tập hợp đó là một đa tạp đại số.

Ngoài ra, một vành giao hoán là một miền nguyên khi và chỉ khi phổ của nó là một lược đồ a-phin nguyên.

Chú thích

1. Bourbaki (1998), tr. 116.
2. Dummit and Foote (2004), tr. 228.
3. Nghêm Xuân Cảnh (2008), Định nghĩa 1.4.1.1

Tham khảo

• Adamson, Iain T. (1972). Elementary rings and modules. University Mathematical Texts. Oliver and Boyd. ISBN 0-05-002192-3.
• Bourbaki, Nicolas (1998). Algebra, Chapters 1–3. Berlin, New York: Springer-Verlag. ISBN 978-3-540-64243-5.
• BL van der Waerden, Đại số, Springer-Verlag, Berlin Heidelberg, 1966.
• Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (ấn bản 3). New York: Wiley. ISBN 978-0-471-43334-7.
• Hungerford, Thomas W. (2013). Abstract Algebra: An Introduction (ấn bản 3). Cengage Learning. ISBN 978-1-111-56962-4.
• Lang, Serge (2002). Algebra. Graduate Texts in Mathematics. 211. Berlin, New York: Springer-Verlag. ISBN 978-0-387-95385-4. MR 1878556.
• Lanski, Charles (2005). Concepts in abstract algebra. AMS Bookstore. ISBN 0-534-42323-X.
• Mac Lane, Saunders; Birkhoff, Garrett (1967). Algebra. New York: The Macmillan Co. ISBN 1-56881-068-7. MR 0214415.
• Milies, César Polcino; Sehgal, Sudarshan K. (2002). An introduction to group rings. Springer. ISBN 1-4020-0238-6.
• Nghiêm Xuân Cảnh (2008), Mô đun tự do trên vành chính, (Luận văn thạc sĩ toán học), Trường Đại Học Sư Phạm TP. Hồ Chí Minh
• Rowen, Louis Halle (1994). Algebra: groups, rings, and fields. A K Peters. ISBN 1-56881-028-8.
• Sharpe, David (1987). Rings and factorization. Cambridge University Press. ISBN 0-521-33718-6.