free module
In abstract algebra, a module that has a basis, i.e., a linearly independent generating set. This is the module-theoretic analogue of a vector space.
A free module over the ring of integers has a uniquely determined rank.
Every vector space can be regarded as a free module over a field.
加群 is a general module, while 自由加群 specifically refers to a free module, which has a basis.
A vector space is a free module over a field; 自由加群 generalizes this concept to modules over arbitrary rings.
Compound of 自由 (free) + 加群 (module), a calque of the English mathematical term 'free module'.