Let $m \in \mathbb{Z^+} , n \in \mathbb{Z^+}$ and let $d=\gcd(m,n)$. Prove that $m\mathbb{Z}+n\mathbb{Z}=d\mathbb{Z}$

Question

Let $m \in \mathbb{Z^+} , n \in \mathbb{Z^+}$ and let $d=\gcd(m,n)$. Prove that $$ m\mathbb{Z}+n\mathbb{Z}=d\mathbb{Z}. $$ My attempt is use inclusion to show. Let $a \in m\mathbb{Z}+n\mathbb{Z}$. Then we have $a=ms+nt$. Since $d=\gcd(m,n)$, by Bézout's Lemma, we have $d=ms+nt$ for some integers $s$, $n$. Hence, we have $a=ms+nt=d \in d\mathbb{Z}$. Let $a \in d \mathbb{Z}$. Then we have $a=db=msb+ntb \in m\mathbb{Z}+n\mathbb{Z}$. Is my proof valid?

Remark: the following is the part 2 of the question. Prove that $m\mathbb{Z}\cap n\mathbb{Z}=\frac{mn}{d}\mathbb{Z}$. This one I have no idea how to start

I don't see why the $s$ and $t$ for $a$ must be the same as those for $d$. For the first direction I think I would consider the fact that $n=pd$ for some $p$, and $m=qd$ for some $q$ (since $d$ is a divisor of both $m$ and $n$) — Joe Tait, Feb 11 '13 at 15:13
To extend @JoeTait's comment, you seem to have proven that $m\mathbb Z+n\mathbb Z$ contains only $d$, which is far from true. — Thomas Andrews, Feb 11 '13 at 15:14
Also, I suspect you mean, "...by Bezout Lemma,... for some integers $s,t$." — Thomas Andrews, Feb 11 '13 at 15:16
In general, the best way to prove two sets, $A,B$, are equal is to prove that if $x\in A$ then $x\in B$, and if $x\in B$ then $x\in A$. — Thomas Andrews, Feb 11 '13 at 15:18
Possible duplicate of For natural numbers $a$ and $b$, show that $a \Bbb Z + b \Bbb Z = \gcd(a, b)\Bbb Z $ — BCLC, Aug 31 '18 at 15:58

score 4 · Accepted Answer · edited Aug 31 '18 at 15:26

4

Unfortunately you're not correct, but you're close. You've used $s$ and $t$ in two different situations, where they should not have been used.

What we actually have to do for the first inclusion is, given $a \in m\mathbb{Z}+n\mathbb{Z}$, simply state that $a = xm+yn$. We don't need to apply Bézout's identity here, only use the fact that $d = \gcd(m,n) \implies d $ divides $m$ and $d $divides $n$. Hence $d $ divides $xm + yn = a$ so $a \in d\mathbb{Z}$ and hence $m\mathbb{Z}+n\mathbb{Z} \subset d\mathbb{Z}$

For the other inclusion, you use Bézout's identity to state that $d = ms + nt$ for some integers $s,t$ and argue as you have done in the second part, which is correct.

edited Aug 31 '18 at 15:26

BCLC

13,459

answered Feb 11 '13 at 15:16

Tom Oldfield

13,034
1
39
77

then can i prove like this ? Since $d|m$ and $d|n$, we have $m=dk$ and $n=dl$. Hence, $m\mathbb{Z}+n\mathbb{Z}=dk\mathbb{Z}+dl\mathbb{Z}=d\mathbb{Z}$ – Idonknow Feb 11 '13 at 15:32
@Idonknow I think it's best if you replace the last equals sign with a $\subset$, because for general $k$ and $l$, we only know that $dk\mathbb{Z} + dl\mathbb{Z} \subset d\mathbb{Z}$. We can make the $zsubset$ sign an equals by proving the other direction. We can do this because $k$ and $l$ are coprime, but it is not true for general $k$ and $l$, consider $k=l=2$, for $d$ not equal to 1, certainly $d2\mathbb{Z}+d2\mathbb{Z}$ is not $d\mathbb{Z}$ since the left hand side does not contain $d$. – Tom Oldfield Feb 11 '13 at 15:44

BCLC · Answer 2 · 2018-09-01T07:54:18.920

Well firstly, how do you define $\gcd(a,b)$? I'll define it by the converse of a proposition in Artin Algebra (Prop 2.3.5)

Namely, we'll prove

