I'm facing problem in proving G is the direct sum of the .
I think you're almost done: because is a basis, you have automatically , like in any vector space (this is almost the definition of a basis). It remains to see that for every , which is a consequence of the definition ( ) and of .