Some group theory needed for the construction of real numbers has been added: new sections on lifting group structures to a function space, equivalence relations on groups, normal subgroups and quotient grups, group valued finite range functions and almost homomorphisms.