The Theory of Finitely Generated Communative Semigropus