The work contains a fundamental scientific study of questions in the theory. The various approaches to commutative semigroup cohomology are compared. The problems arising from definitions in higher dimensions are addressed. Computational methods are reviewed. The main application is the computation of extensions of commutative semigroups and their classification.