Converse of Prop 2.3.5: Let $a$ and $b$ be integers not both zero. Suppose (a) $d$ divides $a$ and $b$, (b) any integer $e$ that divides $a$ and $b$ also divides $d$ and (c) there are integers $r$ and $s$ s.t. $d=ra+sb$. Then $\mathbb Z d=\mathbb Z a + \mathbb Z b$.

where $d:=\gcd(a,b)$ is defined by the integer given by the assumptions of the above stated Converse of Prop 2.3.5.

-

Pf:

($\supseteq$)

Let $n \in \mathbb Za + \mathbb Zb$. Then there are integers $n_a, n_b$ s.t. $n=n_a a + n_b b$. We must show $n \in \mathbb Zd$, i.e. we must find an integer $n_d$ s.t. $n=n_d d$.

By $(a)$, there are integers $d_a, d_b$ s.t. $d_a d = a, d_b d = b$. Thus, $$n=n_a a + n_b b = n=n_a d_a d + n_b d_b d.$$

Thus, $n_d = n_a d_a + n_b d_b$.

($\subseteq$)

Let $n \in \mathbb Zd$. Then there is an integer $n_d$ s.t. $n=n_d d$. We must show $n \in \mathbb Za + \mathbb Zb$, i.e. we must find integers $n_a, n_b$ s.t. $n=n_a a + n_b b$.

By $(c)$, there are integers $d_1, d_2$ s.t. $d=d_1 a + d_2 b$. Thus, $$n=n_d d = d_1 a n_d + d_2 b n_d$$

Thus, $n_a = d_1 n_d, n_b = d_2 n_d$.

QED

Note: Observe the original $(c)$ is Bézout's identity, while using $(c)$ as an assumption is no longer Bézout's identity but simply that $d$ has such integer combination form.

Update: A proof without using $(c)$: https://math.stackexchange.com/a/2900969

Very clear answer thk you – X0-user-0X Nov 07 '23 at 17:14 — X0-user-0X, Nov 07 '23 at 17:14

score 2 · Answer 3 · answered Feb 11 '13 at 15:40

Hint: You can separate the prove into two different parts that are, imo, easier: First prove that if $m$ is the lowest positive integer in $a\mathbb{Z}$, then $m=a$, then prove that in $m\mathbb{Z}+n\mathbb{Z}$, $d$ is the lowest positive integer. You should find it easier that way.

score 2 · Answer 4 · edited Apr 13 '17 at 12:20

Part $1$ is straightforward if done universally. $ $ Write $\rm\,(a,b)\,$ for $\rm\,gcd(a,b).$ Then

$$\begin{eqnarray} \rm c&\mid&\rm m,\ \ \ n&\iff&\rm\ \ c&\,\mid&\!\rm (m,n)&&\text{by universal definition of gcd}\\ \rm c\Bbb Z &\supseteq&\rm m\,\Bbb Z, n\Bbb Z &\iff&\rm c\Bbb Z&\supseteq&\rm\! (m,n)\Bbb Z\quad &&\rm\text{since}\ j\mid k\iff j\Bbb Z\, \supseteq\, k\Bbb Z\ \ \text{[ divides = contains ]}\\ &&\rm m\Bbb Z + n\Bbb Z &\ \ =&\rm (m\!&,&\!\!\!\rm n)\,\Bbb Z&&\text{by universal definition of sum of subgroups} \end{eqnarray}$$

Above we used that every subgroup of $\rm\,\Bbb Z\,$ is cyclic, say $\rm\,c\Bbb Z,\,$ by Euclid/Bezout.

For part $2$, write $\rm\,lcm(a,b)\,$ as $\rm\,[a,b],$ so $\rm\,a\Bbb Z\cap b\Bbb Z = [a,b]\Bbb Z,\,\:$ i.e. $\rm\: a,b\mid c\iff [a,b]\mid c.\:$ Then

Theorem $\rm\,\ (a,b)\, =\, ab/[a,b] $

Proof $\rm\quad c\,|\:a,b \;\iff\; a,b\:|\:ab/c \;\iff\; [a,b]\:|\:ab/c \;\iff\; c\:|\:ab/[a,b] \quad\;\;$

Therefore $\rm\:(a,b) = ab/[a,b]\:$ by the universal definition of the gcd.

Let $m \in \mathbb{Z^+} , n \in \mathbb{Z^+}$ and let $d=\gcd(m,n)$. Prove that $m\mathbb{Z}+n\mathbb{Z}=d\mathbb{Z}$

4 Answers4

Linked

Related