>>328
すっかりこのスレのことを忘れていました。
一般の可換環に対してもちゃんと微分形式を定義
することができます。解析的な意味とは独立した
純粋に代数的な定義ができるところに意義があり、
代数学の普遍性の意味もあるのだと思います。