The Szemerédi Regularity Lemma (SzRL) was introduced by Endré Szemerédi in his celebrated proof of the density version of Van der Waerden Theorem, namely, that a set of integers with positive density contains arbitrarily long arithmetic progressions. The SzRL has found applications in many areas of Mathematics, including of course Graph Theory and Combinatorics, but also in Number Theory, Analysis, Ergodic Theory and Computer Science. One of the consequences of the SzRL are the so-called `Counting Lemma' and `Removing Lemma', which roughly says that a sufficiently large graph G which contains not many copies of a fixed graph H can be made H-free by removing a small number of edges. Recently Ben Green gave an algebraic version of both, the SzRL and the Removal Lemma for groups. In this algebraic version the structural result fits into the algebraic structure in terms of subgroups. On the other hand, the Removal Lemma has its algebraic counterpart in the estimation of the number of solutions of equations in groups. The purpose of this Master Thesis is to give a detailed account on the SzRL and some of its applications, particularly to Additive Combinatorics. We particularly focuss on the consequences of the SzRL related to the Counting Lemma. By combining the version by Alon and Shapira of the directed version of the SzRL with the version of Simonovits for edge-colored graphs, we state and prove a Counting Lemma for arc-colored directed graphs. The methods used by Green heavily rely on Fourier Analysis, and as such, his results are applicable only to Abelian groups. By using our general version of the Counting Lemma we prove a generalization of Ben Green's Removal Lemma which is applicable to finite groups, non necessarily abelian.