しかし自由ではない加群 "m" についてはそうではなく、"s"("m")の構造はもっと複雑になる。