2024-06-16

630: Integral Domain

<The previous article in this series | The table of contents of this series | The next article in this series>

definition of integral domain

Topics


About: ring

The table of contents of this article


Starting Context



Target Context


  • The reader will have a definition of integral domain.

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Structured Description


Here is the rules of Structured Description.

Entities:
\(*R\): \(\in \{\text{ the nonzero commutative rings }\}\)
//

Conditions:
\(\forall p_1, p_2 \in R \text{ such that } p_1, p_2 \neq 0 (p_1 p_2 \neq 0)\)
//


2: Natural Language Description


Any nonzero commutative ring, \(R\), such that for each \(p_1, p_2 \in R\) such that \(p_1, p_2 \neq 0\), \(p_1 p_2 \neq 0\)


References


<The previous article in this series | The table of contents of this series | The next article in this series>