A module over an underlying ring is said to befreeif it has a A-basis. Can you write down a basis for ? Can you see why a free A-module is necessarily a direct sum of copies of A?

Hint: Look at the definition of direct sums and see how it corresponds to the definition of a basis.

As an aside, we usually write instead of