Section: Ideals

Ideals are special subsets of rings, which are closed under the addition operation an absorb other elements of the ring, when multiplied by elements of the ideal. As an example, the set \(E\) of even numbers in the ring \((\mathbb Z, + ,\cdot)\) constitutes an ideal, since the addition and subtraction of any two even numbers preserves evenness, and multiplying any (even or odd) integer by an even number also creates an even number.

  1. Definition: Ideal
  2. Proposition: Principal Ideals being Prime Ideals
  3. Proposition: Principal Ideals being Maximal Ideals
  4. Definition: Principal Ideal
  5. Definition: Generating Set of an Ideal
  6. Definition: Prime Ideal
  7. Definition: Maximal Ideal
  8. Lemma: Prime Ideals of Multiplicative Systems in Integral Domains
  9. Theorem: Connection between Rings, Ideals, and Fields

Chapters: 1


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs