Bases for modules

Let R be a ring and A an R-module. We examine different notions of bases or generating sets for A. Of particular interest is the notion of an irredundant basis for A, that is, a subset X of A that generates A but for which no proper subset of X generates A. We investigate the existence and cardinality of irredundant bases.