PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] an integral domain is lcm iff it is gcd (Derivation)
Proposition 1   Let $D$ be an integral domain. Then $D$ is a lcm domain iff it is a gcd domain.

This is an immediate consequence of the following

Proposition 2   Let $D$ be an integral domain and $a,b\in D$ . Then the following are equivalent:
  1. $a,b$ have an lcm,
  2. for any $r\in D$ , $ra,rb$ have a gcd.
Proof. For arbitrary $x,y \in D$ , denote $\LCM(x,y)$ and $\GCD(x,y)$ the sets of all lcm's and all gcd's of $x$ and $y$ , respectively.

$(1\Rightarrow 2)$ . Let $c\in \LCM(a,b)$ . Write $a=mc$ , $b=nc$ for some $m,n\in D$ . Set $d=mnc$ . We claim that $d\in \GCD(a,b)$ . Since $d=mnc=an=bm$ , we get $d\mid a$ and $d\mid b$ . Next, suppose $s\mid a$ and $s\mid b$ . Write $a=sf$ and $b=sg$ . Let $h=sfg$ . Then $h=ag=bf$ , so that $a\mid h$ and $b\mid h$ , which implies that $c\mid h$ , or $cs\mid hs$ . Since $hs = sfgs = ab=cd$ , we get $cs\mid cd$ , or $s\mid d$ (since $c\ne 0$ and $D$ is an integral domain). Therefore, $d\in \GCD(a,b)$ .

Now, for any $r\in D$ , we want to show that $rd\in \GCD(ra,rb)$ . Clearly $rd\mid ra$ and $rd\mid rb$ . Now, suppose $s\mid ra$ and $s\mid rb$ . Then $sp=ra$ for some $p\in D$ . Since $a=mc$ (in the previous paragraph), $sp=rmc$ , so that $spn=rmnc=rd$ , showing that $s\mid rd$ . Hence $rd\in \GCD(ra,rb)$ .

$(2\Rightarrow 1)$ . Suppose $k\in \GCD(a,b)$ . Write $ki=a$ , $kj=b$ for some $i,j\in D$ . Set $\ell = kij$ , so that $ab=k\ell$ . We want to show that $\ell \in \LCM(a,b)$ . First, notice that $\ell = aj=bi$ , so that $a\mid \ell$ and $b\mid \ell$ . Now, suppose $a\mid t$ and $b\mid t$ , we want to show that $\ell \mid t$ as well. Write $t=ax=by$ . Then $ta=aby$ and $tb=abx$ , so that $ab\mid ta$ and $ab\mid tb$ . Since $\GCD(ta,tb)\ne \varnothing$ , we have $tk\in \GCD(ta,tb)$ (see proof of this here), implying $ab\mid tk$ . In other words $tk=abz$ for some $z\in D$ . As a result, $tk=abz=k\ell z$ , or $t=\ell z$ . In other words, $\ell \mid t$ , as desired. $ \qedsymbol$

Since the first statement is equivalent to $D$ being an lcm domain, and the second statement is equivalent to $D$ being a gcd domain, Proposition 1 follows.

Another way of stating Proposition 1 is the following: let $L$ be the set of equivalence classes on the integral domain $D$ , where $a\sim b$ iff $a$ and $b$ are associates. Partial order $L$ so that $[a]\le [b]$ iff $ac=b$ for some $c\in D$ . Then $L$ is a semilattice (upper or lower) implies that $L$ is a lattice.




"an integral domain is lcm iff it is gcd" is owned by CWoo.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: lattice, semilattice, partial order, associates, equivalence classes, proposition, equivalent, implies, gcd, lcm, the following are equivalent, consequence, gcd domain, iff, lcm domain, integral domain
There is 1 reference to this entry.

This is version 5 of an integral domain is lcm iff it is gcd, born on 2008-08-23, modified 2009-02-02.
Object id is 10958, canonical name is AnIntegralDomainIsLcmIffItIsGcd.
Accessed 728 times total.

Classification:
AMS MSC13G05 (Commutative rings and algebras :: Integral domains)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)