274 Integral Domain

A set with addition and multiplication like the integers, with no nonzero product equal to zero that is used to solve polynomial equations.

definition (Integral Domain) A type of ring with axioms (1) to (8) but not (7).

Note:

• axioms (1) to (8) are the ring axioms.
• axiom (7) is unity, the multiplicative identity.

• Abelian Group
• Antisymmetry
• Binary Operations
• Field
• Group
• Group Theory
• Homomorphism
• Integral Domain
• Permutational Antisymmetry
• Ring
• Symmetry