Rings, ideals and fields

前置知识

15 项必需的前置知识（一直追溯到底）

你将学会

• Verify the ring axioms and find ideals, units and zero divisors in examples such as ℤ, ℤ/nℤ, ℤ[i] and k[x].
• Prove that Euclidean domains are principal ideal domains and that principal ideal domains are unique factorisation domains.
• Show that ℤ[√−5] is not a unique factorisation domain.

定义

• An ideal of a commutative ring R is an additive subgroup I such that ra ∈ I for all r ∈ R and a ∈ I.
• An integral domain is a commutative ring with 0 ≠ 1 and no zero divisors.
• A principal ideal domain is an integral domain in which every ideal is generated by a single element.

定理

• Euclidean domain ⇒ principal ideal domain ⇒ unique factorisation domain, and neither implication reverses.
• If k is a field, the polynomial ring k[x] is a Euclidean domain.
• Every finite integral domain is a field.
• The kernels of ring homomorphisms are exactly the two-sided ideals.

常见误解

• Assuming every ring is commutative or has a multiplicative identity; conventions differ, so state them.
• Confusing subrings with ideals.
• Assuming irreducible and prime elements coincide in every integral domain.

通向

可选发现

• Commutative algebra Ideals of polynomial rings correspond to geometric shapes cut out by equations, the starting point of commutative algebra and algebraic geometry.探奇小径 →
• ← Whole-number arithmetic
• ← Factors, multiples and primes
• ← Integers
• ← Variables and algebraic expressions
• ← Divisibility, Euclid's algorithm and unique factorisation
• ← Congruences

学习路径

• Undergraduate mathematics major
• Graduate preparation

延伸阅读

• David S. Dummit and Richard M. Foote, Abstract Algebra
• Michael Artin, Algebra (1991)