sentences:  Equivalently, the objects of FP("R") are the direct summands of all modules of the form "Rn", with "n" a positive integer, viewed as a right module over itself.Denote by formula_2 the isomorphism type of an object "X" in FP("R").Then the set "V(R)" of all isomorphism types of members of FP("R"), endowed with the addition defined by formula_1, is a conical commutative monoid.