Abstract Algebra/The hierarchy of rings

< Abstract Algebra

Commutative rings

Definition 11.1:

A ring with multiplication is called commutative if and only if for all .

Examples 11.2:

In commutative rings, a left ideal is a right ideal and thus a two-sided ideal, and a right ideal also.

Integral domains

Definition 11.3:

An integral domain is defined to be a commutative ring (that is, we assume commutativity by definition) such that whenever (), then or .

We can characterize integral domains in another way, and this involves the so-called zero-divisors.

Definition 11.4:

Let

Thus, a ring is an integral domain iff it has no zero divisors.

Principal ideal domains

Theorem 11.?:

Every PID is a UFD.

Proof:

Let be a PID, and let .

This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.