generated at
線形関係
a_1x_1+\cdots+a_nx_n=0のような等式のこと
前提
\{a_1,\cdots,a_n\}\in R
S=\{x_1,\cdots,x_n\}\sub M
Mは環Rの左加群


上の等式でa_1=\cdots=a_n=0のもの


参考