Assume |x| = n and |y| = m. Suppose that xy = yx. Prove that $\displaystyle |xy||\text{LCM}[n,m]$.

$\displaystyle \text{LCM}[n,m]=\frac{nm}{\text{gcd}(n,m)}$

$\displaystyle x^ny^m=e$

What is the commutativity used for?

Results 1 to 7 of 7

- Oct 8th 2011, 06:56 PM #1

- Joined
- Mar 2010
- From
- Florida
- Posts
- 3,093
- Thanks
- 10

- Oct 8th 2011, 07:00 PM #2

- Joined
- Mar 2011
- From
- Tejas
- Posts
- 3,546
- Thanks
- 842

- Oct 8th 2011, 07:11 PM #3

- Joined
- Mar 2010
- From
- Florida
- Posts
- 3,093
- Thanks
- 10

- Oct 8th 2011, 07:18 PM #4

- Joined
- Mar 2011
- From
- Tejas
- Posts
- 3,546
- Thanks
- 842

- Oct 9th 2011, 08:46 AM #5

- Joined
- Mar 2010
- From
- Florida
- Posts
- 3,093
- Thanks
- 10

## Re: LCM[|x|,|y|]

Ok so here is what I have.

$\displaystyle x^ky^k=e$

$\displaystyle k=nq_1+r_1 \ \text{and} \ k=mq_2+r_2$

$\displaystyle q_1,q_2\in\mathbb{Z}, \ 0\leq r_1 <n, \ 0\leq r_2<m$

$\displaystyle x^k=\cdots x^{r_1} \ \text{and} \ y^k=\cdots y^{r_2}$

But m and n are least so $\displaystyle r_1,r_2=0$.

So we have $\displaystyle n|k \ \text{and} \ m|k$

Can I just say k is a common multiple and by definition of LCM, k|LCM?

- Oct 9th 2011, 12:19 PM #6

- Joined
- Mar 2011
- Posts
- 40

- Oct 9th 2011, 12:27 PM #7

- Joined
- Mar 2011
- Posts
- 40

## Re: LCM[|x|,|y|]

Let $\displaystyle k = LCM[m,n]$.

Then $\displaystyle m/k$ and $\displaystyle n/k$. So, there exist $\displaystyle \lambda_1, \lambda _2$ such that: $\displaystyle k = \lambda_1 m$ and $\displaystyle k = \lambda_2 n$.

Now, $\displaystyle (xy)^k \overset{xy=yx}{==} x^k y^k = (x^n)^{\lambda_2} (y^m)^{\lambda_1}=e^{\lambda_2} e^{\lambda_1} = e \implies |xy|/k$.