Abstract Algebra/The hierarchy of rings
< Abstract AlgebraCommutative rings
Definition 11.1:
A ring with multiplication is called commutative if and only if for all .
Examples 11.2:
- The whole numbers are commutative.
- The matrix ring Failed to parse (unknown function "\middle"): {\displaystyle \left\{ \begin{pmatrix} a & b \\ c & d \end{pmatrix} \middle| a, b, c, d \in \mathbb R, ad - bc \neq 0 \right\}} with matrix multiplication and component-wise addition is not commutative.
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.