すべての有限生成''R''-加群はこれらの直和である.
''R''