環論入門

自由加群 (free module) を学習すると、形式的な有限和が出てきます。添数づけられた加群の直積の基礎から理解を開始です。まず空でない集合 S を基底とする自由加群の定義から説明します。