Algebra in the Space of Ultrafilters and Ramsey Theory