線形従属とも言う

定義

Mを環R上の左加群、S=\{x_1,\cdots,x_n\}\sub Mとする

Sが一次従属であるとは、全ては0でないRの元a_1,\cdots,a_nがあり、

a_1x_1+\cdots+a_nx_n=0が成り立つこと

Sが一次従属でないとき、一次独立と言う

参考

『代数学 2 環と体とガロア理論』 p.94