主理想整环上自由模的子模是自由模