I wonder whether any of you guys has already read the homonymous note by R. Beals in the December 2009 issue of the **Monthly**.


If so, **would you be so kind as to let me know about the main ideas in Beal's approach**? As you know, the whole point of his note is to present a solution to the following exercise in Herstein's *Topics in Algebra*:


Let **G** be an abelian group having subgroups of order *m* and *n*. Prove that **G** also possesses a subgroup of order **lcm**(*m*, *n*).


The funny thing about this proposal is that in subsequent editions of his book, Prof. Yitz would proclaim that he himself didn't have a solution using the *authorized* tools. Besides, he even went on to saying: "I've had more correspondence about this problem than about any other point in the whole book.".


Being aware of some of the history behind this little pearl, I'd really like to know what it is that Beals came up with. Is his approach crystal-clear? Is it somehow related to the standard attack of proving it first for the case **gcd**(*m*, *n*)=1?


Thanks in advance for you insightful replies.


P.S. The local library is the only access that I have to the literature. Unfortunately, they don't subscribe to any of the MAA periodicals. 


1 Beals, Robert. "On Orders of Subgroups in Abelian Groups: An Elementary Solution of an Exercise of Herstein." The American Mathematical Monthly, Vol. 116, No. 10 (Dec., 2009), pp. 923-926; <https://maa.tandfonline.com/doi/abs/10.4169/000298909X477032> <https://www.jstor.org/stable/40391251>



On order of subgroups in abelian groups
The question is to prove that if $H$ and $K$ are subgroups of a
finite Abelian group or orders $m$ and $n$ then $G$ has a subgroup of order
$\mathrm{lcm}(m,n)$.


Beals starts by doing the case where $H$ and $K$ are cyclic. He proves
that $H$ is an internal direct product of cyclic groups of prime power orders.
Then he proves that a product of cyclic subgroups of coprime orders is
cyclic of the right order. The cyclic case is proved by breaking
up $H$ and $K$ as products of cyclic prime power groups, taking
the larger one for each prime and multiplying them up.


The general case follows roughly the same line. Proving that a product
of subgroups of coprime orders has the right order is straightforward.
But decomposing a subgroup into prime power factors using
results earlier in Herstein is more involved. Beals uses Theorem 2.5.1
in Herstein that $|HK| = ~|H||K|/|H\cap K|$. Then Beals finishes
the proof in the same way as the cyclic case.


