Formal Groups and Applications