Gをアーベル群、H1とH2をその部分群とするとき
H1+H2:={h1+h2|h1∈H1、h2∈H2}はGの部分群であることを証明せよ。

自分なりに考えてH1+H2が H1∪H2 → これがGの部分群を表せばいいと思ったんですがどうでしょうか?

違っている場合、詳しく解説していただけると助かります。