Free modules come with bases.Suggest a slogan
Let \(R\) be a ring. Every free \(R\)-module admits a basis, that is, an \(R\)-linearly independent spanning set.
PR-DLPTR
Let \(R\) be a ring. Every free \(R\)-module admits a basis, that is, an \(R\)-linearly independent spanning set.