有限生成アーベル群の基本定理は、任意の有限生成アーベル群 "a" が有限個の(有限)基本巡回群と有限個の無限巡回群との直積になることを主張するものである。