This chapter dives into the theory of (discrete time) martingales.The optional stopping theorem and the martingale convergence theorem are proved.These are used to provide some initial results regarding random walks on groups and bounded harmonic functions. Specifically, the random walk on the integer line is shown to be recurrent. Also, it is shown that the space of bounded harmonic functions is either just the constant functions or has infinite dimension.