2024-06-30

655: Greatest Common Divisors Domain

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

definition of greatest common divisors domain

Topics


About: ring

The table of contents of this article


Starting Context



Target Context


  • The reader will have a definition of greatest common divisors 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: { the integral domains }
//

Conditions:
{p1,p2}R(gcd({p1,p2}))
//


2: Natural Language Description


Any integral domain, R, such that for each subset, {p1,p2}R, gcd({p1,p2})


References


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