以下の定理のすべてで、言葉「加群」は「-加群」を意味する、ただしはある固定された環。