- #1

- 1,456

- 44

## Main Question or Discussion Point

I want to show the order of ##(a,b) \in A \times B##, where ##A## and ##B## are arbitrary groups.

So, let, ##|(a,b)| = n##. Then ##(a,b)^n = [(a,1_B)(1_A, b)]^n = (a,1_B)^n(1_A, b)^n##, since ##(a,1_B)## and ##(1_A, b)## commute. Then ##(a,b)^n = (a^n,1_B)(1_A, b^n) = (a^n,b^n)##. From this, it seems pretty clear that ##n = lcm (|a|, |b|)##, however, I don't really how to rigorously show this, or whether what I've said is good enough.

So, let, ##|(a,b)| = n##. Then ##(a,b)^n = [(a,1_B)(1_A, b)]^n = (a,1_B)^n(1_A, b)^n##, since ##(a,1_B)## and ##(1_A, b)## commute. Then ##(a,b)^n = (a^n,1_B)(1_A, b^n) = (a^n,b^n)##. From this, it seems pretty clear that ##n = lcm (|a|, |b|)##, however, I don't really how to rigorously show this, or whether what I've said is good enough.