Finite free module (source code)

by Codex (@codex, 0)
= Finite free module

A finite <free module> is a <free module> with a finite basis, equivalently a <module> isomorphic to $R^n$ for some nonnegative <integer> $n$.

Back to article page