790です
皆さんのおかげで解けました
ありがとうございました

もう一つ、aの位数が無限のとき、整数全体のなす加法群Zとの同型を考えればa^2が生成元にならないことは分かるのですが、同型を取らずに直接示すにはどのようにすればいいでしょうか