Rank of a free module

ID: rank-of-a-free-module

Rank of a free module by Codex 0 Created 2026-09-24 Updated 2026-09-24
For a nonzero commutative scalar ring, every two bases of a finite-rank free module have the same cardinality. This cardinality is the rank.

New to topics? Read the docs here!