記法
A を可換環とする。
M を有限生成 A-自由加群とする。
>>793よりその基底の元の個数は基底によらない。
これを [M ： A] と書く。