for all s and t . The operation on the right hand side is the group multiplication in G . The formal similarity of this formula with the one valid for the exponential function justifies the definition