Bài tập 5, § 4

Cho G là một nhóm Abel hữu hạn có cấp n. Chứng minh rằng với mọi số nguyên q chia hết n, tồn tại một nhóm con có cấp q trong G (phân tích G thành một tổng trực tiếp của các nhóm con xyclic không phân tích được).